ajhc-0.8.0.6: Haskell compiler that produce binary through C language

Safe Haskell	None

FrontEnd.Tc.Kind

Documentation

data Kind Source

Constructors

KBase KBase
Kfun Kind Kind
KVar Kindvar

Instances

Eq Kind
Ord Kind
Show Kind
Binary Kind
DocLike d => PPrint d Kind
FreeVars Kind (Set Kindvar)

data KBase Source

Constructors

Star
KHash
KUTuple
KQuestQuest
KQuest
KNamed Name

Instances

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

data Kindvar Source

Constructors

Kindvar
Fields kvarUniq :: !Int kvarRef :: !(IORef (Maybe Kind)) kvarConstraint :: !KindConstraint

Instances

Eq Kindvar
Ord Kindvar
Show Kindvar
Binary Kindvar
DocLike d => PPrint d Kindvar
FreeVars Kind (Set Kindvar)

data KindConstraint Source

Constructors

KindSimple	\| kindSimple -> kindSimple
KindQuest	?, so * or (
KindQuestQuest	??, * or #
KindStar	must be *
KindAny	may be anything

Instances

Eq KindConstraint
Ord KindConstraint
Show KindConstraint
Monoid KindConstraint

kindCombine :: Monad m => Kind -> Kind -> m Kind Source

kindStar :: Kind Source

kindUTuple :: Kind Source

kindFunRet :: Kind Source

kindHash :: Kind Source

kindArg :: Kind Source

isSubsumedBy :: Kind -> Kind -> Bool Source

unfoldKind :: Kind -> [Kind]Source