hets -- a heterogenous Specification (CASL) tool setContentsIndex
Haskell.Hatchet.MultiModule
Synopsis
data ModuleInfo = ModuleInfo {
moduleName :: AModule
varAssumps :: (Env Scheme)
dconsAssumps :: (Env Scheme)
classHierarchy :: ClassHierarchy
kinds :: KindEnv
synonyms :: [AHsDecl]
infixDecls :: [AHsDecl]
tyconsMembers :: [(AHsName, [AHsName])]
}
writeModuleInfo :: Maybe FilePath -> AHsModule -> ModuleInfo -> IO ()
readModuleInfo :: AHsModule -> IO ModuleInfo
readOneImportSpec :: AHsImportDecl -> IO ModuleInfo
fromString :: PlainShowParse a => String -> a
toString :: PlainShowParse a => a -> String
expandDotsInTyCons :: AModule -> [(AHsName, [AHsName])] -> [AHsExportSpec] -> [AHsExportSpec]
filterModuleInfo :: AModule -> ModuleInfo -> [AHsExportSpec] -> ModuleInfo
importSpecToExportSpec :: AHsImportSpec -> AHsExportSpec
Produced by Haddock version 0.6