hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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