| Portability | GHC-only |
|---|---|
| Stability | provisional |
| Maintainer | Fontaine@cs.uni-duesseldorf.de |
Language.CSPM.TokenClasses
Description
This module contains the data type PrimToken.
- data PrimToken
- = 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
Documentation
The token classes of the CSP-M lexer
Constructors