CSPM-Interpreter-0.3.0.0: An interpreter for CSPM Source code Contents Index

CSPM.Interpreter.Types Portability GHC-only Stability experimental Maintainer Fontaine@cs.uni-duesseldorf.de

Description

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 Source

Instances BF INT BL INT BE INT Eq (Process INT) Ord (Process INT) Show (Process INT) Show (TTE INT) ShowTTE (TTE INT)

type Event = [Field] Source

type Field = Value Source

type FieldSet = SSet Field Source

type Process = Process INT Source

type Digest = MD5Digest Source

data ClosureSet Source

Constructors ClosureSet closureSetTrie :: PrefixTrie closureSetDigest :: Digest Instances Eq ClosureSet Ord ClosureSet Show ClosureSet Hash ClosureSet

data RenamingRelation Source

Constructors RenamingRelation renamingPairs :: Set (Event, Event) renamingDomain :: Set Event renamingRange :: Set Event renamingDigest :: Digest Instances Eq RenamingRelation Ord RenamingRelation Show RenamingRelation Hash RenamingRelation

data ClosureState Source

Constructors ClosureStateNormal origClosureSet :: ClosureSet currentPrefixTrie :: PrefixTrie ClosureStateFailed origClosureSet :: ClosureSet ClosureStateSucc origClosureSet :: ClosureSet currentPrefixTrie :: PrefixTrie Instances Eq ClosureState Ord ClosureState Show ClosureState

data SwitchedOffProc Source

Constructors SwitchedOffProc switchedOffDigest :: Digest switchedOffExpr :: LExp switchedOffProcess :: Process Instances Eq SwitchedOffProc Ord SwitchedOffProc Show SwitchedOffProc Hash SwitchedOffProc

data PrefixState Source

Constructors PrefixState prefixEnv :: Env prefixFields :: [LCommField] prefixBody :: LExp prefixRHS :: Process prefixDigest :: Digest prefixPatternFailed :: Bool Instances Eq PrefixState Ord PrefixState Show PrefixState Hash PrefixState

data GenericBufferPrefix Source

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 Source

data Env Source

Constructors Env argBindings :: Bindings letBindings :: Bindings letDigests :: IntMap Digest Instances MonadReader Env EM

emptyEnvirionment :: Env Source

newtype EM x Source

Constructors EM unEM :: Reader Env x Instances Monad EM MonadReader Env EM

getArgBindings :: Env -> Bindings Source

getLetBindings :: Env -> Bindings Source

setArgBindings :: Env -> Bindings -> Env Source

setLetBindings :: Env -> Bindings -> Env Source

getEnv :: EM Env Source

class Monad m => Eval m where Source

Methods evalM :: LExp -> m Value Source

data Value Source

Constructors VInt Integer VBool Bool VList [Value] VTuple [Value] VDotTuple [Value] VSet (Set Value) VClosure ClosureSet VFun FunClosure VProcess Process VChannel Channel VUnit VAllInts VAllSequents (Set Value) VConstructor Constructor VDataType [Constructor] VNameType [FieldSet] VPartialApplied FunClosure [Value] Instances Eq Value Ord Value Show Value Hash Value

data FunClosure Source

Constructors FunClosure getFunCases :: [FunCase] getFunEnv :: Env getFunArgNum :: Int getFunId :: Digest Instances Eq FunClosure Ord FunClosure Show FunClosure Hash FunClosure

data Constructor Source

Constructors Constructor constrId :: Int constrName :: String constrFields :: [FieldSet] Instances Eq Constructor Ord Constructor Show Constructor Hash Constructor

data Channel Source

Constructors Channel chanId :: Int chanName :: String chanLen :: Int chanFields :: [FieldSet] Instances Eq Channel Ord Channel Show Channel

isChannelField :: Field -> Bool Source

getChannel :: Field -> Channel Source

data PrefixTrie Source

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 Source

Constructors ScriptError errMsg :: String errLoc :: Maybe SrcLoc errVal :: Maybe Value FeatureNotImplemented errMsg :: String errLoc :: Maybe SrcLoc TypingError errMsg :: String errLoc :: Maybe SrcLoc errVal :: Maybe Value InternalError errMsg :: String errLoc :: Maybe SrcLoc errVal :: Maybe Value PatternMatchError errMsg :: String errLoc :: Maybe SrcLoc Instances Show InterpreterError Typeable InterpreterError Exception InterpreterError

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

throwFeatureNotImplemented :: String -> Maybe SrcLoc -> a Source

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

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

throwPatternMatchError :: String -> Maybe SrcLoc -> a Source

Produced by Haddock version 2.6.1