Nix.Type.Type

Documentation

newtype TVar

Hindrey-Milner type interface

Constructors

TV String

Instances

Eq TVar

Defined in Nix.Type.Type

Methods

(==) :: TVar -> TVar -> Bool

(/=) :: TVar -> TVar -> Bool

Ord TVar

Defined in Nix.Type.Type

Methods

compare :: TVar -> TVar -> Ordering

(<) :: TVar -> TVar -> Bool

(<=) :: TVar -> TVar -> Bool

(>) :: TVar -> TVar -> Bool

(>=) :: TVar -> TVar -> Bool

max :: TVar -> TVar -> TVar

min :: TVar -> TVar -> TVar

Show TVar

Defined in Nix.Type.Type

Methods

showsPrec :: Int -> TVar -> ShowS

show :: TVar -> String

showList :: [TVar] -> ShowS

data Type

Constructors

TVar TVar

TCon String

TSet Bool (AttrSet Type)

TList [Type]

(:~>) Type Type infixr 1

TMany [Type]

Instances

Eq Type

Defined in Nix.Type.Type

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Ord Type

Defined in Nix.Type.Type

Methods

compare :: Type -> Type -> Ordering

(<) :: Type -> Type -> Bool

(<=) :: Type -> Type -> Bool

(>) :: Type -> Type -> Bool

(>=) :: Type -> Type -> Bool

max :: Type -> Type -> Type

min :: Type -> Type -> Type

Show Type

Defined in Nix.Type.Type

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

data Scheme

Constructors

Forall [TVar] Type

Instances

Eq Scheme

Defined in Nix.Type.Type

Methods

(==) :: Scheme -> Scheme -> Bool

(/=) :: Scheme -> Scheme -> Bool

Ord Scheme

Defined in Nix.Type.Type

Methods

compare :: Scheme -> Scheme -> Ordering

(<) :: Scheme -> Scheme -> Bool

(<=) :: Scheme -> Scheme -> Bool

(>) :: Scheme -> Scheme -> Bool

(>=) :: Scheme -> Scheme -> Bool

max :: Scheme -> Scheme -> Scheme

min :: Scheme -> Scheme -> Scheme

Show Scheme

Defined in Nix.Type.Type

Methods

showsPrec :: Int -> Scheme -> ShowS

show :: Scheme -> String

showList :: [Scheme] -> ShowS

typeSet :: Type

typeList :: Type

typeFun :: [Type] -> Type

typeInt :: Type

typeFloat :: Type

typeBool :: Type

typeString :: Type

typePath :: Type

typeNull :: Type

type Name = Text