hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.TIHetsModule
Synopsis
tiModule
:: [
String
] ->
AHsModule
->
ModuleInfo
-> (
Env
Scheme
,
Env
Scheme
,
ClassHierarchy
,
KindEnv
,
IdentTable
,
AHsModule
, [
AHsDecl
])
Produced by
Haddock
version 0.6