Copyright	(c) Fontaine 2008 - 2011
License	BSD3
Maintainer	Fontaine@cs.uni-duesseldorf.de
Stability	experimental
Portability	GHC-only
Safe Haskell	None
Language	Haskell2010

CSPM.Interpreter.Types

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

Eq (Process INT) Source #
Methods (==) :: Process INT -> Process INT -> Bool # (/=) :: Process INT -> Process INT -> Bool #
Ord (Process INT) Source #
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) Source #
Methods showsPrec :: Int -> Process INT -> ShowS # show :: Process INT -> String # showList :: [Process INT] -> ShowS #
type Field INT Source #
type Field INT = Field
type FieldSet INT Source #
type FieldSet INT = FieldSet
type ClosureState INT Source #
type ClosureState INT = ClosureState
type PrefixState INT Source #
type PrefixState INT = GenericBufferPrefix
type Prefix INT Source #
type Prefix INT = PrefixState
type ExtProcess INT Source #
type ExtProcess INT = SwitchedOffProc
type Event INT Source #
type Event INT = Event
type EventSet INT Source #
type EventSet INT = ClosureSet
type RenamingRelation INT Source #
type RenamingRelation INT = RenamingRelation

type Event = [Field] Source #

type Field = Value Source #

type FieldSet = SSet Field Source #

type Process = Process INT Source #

type Digest = MD5Digest Source #

type Sigma = ClosureSet Source #

data ClosureSet Source #

Constructors

ClosureSet
Fields closureSetTrie :: PrefixTrie closureSetDigest :: Digest

Instances

Eq ClosureSet Source #
Methods (==) :: ClosureSet -> ClosureSet -> Bool # (/=) :: ClosureSet -> ClosureSet -> Bool #
Ord ClosureSet Source #
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 Source #
Methods showsPrec :: Int -> ClosureSet -> ShowS # show :: ClosureSet -> String # showList :: [ClosureSet] -> ShowS #

data RenamingRelation Source #

Constructors

RenamingRelation
Fields renamingPairs :: Set (Event, Event) renamingDomain :: Set Event renamingRange :: Set Event renamingDigest :: Digest

Instances

Eq RenamingRelation Source #
Methods (==) :: RenamingRelation -> RenamingRelation -> Bool # (/=) :: RenamingRelation -> RenamingRelation -> Bool #
Ord RenamingRelation Source #
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 Source #
Methods showsPrec :: Int -> RenamingRelation -> ShowS # show :: RenamingRelation -> String # showList :: [RenamingRelation] -> ShowS #

data ClosureState Source #

Constructors

ClosureStateNormal
Fields origClosureSet :: ClosureSet currentPrefixTrie :: PrefixTrie
ClosureStateFailed
Fields origClosureSet :: ClosureSet
ClosureStateSucc
Fields origClosureSet :: ClosureSet currentPrefixTrie :: PrefixTrie

Instances

Eq ClosureState Source #
Methods (==) :: ClosureState -> ClosureState -> Bool # (/=) :: ClosureState -> ClosureState -> Bool #
Ord ClosureState Source #
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 Source #
Methods showsPrec :: Int -> ClosureState -> ShowS # show :: ClosureState -> String # showList :: [ClosureState] -> ShowS #

data SwitchedOffProc Source #

Constructors

SwitchedOffProc
Fields switchedOffDigest :: Digest switchedOffExpr :: LExp switchedOffProcess :: Process

Instances

Eq SwitchedOffProc Source #
Methods (==) :: SwitchedOffProc -> SwitchedOffProc -> Bool # (/=) :: SwitchedOffProc -> SwitchedOffProc -> Bool #
Ord SwitchedOffProc Source #
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 Source #
Methods showsPrec :: Int -> SwitchedOffProc -> ShowS # show :: SwitchedOffProc -> String # showList :: [SwitchedOffProc] -> ShowS #

data PrefixState Source #

Constructors

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

Instances

Eq PrefixState Source #
Methods (==) :: PrefixState -> PrefixState -> Bool # (/=) :: PrefixState -> PrefixState -> Bool #
Ord PrefixState Source #
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 Source #
Methods showsPrec :: Int -> PrefixState -> ShowS # show :: PrefixState -> String # showList :: [PrefixState] -> ShowS #

