Modulehnix-0.17.0Haskell2010

Nix.Type.Assumption

Basing on the Nix (Hindley–Milner) type system (that provides decidable type inference): gathering assumptions (inference evidence) about polymorphic types.

Synopsis

newtype Assumption
value empty
value lookup
value remove
value extend
value keys
value merge
value singleton

Packagehnix-0.17.0
Exports8
LanguageHaskell2010
LicenceBSD-3-Clause
SourceAssumption.hs

newtypenewtype Assumption

Constructors

Assumption [(VarName, Type)]

Instances6Eq, Show, Semigroup, Monoid, One, OneItem

Eq AssumptionDefined in hnix-0.17.0 · Nix.Type.Assumption
Show AssumptionDefined in hnix-0.17.0 · Nix.Type.Assumption
Semigroup AssumptionDefined in hnix-0.17.0 · Nix.Type.Assumption
Monoid AssumptionDefined in hnix-0.17.0 · Nix.Type.Assumption
One AssumptionDefined in hnix-0.17.0 · Nix.Type.Assumption
type OneItem Assumption = (VarName, Type)Defined in hnix-0.17.0 · Nix.Type.Assumption

valueempty :: Assumption

valuelookup :: VarName -> Assumption -> [Type]

valueremove :: Assumption -> VarName -> Assumption

valueextend :: Assumption -> (VarName, Type) -> Assumption

valuekeys :: Assumption -> [VarName]

valuemerge :: Assumption -> Assumption -> Assumption

valuesingleton :: VarName -> Type -> Assumption