hnix-0.9.0: Haskell implementation of the Nix language

Safe Haskell	None
Language	Haskell2010

Nix.Type.Type

Documentation

newtype TVar Source #

Constructors

Instances

Instances details

Eq TVar Source #
Instance details Defined in Nix.Type.Type Methods (==) :: TVar -> TVar -> Bool # (/=) :: TVar -> TVar -> Bool #
Ord TVar Source #
Instance details 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 Source #
Instance details Defined in Nix.Type.Type Methods showsPrec :: Int -> TVar -> ShowS # show :: TVar -> String # showList :: [TVar] -> ShowS #

data Type Source #

Constructors

TVar TVar
TCon String
TSet Bool (AttrSet Type)
TList [Type]
(:~>) Type Type infixr 1
TMany [Type]

Instances

Instances details

Eq Type Source #
Instance details Defined in Nix.Type.Type Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Instance details 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 Source #
Instance details Defined in Nix.Type.Type Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

data Scheme Source #

Constructors

Forall [TVar] Type

Instances

Instances details

Eq Scheme Source #
Instance details Defined in Nix.Type.Type Methods (==) :: Scheme -> Scheme -> Bool # (/=) :: Scheme -> Scheme -> Bool #
Ord Scheme Source #
Instance details 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 Source #
Instance details Defined in Nix.Type.Type Methods showsPrec :: Int -> Scheme -> ShowS # show :: Scheme -> String # showList :: [Scheme] -> ShowS #

typeSet :: Type Source #

typeList :: Type Source #

typeFun :: [Type] -> Type Source #

typeInt :: Type Source #

typeFloat :: Type Source #

typeBool :: Type Source #

typeString :: Type Source #

typePath :: Type Source #

typeNull :: Type Source #

type Name = Text Source #