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

Eq (Process INT)

Methods

(==) :: Process INT -> Process INT -> Bool

(/=) :: Process INT -> Process INT -> Bool

Ord (Process INT)

Methods

compare :: Process INT -> Process INT -> Ordering

(<) :: Process INT -> Process INT -> Bool

(<=) :: Process INT -> Process INT -> Bool

(>) :: Process INT -> Process INT -> Bool

(>=) :: Process INT -> Process INT -> Bool

max :: Process INT -> Process INT -> Process INT

min :: Process INT -> Process INT -> Process INT

Show (Process INT)

Methods

showsPrec :: Int -> Process INT -> ShowS

show :: Process INT -> String

showList :: [Process INT] -> ShowS

type Field INT

type Field INT = Field

type FieldSet INT

type FieldSet INT = FieldSet

type ClosureState INT

type ClosureState INT = ClosureState

type PrefixState INT

type PrefixState INT = GenericBufferPrefix

type Prefix INT

type Prefix INT = PrefixState

type ExtProcess INT

type ExtProcess INT = SwitchedOffProc

type Event INT

type Event INT = Event

type EventSet INT

type EventSet INT = ClosureSet

type RenamingRelation INT

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

Methods

(==) :: ClosureSet -> ClosureSet -> Bool

(/=) :: ClosureSet -> ClosureSet -> Bool

Ord ClosureSet

Methods

compare :: ClosureSet -> ClosureSet -> Ordering

(<) :: ClosureSet -> ClosureSet -> Bool

(<=) :: ClosureSet -> ClosureSet -> Bool

(>) :: ClosureSet -> ClosureSet -> Bool

(>=) :: ClosureSet -> ClosureSet -> Bool

max :: ClosureSet -> ClosureSet -> ClosureSet

min :: ClosureSet -> ClosureSet -> ClosureSet

Show ClosureSet

Methods

showsPrec :: Int -> ClosureSet -> ShowS

show :: ClosureSet -> String

showList :: [ClosureSet] -> ShowS

data RenamingRelation

Constructors

RenamingRelation

Fields

• renamingPairs :: Set (Event, Event)
• renamingDomain :: Set Event
• renamingRange :: Set Event
• renamingDigest :: Digest

Instances

Eq RenamingRelation

Methods

(==) :: RenamingRelation -> RenamingRelation -> Bool

(/=) :: RenamingRelation -> RenamingRelation -> Bool

Ord RenamingRelation

Methods

compare :: RenamingRelation -> RenamingRelation -> Ordering

(<) :: RenamingRelation -> RenamingRelation -> Bool

(<=) :: RenamingRelation -> RenamingRelation -> Bool

(>) :: RenamingRelation -> RenamingRelation -> Bool

(>=) :: RenamingRelation -> RenamingRelation -> Bool

max :: RenamingRelation -> RenamingRelation -> RenamingRelation

min :: RenamingRelation -> RenamingRelation -> RenamingRelation

Show RenamingRelation

Methods

showsPrec :: Int -> RenamingRelation -> ShowS

show :: RenamingRelation -> String

showList :: [RenamingRelation] -> ShowS

data ClosureState

Constructors

ClosureStateNormal

Fields

• origClosureSet :: ClosureSet
• currentPrefixTrie :: PrefixTrie

ClosureStateFailed

Fields

• origClosureSet :: ClosureSet

ClosureStateSucc

Fields

• origClosureSet :: ClosureSet
• currentPrefixTrie :: PrefixTrie

Instances

Eq ClosureState

Methods

(==) :: ClosureState -> ClosureState -> Bool

(/=) :: ClosureState -> ClosureState -> Bool

Ord ClosureState

Methods

compare :: ClosureState -> ClosureState -> Ordering

(<) :: ClosureState -> ClosureState -> Bool

(<=) :: ClosureState -> ClosureState -> Bool

(>) :: ClosureState -> ClosureState -> Bool

(>=) :: ClosureState -> ClosureState -> Bool

max :: ClosureState -> ClosureState -> ClosureState

min :: ClosureState -> ClosureState -> ClosureState

Show ClosureState

Methods

showsPrec :: Int -> ClosureState -> ShowS

show :: ClosureState -> String

showList :: [ClosureState] -> ShowS

data SwitchedOffProc

Constructors

SwitchedOffProc

Fields

• switchedOffDigest :: Digest
• switchedOffExpr :: LExp
• switchedOffProcess :: Process

Instances

