Language.CSPM.TokenClasses

This module contains the data type PrimToken.

Documentation

data PrimToken

The token classes of the CSP-M lexer

Constructors

L_Newline

T_WhiteSpace

L_LComment

L_BComment

L_Pragma

L_Include

L_EOF

L_Integer

L_String

L_Ident

T_channel

T_datatype

T_nametype

T_subtype

T_assert

T_pragma

T_transparent

T_external

T_print

T_if

T_then

T_else

T_let

T_within

T_true

T_false

T_not

T_and

T_or

T_union

T_inter

T_diff

T_Union

T_Inter

T_member

T_card

T_empty

T_set

T_Set

T_Seq

T_null

T_head

T_tail

T_concat

T_elem

T_length

T_STOP

T_SKIP

T_Events

T_Int

T_Bool

T_CHAOS

T_hat

T_hash

T_times

T_slash

T_percent

T_plus

T_minus

T_eq

T_neq

T_ge

T_le

T_lt

T_gt

T_amp

T_semicolon

T_comma

T_triangle

T_box

T_rhd

T_exp

T_sqcap

T_interleave

T_backslash

T_parallel

T_mid

T_at

T_atat

T_rightarrow

T_leftarrow

T_leftrightarrow

T_dot

T_dotdot

T_exclamation

T_questionmark

T_colon

T_openParen

T_closeParen

T_openBrace

T_closeBrace

T_openBrack

T_closeBrack

T_openAssertBrack

T_closeAssertBrack

T_closeSpecialBrack

T_openOxBrack

T_closeOxBrack

T_openBrackBrack

T_closeBrackBrack

T_openPBrace

T_closePBrace

T_underscore

T_is

T_Refine

T_trace

T_failure

T_failureDivergence

T_refusalTesting

T_refusalTestingDiv

T_revivalTesting

T_revivalTestingDiv

T_tauPriorityOp

T_tau

T_priority

T_over

T_deadlock

T_deterministic

T_livelock

T_free

T_F

T_T

T_FD

Instances

Bounded PrimToken

Methods

minBound :: PrimToken

maxBound :: PrimToken

Enum PrimToken

Methods

succ :: PrimToken -> PrimToken

pred :: PrimToken -> PrimToken

toEnum :: Int -> PrimToken

fromEnum :: PrimToken -> Int

enumFrom :: PrimToken -> [PrimToken]

enumFromThen :: PrimToken -> PrimToken -> [PrimToken]

enumFromTo :: PrimToken -> PrimToken -> [PrimToken]

enumFromThenTo :: PrimToken -> PrimToken -> PrimToken -> [PrimToken]

Eq PrimToken

Methods

(==) :: PrimToken -> PrimToken -> Bool

(/=) :: PrimToken -> PrimToken -> Bool

Data PrimToken

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrimToken -> c PrimToken

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrimToken

toConstr :: PrimToken -> Constr

dataTypeOf :: PrimToken -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PrimToken)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrimToken)

gmapT :: (forall b. Data b => b -> b) -> PrimToken -> PrimToken

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrimToken -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrimToken -> r

gmapQ :: (forall d. Data d => d -> u) -> PrimToken -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PrimToken -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrimToken -> m PrimToken

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimToken -> m PrimToken

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimToken -> m PrimToken

Ord PrimToken

Methods

compare :: PrimToken -> PrimToken -> Ordering

(<) :: PrimToken -> PrimToken -> Bool

(<=) :: PrimToken -> PrimToken -> Bool

(>) :: PrimToken -> PrimToken -> Bool

(>=) :: PrimToken -> PrimToken -> Bool

max :: PrimToken -> PrimToken -> PrimToken

min :: PrimToken -> PrimToken -> PrimToken

Show PrimToken

Methods

showsPrec :: Int -> PrimToken -> ShowS

show :: PrimToken -> String

showList :: [PrimToken] -> ShowS

Ix PrimToken

Methods

range :: (PrimToken, PrimToken) -> [PrimToken]

index :: (PrimToken, PrimToken) -> PrimToken -> Int

unsafeIndex :: (PrimToken, PrimToken) -> PrimToken -> Int

inRange :: (PrimToken, PrimToken) -> PrimToken -> Bool

rangeSize :: (PrimToken, PrimToken) -> Int

unsafeRangeSize :: (PrimToken, PrimToken) -> Int

Generic PrimToken

Associated Types

type Rep PrimToken :: * -> *

Methods

from :: PrimToken -> Rep PrimToken x

to :: Rep PrimToken x -> PrimToken

type Rep PrimToken

