CSPM.Interpreter.Types

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

data INT

Instances

BF INT

BL INT

BE INT

Hash Process

Typeable * INT

Eq (Process INT)

Ord (Process INT)

Show (Process INT)

Show (TTE INT)

ShowTTE (TTE INT)

type Field INT = Field

type FieldSet INT = FieldSet

type ClosureState INT = ClosureState

type PrefixState INT = GenericBufferPrefix

type Prefix INT = PrefixState

type ExtProcess INT = SwitchedOffProc

type Event INT = Event

type EventSet INT = ClosureSet

type RenamingRelation INT = RenamingRelation

type Event = [Field]

type Field = Value

type FieldSet = SSet Field

type Process = Process INT

type Digest = MD5Digest

type Sigma = ClosureSet

data ClosureSet

Constructors

ClosureSet

Fields

closureSetTrie :: PrefixTrie

closureSetDigest :: Digest

Instances

Eq ClosureSet

Ord ClosureSet

Show ClosureSet

Hash ClosureSet

Typeable * ClosureSet

data RenamingRelation

Constructors

RenamingRelation

Fields

renamingPairs :: Set (Event, Event)

renamingDomain :: Set Event

renamingRange :: Set Event

renamingDigest :: Digest

Instances

Eq RenamingRelation

Ord RenamingRelation

Show RenamingRelation

Hash RenamingRelation

data ClosureState

Constructors

ClosureStateNormal

Fields

origClosureSet :: ClosureSet

currentPrefixTrie :: PrefixTrie

ClosureStateFailed

Fields

origClosureSet :: ClosureSet

ClosureStateSucc

Fields

origClosureSet :: ClosureSet

currentPrefixTrie :: PrefixTrie

Instances

Eq ClosureState

Ord ClosureState

Show ClosureState

data SwitchedOffProc

Constructors

SwitchedOffProc

Fields

switchedOffDigest :: Digest

switchedOffExpr :: LExp

switchedOffProcess :: Process

Instances

Eq SwitchedOffProc

Ord SwitchedOffProc

Show SwitchedOffProc

Hash SwitchedOffProc

data PrefixState

Constructors

PrefixState

Fields

prefixEnv :: Env

prefixFields :: [LCommField]

prefixBody :: LExp

prefixRHS :: Process

prefixDigest :: Digest

prefixPatternFailed :: Bool

Instances

Eq PrefixState

Ord PrefixState

Show PrefixState

Hash PrefixState

data GenericBufferPrefix

Constructors

GBOut [Value] PrefixState

GBInput PrefixState

GBInputGuard FieldSet PrefixState

GBInputGeneric [Value] PrefixState

GBFinished PrefixState

Instances

Eq GenericBufferPrefix

Ord GenericBufferPrefix

Show GenericBufferPrefix

type Bindings = IntMap Value

data Env

Constructors

Env

Fields

argBindings :: Bindings

letBindings :: Bindings

letDigests :: IntMap Digest

Instances

Typeable * Env

MonadReader Env EM

emptyEnvirionment :: Env

newtype EM x

Constructors

EM

Fields

unEM :: Reader Env x

Instances

Monad EM

Functor EM

Applicative EM

MonadReader Env EM

getArgBindings :: Env -> Bindings

getLetBindings :: Env -> Bindings

setArgBindings :: Env -> Bindings -> Env

setLetBindings :: Env -> Bindings -> Env

getEnv :: EM Env

class Monad m => Eval m where

Methods

evalM :: LExp -> m Value

data Value

Constructors

VInt Integer

VBool Bool

VList [Value]

VTuple [Value]

VDotTuple [Value]

VSet (Set Value)

VClosure ClosureSet

VFun FunClosure

VProcess Process

VChannel Channel

VUnit

VAllInts

VAllSequences (Set Value)

VConstructor Constructor

VDataType [Constructor]

VNameType [FieldSet]

VPartialApplied FunClosure [Value]

Instances

Eq Value

Ord Value

Show Value

ShowEvent Event

Pretty Value

Hash Value

Typeable * Value

data FunClosure

Constructors

FunClosure

Fields

getFunCases :: [FunCase]

getFunEnv :: Env

getFunArgNum :: Int

getFunId :: Digest

Instances

Eq FunClosure

Ord FunClosure

Show FunClosure

Hash FunClosure

data Constructor

Constructors

Constructor

Fields

constrId :: Int

constrName :: String

constrFields :: [FieldSet]

Instances

Eq Constructor

Ord Constructor

Show Constructor

Hash Constructor

data Channel

Constructors

Channel

Fields

chanId :: Int

chanName :: String

chanLen :: Int

chanFields :: [FieldSet]

Instances

Eq Channel

Ord Channel

Show Channel

isChannelField :: Field -> Bool

getChannel :: Field -> Channel

data PrefixTrie

Constructors

PTNil

PTAny PrefixTrie

PTMap (Map Value PrefixTrie)

PTRec (Set Value) PrefixTrie

PTSingle Value PrefixTrie

PTClosure PrefixTrie

Instances

Eq PrefixTrie

Ord PrefixTrie

Show PrefixTrie

Hash PrefixTrie

data InterpreterError

Constructors

ScriptError

Fields

errMsg :: String

errLoc :: Maybe SrcLoc

errVal :: Maybe Value

FeatureNotImplemented

Fields

errMsg :: String

errLoc :: Maybe SrcLoc

TypingError

Fields

errMsg :: String

errLoc :: Maybe SrcLoc

errVal :: Maybe Value

InternalError

Fields

errMsg :: String

errLoc :: Maybe SrcLoc

errVal :: Maybe Value

PatternMatchError

Fields

errMsg :: String

errLoc :: Maybe SrcLoc

Instances

Show InterpreterError

Exception InterpreterError

Typeable * InterpreterError

throwScriptError :: String -> Maybe SrcLoc -> Maybe Value -> a

throwFeatureNotImplemented :: String -> Maybe SrcLoc -> a

throwTypingError :: String -> Maybe SrcLoc -> Maybe Value -> a

throwInternalError :: String -> Maybe SrcLoc -> Maybe Value -> a

throwPatternMatchError :: String -> Maybe SrcLoc -> a