CSPM.DataStructures.Syntax

Documentation

type AnModule = Annotated () Module

type AnDecl = Annotated (Maybe SymbolTable, PSymbolTable) Decl

type AnMatch = Annotated () Match

type AnPat = Annotated () Pat

type AnExp = Annotated (Maybe Type, PType) Exp

type AnField = Annotated () Field

type AnStmt = Annotated () Stmt

type AnDataTypeClause = Annotated () DataTypeClause

type AnAssertion = Annotated () Assertion

type AnInteractiveStmt = Annotated () InteractiveStmt

getType :: Annotated (Maybe Type, PType) a -> Type

getSymbolTable :: Annotated (Maybe SymbolTable, PSymbolTable) a -> SymbolTable

type PModule = AnModule

type PDecl = AnDecl

type PMatch = AnMatch

type PPat = AnPat

type PExp = AnExp

type PStmt = AnStmt

type PField = AnField

type PDataTypeClause = AnDataTypeClause

type PAssertion = AnAssertion

type PInteractiveStmt = AnInteractiveStmt

type TCModule = AnModule

type TCDecl = AnDecl

type TCMatch = AnMatch

type TCPat = AnPat

type TCExp = AnExp

type TCField = AnField

type TCStmt = AnStmt

type TCDataTypeClause = AnDataTypeClause

type TCAssertion = AnAssertion

type TCInteractiveStmt = AnInteractiveStmt

data Literal

Constructors

Int Integer

Bool Bool

Instances

Eq Literal

Show Literal

PrettyPrintable Literal

Desugarable Literal

Compressable Literal

TypeCheckable Literal Type

data Module

Constructors

GlobalModule [AnDecl]

Instances

Eq Module

Show Module

PrettyPrintable Module

Desugarable Module

Compressable Module

TypeCheckable Module ()

TypeCheckable PModule ()

PrettyPrintable [Module]

TypeCheckable [PModule] ()

data BinaryBooleanOp

Constructors

And

Or

Equals

NotEquals

LessThan

GreaterThan

LessThanEq

GreaterThanEq

Instances

Eq BinaryBooleanOp

Show BinaryBooleanOp

PrettyPrintable BinaryBooleanOp

data UnaryBooleanOp

Constructors

Not

Instances

Eq UnaryBooleanOp

Show UnaryBooleanOp

PrettyPrintable UnaryBooleanOp

data UnaryMathsOp

Constructors

Negate

Instances

Eq UnaryMathsOp

Show UnaryMathsOp

PrettyPrintable UnaryMathsOp

data BinaryMathsOp

Constructors

Divide

Minus

Mod

Plus

Times

Instances

Eq BinaryMathsOp

Show BinaryMathsOp

PrettyPrintable BinaryMathsOp

data Exp

Constructors

App AnExp [AnExp]

BooleanBinaryOp BinaryBooleanOp AnExp AnExp

BooleanUnaryOp UnaryBooleanOp AnExp

Concat AnExp AnExp

DotApp AnExp AnExp

If AnExp AnExp AnExp

Lambda AnPat AnExp

Let [AnDecl] AnExp

Lit Literal

List [AnExp]

ListComp [AnExp] [AnStmt]

ListEnumFrom AnExp

ListEnumFromTo AnExp AnExp

ListLength AnExp

MathsBinaryOp BinaryMathsOp AnExp AnExp

MathsUnaryOp UnaryMathsOp AnExp

Paren AnExp

Set [AnExp]

SetComp [AnExp] [AnStmt]

SetEnum [AnExp]

SetEnumComp [AnExp] [AnStmt]

SetEnumFrom AnExp

SetEnumFromTo AnExp AnExp

Tuple [AnExp]

Var QualifiedName

AlphaParallel AnExp AnExp AnExp AnExp

Exception AnExp AnExp AnExp

ExternalChoice AnExp AnExp

GenParallel AnExp AnExp AnExp

GuardedExp AnExp AnExp

Hiding AnExp AnExp

InternalChoice AnExp AnExp

Interrupt AnExp AnExp

Interleave AnExp AnExp

LinkParallel AnExp [(AnExp, AnExp)] [AnStmt] AnExp

Prefix AnExp [AnField] AnExp

Rename AnExp [(AnExp, AnExp)] [AnStmt]

SequentialComp AnExp AnExp

SlidingChoice AnExp AnExp

ReplicatedAlphaParallel [AnStmt] AnExp AnExp

