hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.MultiModuleBasics
Synopsis
data
ModuleInfo
=
ModuleInfo
{
moduleName
::
AModule
varAssumps
:: (
Env
Scheme
)
dconsAssumps
:: (
Env
Scheme
)
classHierarchy
::
ClassHierarchy
kinds
::
KindEnv
synonyms
:: [
AHsDecl
]
infixDecls
:: [
AHsDecl
]
tyconsMembers
:: [(
AHsName
, [
AHsName
])]
}
getTyconsMembers
::
AHsModule
-> [(
AHsName
, [
AHsName
])]
getInfixDecls
::
AHsModule
-> [
AHsDecl
]
emptyModuleInfo
::
ModuleInfo
concatModuleInfos
:: [
ModuleInfo
] ->
ModuleInfo
joinModuleInfo
::
ModuleInfo
->
ModuleInfo
->
ModuleInfo
modToFilePath
::
AModule
->
FilePath
class
PlainShowParse
a
where
toString
:: a ->
String
plainParse
::
Parser
a
fromString
::
String
-> a
toStringList
:: [a] ->
String
plainParseList
::
Parser
[a]
genericShowList
::
String
-> [
String
] ->
String
->
String
withArgs
::
String
-> [
String
] ->
String
withBrackets
::
String
->
String
parseWithArgs
::
PlainShowParse
a =>
String
-> (a -> b) ->
Parser
b
todo
::
String
->
String
binopr
::
String
-> (a -> a -> a) ->
Parser
a ->
Parser
a
retVal
::
String
-> a ->
Parser
a
bracketed
::
Parser
a ->
Parser
a
Produced by
Haddock
version 0.6