CSPM.DataStructures.Tokens

Documentation

data Token

Constructors

TInteger Int

TFalse

TTrue

TIdent String

TRefines Model

TModel Model

TTauPriority

TDeadlockFree

TDivergenceFree

TLivelockFree

TDeterministic

TNewLine

TDefineEqual

TComma

TDot

TExclamationMark

TQuestionMark

TDollar

TPipe

TDoubleDot

TColon

TDrawnFrom

TTie

TDoubleAt

TWildCard

TIf

TThen

TElse

TLet

TWithin

TBackSlash

TLambdaDot

TChannel

TAssert

TDataType

TExternal

TTransparent

TNameType

TSemiColon

TGuard

TNot

TAnd

TOr

TEq

TNotEq

TLtEq

TGtEq

TLt

TGt

TPlus

TMinus

TTimes

TDivide

TMod

TCloseSeq

TEmptySeq

TConcat

THash

TLParen

TRParen

TLBrace

TRBrace

TLPipeBrace

TRPipeBrace

TLDoubleSqBracket

TRDoubleSqBracket

TLPipeSqBracket

TRPipeSqBracket

TLSqBracket

TRSqBracket

TExtChoice

TIntChoice

TInterleave

TPrefix

TInterrupt

TSlidingChoice

TRException

TParallel

TEOF

Instances

Eq Token

Show Token

PrettyPrintable Token

type LToken = Located Token

data Model

Constructors

Traces

Failures

FailuresDivergences

Refusals

RefusalsDivergences

Revivals

RevivalsDivergences

Instances

Eq Model

Show Model

PrettyPrintable Model

Compressable Model