hets -- a heterogenous Specification (CASL) tool setContentsIndex
Haskell.Hatchet.KindInference
Synopsis
kiModule :: KindEnv -> [AHsDecl] -> KindEnv
type KindEnv = Env Kind
kiAHsQualType :: KindEnv -> AHsQualType -> KindEnv
kindOf :: AHsName -> KindEnv -> Kind
Produced by Haddock version 0.6