Plain source file: base/AST/HsKindStruct.hs (2004-12-06)

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.)