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