ReplicatedExternalChoice [AnStmt] AnExp

ReplicatedInterleave [AnStmt] AnExp

ReplicatedInternalChoice [AnStmt] AnExp

ReplicatedLinkParallel [(AnExp, AnExp)] [AnStmt] AnExp

ReplicatedParallel AnExp [AnStmt] AnExp

ExpPatWildCard

ExpPatDoublePattern AnExp AnExp

Instances

Eq Exp

Show Exp

PrettyPrintable Exp

Desugarable Exp

Evaluatable Exp

Compressable Exp

Dependencies Exp

TypeCheckable Exp Type

TypeCheckable PExp Type

data Field

Constructors

Output AnExp

!x

Input AnPat (Maybe AnExp)

?x:A

NonDetInput AnPat (Maybe AnExp)

$x:A (see P395 UCS)

Instances

Eq Field

Show Field

PrettyPrintable Field

Desugarable Field

Compressable Field

FreeVars Field

Dependencies Field

data Stmt

Constructors

Generator AnPat AnExp

Qualifier AnExp

Instances

Eq Stmt

Show Stmt

PrettyPrintable Stmt

Desugarable Stmt

Compressable Stmt

FreeVars Stmt

Dependencies Stmt

data InteractiveStmt

Constructors

Evaluate AnExp

Bind AnDecl

RunAssertion Assertion

Instances

Show InteractiveStmt

PrettyPrintable InteractiveStmt

Desugarable InteractiveStmt

Compressable InteractiveStmt

TypeCheckable InteractiveStmt ()

TypeCheckable PInteractiveStmt ()

data Decl

Constructors

FunBind Name [AnMatch]

PatBind AnPat AnExp

Assert Assertion

External [Name]

Transparent [Name]

Channel [Name] (Maybe AnExp)

DataType Name [AnDataTypeClause]

NameType Name AnExp

Instances

Eq Decl

Show Decl

PrettyPrintable Decl

Desugarable Decl

Compressable Decl

Dependencies Decl

TypeCheckable Decl [(Name, Type)]

TypeCheckable PDecl [(Name, Type)]

data Assertion

Constructors

Refinement AnExp Model AnExp [ModelOption]

PropertyCheck AnExp SemanticProperty (Maybe Model)

BoolAssertion AnExp

ASNot Assertion

Instances

Eq Assertion

Show Assertion

PrettyPrintable Assertion

Desugarable Assertion

Compressable Assertion

Dependencies Assertion

TypeCheckable Assertion ()

data Model

Constructors

Traces

Failures

FailuresDivergences

Refusals

RefusalsDivergences

Revivals

RevivalsDivergences

Instances

Eq Model

Show Model

PrettyPrintable Model

Compressable Model

data ModelOption

Constructors

TauPriority AnExp

Instances

Eq ModelOption

Show ModelOption

PrettyPrintable ModelOption

Desugarable ModelOption

Compressable ModelOption

Dependencies ModelOption

TypeCheckable ModelOption ()

data SemanticProperty

Constructors

DeadlockFreedom

Deterministic

LivelockFreedom

Instances

Eq SemanticProperty

Show SemanticProperty

PrettyPrintable SemanticProperty

Compressable SemanticProperty

data DataTypeClause

Constructors

DataTypeClause Name (Maybe AnExp)

Instances

Eq DataTypeClause

Show DataTypeClause

PrettyPrintable DataTypeClause

Desugarable DataTypeClause

Compressable DataTypeClause

Dependencies DataTypeClause

TypeCheckable DataTypeClause (Name, [Type])

TypeCheckable PDataTypeClause (Name, [Type])

data Match

Constructors

Match [[AnPat]] AnExp

Instances

Eq Match

Show Match

Desugarable Match

Compressable Match

Dependencies Match

TypeCheckable Match Type

TypeCheckable PMatch Type

data Pat

Constructors

PConcat AnPat AnPat

PDotApp AnPat AnPat

PDoublePattern AnPat AnPat

PList [AnPat]

PLit Literal

PParen AnPat

PSet [AnPat]

PTuple [AnPat]

PVar Name

PWildCard

PCompList [AnPat] (Maybe (AnPat, [AnPat])) Pat

PCompDot [AnPat] Pat

Instances

Eq Pat

Show Pat

PrettyPrintable Pat

Desugarable Pat

Bindable Pat

Compressable Pat

FreeVars Pat

Dependencies Pat

TypeCheckable Pat Type

TypeCheckable PPat Type