data GenericBufferPrefix Source #

Constructors

GBOut [Value] PrefixState
GBInput PrefixState
GBInputGuard FieldSet PrefixState
GBInputGeneric [Value] PrefixState
GBFinished PrefixState

Instances

Eq GenericBufferPrefix Source #
Methods (==) :: GenericBufferPrefix -> GenericBufferPrefix -> Bool # (/=) :: GenericBufferPrefix -> GenericBufferPrefix -> Bool #
Ord GenericBufferPrefix Source #
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 Source #
Methods showsPrec :: Int -> GenericBufferPrefix -> ShowS # show :: GenericBufferPrefix -> String # showList :: [GenericBufferPrefix] -> ShowS #

type Bindings = IntMap Value Source #

data Env Source #

Constructors

Env
Fields argBindings :: Bindings letBindings :: Bindings letDigests :: IntMap Digest

Instances

MonadReader Env EM Source #
Methods ask :: EM Env # local :: (Env -> Env) -> EM a -> EM a # reader :: (Env -> a) -> EM a #

emptyEnvirionment :: Env Source #

newtype EM x Source #

Constructors

EM
Fields unEM :: Reader Env x

Instances

Monad EM Source #
Methods (>>=) :: EM a -> (a -> EM b) -> EM b # (>>) :: EM a -> EM b -> EM b # return :: a -> EM a # fail :: String -> EM a #
Functor EM Source #
Methods fmap :: (a -> b) -> EM a -> EM b # (<$) :: a -> EM b -> EM a #
Applicative EM Source #
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 Source #
Methods ask :: EM Env # local :: (Env -> Env) -> EM a -> EM a # reader :: (Env -> a) -> EM a #

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 #

Minimal complete definition

evalM

Methods

evalM :: LExp -> m Value Source #

data Value Source #

Instances

Eq Value Source #
Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Ord Value Source #
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 Source #
Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #

data FunClosure Source #

Constructors

FunClosure
Fields getFunCases :: [FunCase] getFunEnv :: Env getFunArgNum :: Int getFunId :: Digest

Instances

Eq FunClosure Source #
Methods (==) :: FunClosure -> FunClosure -> Bool # (/=) :: FunClosure -> FunClosure -> Bool #
Ord FunClosure Source #
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 Source #
Methods showsPrec :: Int -> FunClosure -> ShowS # show :: FunClosure -> String # showList :: [FunClosure] -> ShowS #

data Constructor Source #

Constructors

Constructor
Fields constrId :: Int constrName :: String constrFields :: [FieldSet]

Instances

Eq Constructor Source #
Methods (==) :: Constructor -> Constructor -> Bool # (/=) :: Constructor -> Constructor -> Bool #
Ord Constructor Source #
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 Source #
Methods showsPrec :: Int -> Constructor -> ShowS # show :: Constructor -> String # showList :: [Constructor] -> ShowS #

data Channel Source #

Constructors

Channel
Fields chanId :: Int chanName :: String chanLen :: Int chanFields :: [FieldSet]

Instances

Eq Channel Source #
Methods (==) :: Channel -> Channel -> Bool # (/=) :: Channel -> Channel -> Bool #
Ord Channel Source #
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 Source #
Methods showsPrec :: Int -> Channel -> ShowS # show :: Channel -> String # showList :: [Channel] -> ShowS #

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 Source #
Methods (==) :: PrefixTrie -> PrefixTrie -> Bool # (/=) :: PrefixTrie -> PrefixTrie -> Bool #
Ord PrefixTrie Source #
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 Source #
Methods showsPrec :: Int -> PrefixTrie -> ShowS # show :: PrefixTrie -> String # showList :: [PrefixTrie] -> ShowS #

data InterpreterError Source #

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 Source #
Methods showsPrec :: Int -> InterpreterError -> ShowS # show :: InterpreterError -> String # showList :: [InterpreterError] -> ShowS #
Exception InterpreterError Source #
Methods toException :: InterpreterError -> SomeException # fromException :: SomeException -> Maybe InterpreterError # displayException :: InterpreterError -> String #

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 #

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]