Safe Haskell | None |
---|
Documentation
Kindvar | |
|
data KindConstraint Source
KindSimple |
|
KindQuest | |
KindQuestQuest | ??, * or # |
KindStar | must be * |
KindAny | may be anything |
isSubsumedBy :: Kind -> Kind -> BoolSource
unfoldKind :: Kind -> [Kind]Source
Safe Haskell | None |
---|
Kindvar | |
|
data KindConstraint Source
KindSimple |
|
KindQuest | |
KindQuestQuest | ??, * or # |
KindStar | must be * |
KindAny | may be anything |
isSubsumedBy :: Kind -> Kind -> BoolSource
unfoldKind :: Kind -> [Kind]Source