type Rep PrimToken = D1 (MetaData "PrimToken" "Language.CSPM.TokenClasses" "CSPM-Frontend-0.12.1.0-2XObDhQeBFNG5DmoldftgD" False) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "L_Newline" PrefixI False) U1) ((:+:) (C1 (MetaCons "T_WhiteSpace" PrefixI False) U1) (C1 (MetaCons "L_LComment" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "L_BComment" PrefixI False) U1) (C1 (MetaCons "L_Pragma" PrefixI False) U1)) ((:+:) (C1 (MetaCons "L_Include" PrefixI False) U1) (C1 (MetaCons "L_EOF" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "L_Integer" PrefixI False) U1) (C1 (MetaCons "L_String" PrefixI False) U1)) ((:+:) (C1 (MetaCons "L_Ident" PrefixI False) U1) (C1 (MetaCons "T_channel" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_datatype" PrefixI False) U1) (C1 (MetaCons "T_nametype" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_subtype" PrefixI False) U1) (C1 (MetaCons "T_assert" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_pragma" PrefixI False) U1) ((:+:) (C1 (MetaCons "T_transparent" PrefixI False) U1) (C1 (MetaCons "T_external" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_print" PrefixI False) U1) (C1 (MetaCons "T_if" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_then" PrefixI False) U1) (C1 (MetaCons "T_else" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_let" PrefixI False) U1) (C1 (MetaCons "T_within" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_true" PrefixI False) U1) (C1 (MetaCons "T_false" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_not" PrefixI False) U1) (C1 (MetaCons "T_and" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_or" PrefixI False) U1) (C1 (MetaCons "T_union" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_inter" PrefixI False) U1) ((:+:) (C1 (MetaCons "T_diff" PrefixI False) U1) (C1 (MetaCons "T_Union" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_Inter" PrefixI False) U1) (C1 (MetaCons "T_member" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_card" PrefixI False) U1) (C1 (MetaCons "T_empty" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_set" PrefixI False) U1) (C1 (MetaCons "T_Set" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_Seq" PrefixI False) U1) (C1 (MetaCons "T_null" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_head" PrefixI False) U1) (C1 (MetaCons "T_tail" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_concat" PrefixI False) U1) (C1 (MetaCons "T_elem" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_length" PrefixI False) U1) (C1 (MetaCons "T_STOP" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_SKIP" PrefixI False) U1) (C1 (MetaCons "T_Events" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_Int" PrefixI False) U1) (C1 (MetaCons "T_Bool" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_CHAOS" PrefixI False) U1) (C1 (MetaCons "T_hat" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_hash" PrefixI False) U1) (C1 (MetaCons "T_times" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_slash" PrefixI False) U1) (C1 (MetaCons "T_percent" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_plus" PrefixI False) U1) (C1 (MetaCons "T_minus" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_eq" PrefixI False) U1) (C1 (MetaCons "T_neq" PrefixI False) U1))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_ge" PrefixI False) U1) ((:+:) (C1 (MetaCons "T_le" PrefixI False) U1) (C1 (MetaCons "T_lt" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_gt" PrefixI False) U1) (C1 (MetaCons "T_amp" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_semicolon" PrefixI False) U1) (C1 (MetaCons "T_comma" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_triangle" PrefixI False) U1) (C1 (MetaCons "T_box" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_rhd" PrefixI False) U1) (C1 (MetaCons "T_exp" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_sqcap" PrefixI False) U1) (C1 (MetaCons "T_interleave" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_backslash" PrefixI False) U1) (C1 (MetaCons "T_parallel" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_mid" PrefixI False) U1) (C1 (MetaCons "T_at" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_atat" PrefixI False) U1) (C1 (MetaCons "T_rightarrow" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_leftarrow" PrefixI False) U1) (C1 (MetaCons "T_leftrightarrow" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_dot" PrefixI False) U1) (C1 (MetaCons "T_dotdot" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_exclamation" PrefixI False) U1) (C1 (MetaCons "T_questionmark" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_colon" PrefixI False) U1) (C1 (MetaCons "T_openParen" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_closeParen" PrefixI False) U1) (C1 (MetaCons "T_openBrace" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_closeBrace" PrefixI False) U1) (C1 (MetaCons "T_openBrack" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_closeBrack" PrefixI False) U1) ((:+:) (C1 (MetaCons "T_openAssertBrack" PrefixI False) U1) (C1 (MetaCons "T_closeAssertBrack" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_closeSpecialBrack" PrefixI False) U1) (C1 (MetaCons "T_openOxBrack" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_closeOxBrack" PrefixI False) U1) (C1 (MetaCons "T_openBrackBrack" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_closeBrackBrack" PrefixI False) U1) (C1 (MetaCons "T_openPBrace" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_closePBrace" PrefixI False) U1) (C1 (MetaCons "T_underscore" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_is" PrefixI False) U1) (C1 (MetaCons "T_Refine" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_trace" PrefixI False) U1) (C1 (MetaCons "T_failure" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_failureDivergence" PrefixI False) U1) (C1 (MetaCons "T_refusalTesting" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_refusalTestingDiv" PrefixI False) U1) (C1 (MetaCons "T_revivalTesting" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_revivalTestingDiv" PrefixI False) U1) (C1 (MetaCons "T_tauPriorityOp" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_tau" PrefixI False) U1) (C1 (MetaCons "T_priority" PrefixI False) U1)))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "T_over" PrefixI False) U1) (C1 (MetaCons "T_deadlock" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_deterministic" PrefixI False) U1) (C1 (MetaCons "T_livelock" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "T_free" PrefixI False) U1) (C1 (MetaCons "T_F" PrefixI False) U1)) ((:+:) (C1 (MetaCons "T_T" PrefixI False) U1) (C1 (MetaCons "T_FD" PrefixI False) U1))))))))