Safe Haskell	None

FrontEnd.Representation

Synopsis

Documentation

data Type Source

Constructors

TVar
Fields typeVar :: !Tyvar
TCon
Fields typeCon :: !Tycon
TAp Type Type
TArrow Type Type
TForAll
Fields typeArgs :: [Tyvar] typeBody :: Qual Type
TExists
Fields typeArgs :: [Tyvar] typeBody :: Qual Type
TMetaVar
Fields metaVar :: MetaVar
TAssoc
Fields typeCon :: !Tycon typeClassArgs :: [Type] typeExtraArgs :: [Type]

Instances

Eq Type
Ord Type
Show Type
Binary Type
ToTuple Type
TypeNames Type
CanType Type
UnVar Type
Tickleable Type Pred
Tickleable Type Type
DocLike d => PPrint d Type
FreeVars Type [Tyvar]
FreeVars Type [MetaVar]
FreeVars Type (Set MetaVar)

data Tyvar Source

Constructors

Tyvar
Fields tyvarName :: !Name tyvarKind :: Kind

Instances

Eq Tyvar
Ord Tyvar
Show Tyvar
Binary Tyvar
CanType Tyvar
DocLike d => PPrint d Tyvar
FreeVars Type [Tyvar]

tyvar :: Name -> Kind -> Tyvar Source

data Tycon Source

Constructors

Tycon
Fields tyconName :: Name tyconKind :: Kind

Instances

Eq Tycon
Ord Tycon
Show Tycon
Binary Tycon
ToTuple Tycon
CanType Tycon
DocLike d => PPrint d Tycon

fn :: Type -> Type -> Type Source

data Pred Source

Constructors

IsIn Class Type
IsEq Type Type

Instances

Eq Pred
Ord Pred
Show Pred
Binary Pred
UnVar Pred
Tickleable Type Pred
FreeVars Type b => FreeVars Pred b
DocLike d => PPrint d Pred

data Qual t Source

Constructors

[Pred] :=> t

Instances

(DocLike d, PPrint d t) => PPrint d (Qual t)
Eq t => Eq (Qual t)
Ord t => Ord (Qual t)
Show t => Show (Qual t)
Binary t_1629666554 => Binary (Qual t_1629666554)
UnVar t => UnVar (Qual t)
(FreeVars t b, FreeVars Pred b) => FreeVars (Qual t) b

type Class = Name Source

tForAll :: [Tyvar] -> Qual Type -> Type Source

tExists :: [Tyvar] -> Qual Type -> Type Source

data MetaVarType Source

Constructors

Tau
Rho
Sigma

Instances

Eq MetaVarType
Ord MetaVarType
Show MetaVarType
Binary MetaVarType
DocLike d => PPrint d MetaVarType

prettyPrintType :: DocLike d => Type -> dSource

fromTAp :: Type -> (Type, [Type])Source

fromTArrow :: Type -> ([Type], Type)Source

tassocToAp :: Type -> Type Source

data MetaVar Source

metavars are used in type checking

Constructors

MetaVar
Fields metaUniq :: !Int metaKind :: Kind metaRef :: !(IORef (Maybe Type)) metaType :: !MetaVarType

Instances

Eq MetaVar
Ord MetaVar
Show MetaVar
Binary MetaVar
CanType MetaVar
DocLike d => PPrint d MetaVar
FreeVars Type [MetaVar]
FreeVars Type (Set MetaVar)

tTTuple :: [Type] -> Type Source

tTTuple' :: [Type] -> Type Source

tList :: Type Source

tArrow :: Type Source

The (->) type constructor. Invariant: tArrow shall not be fully applied. To this end, see tAp.

tAp :: Type -> Type -> Type Source

Type application, enforcing the invariant that there be no fully-applied tArrows