hnix-0.10.1: Haskell implementation of the Nix language
Safe HaskellNone
LanguageHaskell2010

Nix.Type.Type

Documentation

newtype TVar Source #

Constructors

TV String 

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

Show Scheme Source # 
Instance details

Defined in Nix.Type.Type

type Name = Text Source #