hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.TIMain
Synopsis
tiProgram
::
AModule
->
SigEnv
->
KindEnv
->
ClassHierarchy
->
TypeEnv
->
TypeEnv
->
Program
->
TypeEnv
makeProgram
::
SigEnv
-> [[
AHsDecl
]] ->
Program
getFunDeclsBg
::
SigEnv
-> [
AHsDecl
] ->
Program
Produced by
Haddock
version 0.6