hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.TIMonad
Synopsis
data
TI
a
inst
::
Instantiate
t => [
Type
] -> t -> t
runTI
::
Env
Scheme
->
ClassHierarchy
->
KindEnv
->
SigEnv
->
AModule
->
TI
a -> a
getErrorContext
::
TI
[
Diagnostic
]
getErrorStatus
::
TI
Bool
setError
::
TI
()
pushErrorContext
::
Diagnostic
->
TI
()
withContext
::
Diagnostic
->
TI
a ->
TI
a
popErrorContext
::
TI
Diagnostic
getSubst
::
TI
Subst
getClassHierarchy
::
TI
ClassHierarchy
getKindEnv
::
TI
KindEnv
getSigEnv
::
TI
SigEnv
unify
::
Type
->
Type
->
TI
()
freshInst
::
Scheme
->
TI
(
Qual
Type
)
dConScheme
::
AHsName
->
TI
Scheme
unifyList
:: [
Type
] ->
TI
()
getModName
::
TI
AModule
newTVar
::
Kind
->
TI
Type
Produced by
Haddock
version 0.6