HsKindStruct is imported by: BaseSyntaxStruct, HsKind, HsKindMaps, HsKindPretty, HsKindUtil.
module HsKindStruct where
data K x
= Kstar -- base types
| Kfun !x !x -- higher kinds -- be strict to avoid a space leak
| Kpred -- classes
| Kprop -- P-logic assertions & predicates
deriving (Eq, Show, Read)
(HTML for this module was generated on 2006-08-12. About the conversion tool.)