CSPM.Parser.Tokens

Documentation

data Token

Constructors

TInteger Int

TChar Char

TString String

TFalse

TTrue

TIdent String

TPrint String

TRefines Model

TModel Model

TTauPriority

TDeadlockFree

TDivergenceFree

TLivelockFree

TDeterministic

TNewLine

TDefineEqual

TModule

TExports

TEndModule

TScope

TInstance

TOfType

TYield

TYieldStar

TTimed

TComma

TDot

TExclamationMark

TQuestionMark

TDollar

TPipe

TDoubleDot

TColon

TDrawnFrom

TTie

TDoubleAt

TWildCard

TIf

TThen

TElse

TLet

TWithin

TBackSlash

TLambdaDot

TChannel

TAssert

TAssertNot

TDataType

TSubType

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

TLSyncInterrupt

TRSyncInterrupt

TLSyncExtChoice

TRSyncExtChoice

TLMap

TRMap

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

Ord Model

Show Model

PrettyPrintable Model

Desugarable Model

Compressable Model