Eq SwitchedOffProc

Methods

(==) :: SwitchedOffProc -> SwitchedOffProc -> Bool

(/=) :: SwitchedOffProc -> SwitchedOffProc -> Bool

Ord SwitchedOffProc

Methods

compare :: SwitchedOffProc -> SwitchedOffProc -> Ordering

(<) :: SwitchedOffProc -> SwitchedOffProc -> Bool

(<=) :: SwitchedOffProc -> SwitchedOffProc -> Bool

(>) :: SwitchedOffProc -> SwitchedOffProc -> Bool

(>=) :: SwitchedOffProc -> SwitchedOffProc -> Bool

max :: SwitchedOffProc -> SwitchedOffProc -> SwitchedOffProc

min :: SwitchedOffProc -> SwitchedOffProc -> SwitchedOffProc

Show SwitchedOffProc

Methods

showsPrec :: Int -> SwitchedOffProc -> ShowS

show :: SwitchedOffProc -> String

showList :: [SwitchedOffProc] -> ShowS

data PrefixState

Constructors

PrefixState

Fields

• prefixEnv :: Env
• prefixFields :: [LCommField]
• prefixBody :: LExp
• prefixRHS :: Process
• prefixDigest :: Digest
• prefixPatternFailed :: Bool

Instances

Eq PrefixState

Methods

(==) :: PrefixState -> PrefixState -> Bool

(/=) :: PrefixState -> PrefixState -> Bool

Ord PrefixState

Methods

compare :: PrefixState -> PrefixState -> Ordering

(<) :: PrefixState -> PrefixState -> Bool

(<=) :: PrefixState -> PrefixState -> Bool

(>) :: PrefixState -> PrefixState -> Bool

(>=) :: PrefixState -> PrefixState -> Bool

max :: PrefixState -> PrefixState -> PrefixState

min :: PrefixState -> PrefixState -> PrefixState

Show PrefixState

Methods

showsPrec :: Int -> PrefixState -> ShowS

show :: PrefixState -> String

showList :: [PrefixState] -> ShowS

data GenericBufferPrefix

Constructors

GBOut [Value] PrefixState

GBInput PrefixState

GBInputGuard FieldSet PrefixState

GBInputGeneric [Value] PrefixState

GBFinished PrefixState

Instances

Eq GenericBufferPrefix

Methods

(==) :: GenericBufferPrefix -> GenericBufferPrefix -> Bool

(/=) :: GenericBufferPrefix -> GenericBufferPrefix -> Bool

Ord GenericBufferPrefix

Methods

compare :: GenericBufferPrefix -> GenericBufferPrefix -> Ordering

(<) :: GenericBufferPrefix -> GenericBufferPrefix -> Bool

(<=) :: GenericBufferPrefix -> GenericBufferPrefix -> Bool

(>) :: GenericBufferPrefix -> GenericBufferPrefix -> Bool

(>=) :: GenericBufferPrefix -> GenericBufferPrefix -> Bool

max :: GenericBufferPrefix -> GenericBufferPrefix -> GenericBufferPrefix

min :: GenericBufferPrefix -> GenericBufferPrefix -> GenericBufferPrefix

Show GenericBufferPrefix

Methods

showsPrec :: Int -> GenericBufferPrefix -> ShowS

show :: GenericBufferPrefix -> String

showList :: [GenericBufferPrefix] -> ShowS

type Bindings = IntMap Value

data Env

Constructors

Env

Fields

• argBindings :: Bindings
• letBindings :: Bindings
• letDigests :: IntMap Digest

Instances

MonadReader Env EM

Methods

ask :: EM Env

local :: (Env -> Env) -> EM a -> EM a

reader :: (Env -> a) -> EM a

emptyEnvirionment :: Env

newtype EM x

Constructors

EM

Fields

• unEM :: Reader Env x

Instances

Monad EM

Methods

(>>=) :: EM a -> (a -> EM b) -> EM b

(>>) :: EM a -> EM b -> EM b

return :: a -> EM a

fail :: String -> EM a

Functor EM

Methods

fmap :: (a -> b) -> EM a -> EM b

(<$) :: a -> EM b -> EM a

Applicative EM

Methods

pure :: a -> EM a

(<*>) :: EM (a -> b) -> EM a -> EM b

(*>) :: EM a -> EM b -> EM b

(<*) :: EM a -> EM b -> EM a

MonadReader Env EM

Methods

ask :: EM Env

local :: (Env -> Env) -> EM a -> EM a

