Safe Haskell | None |
---|---|
Language | Haskell2010 |
Representation of Haskell Kinds
- data KindConstraint dom stage = KindConstraint {
- _kindConstr :: Ann Kind dom stage
- data Kind dom stage
- = KindStar
- | KindUnbox
- | KindFn { }
- | KindParen {
- _kindParen :: Ann Kind dom stage
- | KindVar { }
- | KindApp {
- _kindAppFun :: Ann Kind dom stage
- _kindAppArg :: Ann Kind dom stage
- | KindList { }
- | KindPromoted {
- _kindPromoted :: Ann (Promoted Kind) dom stage
- data Promoted t dom stage
- = PromotedInt { }
- | PromotedString { }
- | PromotedCon {
- _promotedConName :: Ann Name dom stage
- | PromotedList {
- _promotedElements :: AnnList t dom stage
- | PromotedTuple {
- _promotedElements :: AnnList t dom stage
- | PromotedUnit
Documentation
data KindConstraint dom stage Source #
Kind constraint ( :: * -> *
)
KindConstraint | |
|
type Rep (KindConstraint dom stage) Source # | |
Haskell kinds
KindStar |
|
KindUnbox |
|
KindFn |
|
KindParen | A parenthesised kind |
| |
KindVar | kind variable (using |
KindApp | Kind application ( |
| |
KindList | A list kind ( |
KindPromoted | A promoted kind ( |
|
data Promoted t dom stage Source #
PromotedInt | |
PromotedString | |
PromotedCon | |
| |
PromotedList | |
| |
PromotedTuple | |
| |
PromotedUnit |