Safe Haskell | None |
---|---|
Language | Haskell2010 |
The basis of the Nix type system (type-level). Based on the Hindley–Milner type system. Therefore -> from this the type inference follows.
Documentation
Hindrey-Milner type interface
Type variable in the Nix type system.
The basic type definitions in the Nix type system (type-level code).
TVar TVar | Type variable in the Nix type system. |
TCon Text | Concrete (non-polymorphic, constant) type in the Nix type system. |
TSet Bool (AttrSet Type) | Heterogeneous map in the Nix type system. |
TList [Type] | Heterogeneous list in the Nix type system. |
(:~>) Type Type infixr 1 | Type arrow ( |
TMany [Type] | Variant type (term). Since relating to Nix type system, more precicely - dynamic types in dynamicly typed language (which is Nix). |
Hindley–Milner type system uses "scheme" term for "polytypes".
Types containing forall
quantifiers: forall a . a
.
Note: HM allows only top-level forall
quantification, so no RankNTypes
in it.
typeString :: Type Source #
Concrete types in the Nix type system.