Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Definitions of most of the types used in the interpreter.
Also Instance declarations for the core language type families.
INT
is the type (index) for the CSPM interpreter.
Documentation
type Sigma = ClosureSetSource
data ClosureSet Source
data RenamingRelation Source
RenamingRelation | |
|
data SwitchedOffProc Source
data PrefixState Source
PrefixState | |
|
Env | |
|
getArgBindings :: Env -> BindingsSource
getLetBindings :: Env -> BindingsSource
setArgBindings :: Env -> Bindings -> EnvSource
setLetBindings :: Env -> Bindings -> EnvSource
data FunClosure Source
FunClosure | |
|
data Constructor Source
Constructor | |
|
isChannelField :: Field -> BoolSource
getChannel :: Field -> ChannelSource
data PrefixTrie Source
data InterpreterError Source
throwFeatureNotImplemented :: String -> Maybe SrcLoc -> aSource
throwPatternMatchError :: String -> Maybe SrcLoc -> aSource