reader :: (Env -> a) -> EM a

getArgBindings :: Env -> Bindings

getLetBindings :: Env -> Bindings

setArgBindings :: Env -> Bindings -> Env

setLetBindings :: Env -> Bindings -> Env

getEnv :: EM Env

class Monad m => Eval m where

Minimal complete definition

evalM

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

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

Ord Value

Methods

compare :: Value -> Value -> Ordering

(<) :: Value -> Value -> Bool

(<=) :: Value -> Value -> Bool

(>) :: Value -> Value -> Bool

(>=) :: Value -> Value -> Bool

max :: Value -> Value -> Value

min :: Value -> Value -> Value

Show Value

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

data FunClosure

Constructors

FunClosure

Fields

• getFunCases :: [FunCase]
• getFunEnv :: Env
• getFunArgNum :: Int
• getFunId :: Digest

Instances

Eq FunClosure

Methods

(==) :: FunClosure -> FunClosure -> Bool

(/=) :: FunClosure -> FunClosure -> Bool

Ord FunClosure

Methods

compare :: FunClosure -> FunClosure -> Ordering

(<) :: FunClosure -> FunClosure -> Bool

(<=) :: FunClosure -> FunClosure -> Bool

(>) :: FunClosure -> FunClosure -> Bool

(>=) :: FunClosure -> FunClosure -> Bool

max :: FunClosure -> FunClosure -> FunClosure

min :: FunClosure -> FunClosure -> FunClosure

Show FunClosure

Methods

showsPrec :: Int -> FunClosure -> ShowS

show :: FunClosure -> String

showList :: [FunClosure] -> ShowS

data Constructor

Constructors

Constructor

Fields

• constrId :: Int
• constrName :: String
• constrFields :: [FieldSet]

Instances

Eq Constructor

Methods

(==) :: Constructor -> Constructor -> Bool

(/=) :: Constructor -> Constructor -> Bool

Ord Constructor

Methods

compare :: Constructor -> Constructor -> Ordering

(<) :: Constructor -> Constructor -> Bool

(<=) :: Constructor -> Constructor -> Bool

(>) :: Constructor -> Constructor -> Bool

(>=) :: Constructor -> Constructor -> Bool

max :: Constructor -> Constructor -> Constructor

min :: Constructor -> Constructor -> Constructor

Show Constructor

Methods

showsPrec :: Int -> Constructor -> ShowS

show :: Constructor -> String

showList :: [Constructor] -> ShowS

data Channel

Constructors

Channel

Fields

• chanId :: Int
• chanName :: String
• chanLen :: Int
• chanFields :: [FieldSet]

Instances

Eq Channel

Methods

(==) :: Channel -> Channel -> Bool

(/=) :: Channel -> Channel -> Bool

Ord Channel

Methods

compare :: Channel -> Channel -> Ordering

(<) :: Channel -> Channel -> Bool

(<=) :: Channel -> Channel -> Bool

(>) :: Channel -> Channel -> Bool

(>=) :: Channel -> Channel -> Bool

max :: Channel -> Channel -> Channel

min :: Channel -> Channel -> Channel

Show Channel

Methods

showsPrec :: Int -> Channel -> ShowS

show :: Channel -> String

showList :: [Channel] -> ShowS

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

Methods

(==) :: PrefixTrie -> PrefixTrie -> Bool

(/=) :: PrefixTrie -> PrefixTrie -> Bool

Ord PrefixTrie

Methods

compare :: PrefixTrie -> PrefixTrie -> Ordering

(<) :: PrefixTrie -> PrefixTrie -> Bool

(<=) :: PrefixTrie -> PrefixTrie -> Bool

(>) :: PrefixTrie -> PrefixTrie -> Bool

(>=) :: PrefixTrie -> PrefixTrie -> Bool

max :: PrefixTrie -> PrefixTrie -> PrefixTrie

min :: PrefixTrie -> PrefixTrie -> PrefixTrie

Show PrefixTrie

Methods

showsPrec :: Int -> PrefixTrie -> ShowS

show :: PrefixTrie -> String

showList :: [PrefixTrie] -> ShowS

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

Methods

showsPrec :: Int -> InterpreterError -> ShowS

show :: InterpreterError -> String

showList :: [InterpreterError] -> ShowS

Exception InterpreterError

Methods

toException :: InterpreterError -> SomeException

fromException :: SomeException -> Maybe InterpreterError

displayException :: InterpreterError -> String

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