Contents
Index
Type.Squid.State
Documentation
type
SquidM
= State
SquidS
data
SquidS
Constructors
SquidS
stateTrace
:: [String]
stateSigmaTable
:: (Map
Var
Var
)
stateCoreVars
:: (Map String
Var
)
stateVarGen
:: (Map
NameSpace
VarId
)
stateVarSub
:: (Map
Var
Var
)
stateSchemeExtern
:: (Map
Var
Type
)
stateSchemeSusp
:: (Map
Var
[
Var
])
stateSchemeCache
:: (Map
Var
Type
)
stateSchemeInferred
:: (Map
Var
Type
)
stateSchemeSig
:: (Map
Var
Type
)
stateInst
:: (Map
Var
Type
)
stateClassT
:: (
School
(
Type
,
TypeInfo
))
stateClassE
:: (
School
(
Effect
,
EffectInfo
))
stateClassR
:: (
School
(
Region
,
RegionInfo
))
stateDataFields
:: (Map
Var
([
Var
], [(
Var
,
Type
)]))
stateErrors
:: [
Error
]
stateStop
:: Bool
Produced by
Haddock
version 0.7
