hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.TypeUtils
Synopsis
aHsTypeToType
::
KindEnv
->
AHsType
->
Type
aHsQualTypeToQualType
::
KindEnv
->
AHsQualType
->
Qual
Type
aHsTypeSigToAssumps
::
KindEnv
->
AHsDecl
-> [
Assump
]
aHsAsstToPred
::
KindEnv
->
AHsAsst
->
Pred
qualifyAssump
::
AModule
->
Assump
->
Assump
flattenLeftTypeApplication
::
AHsType
-> [
AHsType
]
Produced by
Haddock
version 0.6