CSPM-Interpreter-0.5.1.0: An interpreter for CSPM

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de

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

type FieldSet = SSet FieldSource

newtype EM x Source

Constructors

EM 

Fields

unEM :: Reader Env x
 

Instances

class Monad m => Eval m whereSource

Methods

evalM :: LExp -> m ValueSource

data Channel Source

Constructors

Channel