CSPM-Frontend-0.4.1.0: A CSP-M parser compatible with FDR-2.83

Portability	GHC-only
Stability	provisional
Maintainer	Fontaine@cs.uni-duesseldorf.de

Language.CSPM.Token

Description

This module contains the datatype Tokens.

Documentation

newtype TokenId Source

Constructors

TokenId
Fields unTokenId :: Int

Instances

Enum TokenId
Eq TokenId
Data TokenId
Ord TokenId
Show TokenId
Ix TokenId
Typeable TokenId

mkTokenId :: Int -> TokenId Source

data AlexPosn Source

Constructors

AlexPn
Fields alexPos :: !Int alexLine :: !Int alexCol :: !Int

Instances

Eq AlexPosn
Data AlexPosn
Ord AlexPosn
Show AlexPosn
Typeable AlexPosn

pprintAlexPosn :: AlexPosn -> String Source

alexStartPos :: AlexPosn Source

alexMove :: AlexPosn -> Char -> AlexPosn Source

data LexError Source

Constructors

LexError
Fields lexEPos :: !AlexPosn lexEMsg :: !String

Instances

Show LexError
Typeable LexError
Exception LexError

data Token Source

Constructors

Token
Fields tokenId :: TokenId tokenStart :: AlexPosn tokenLen :: Int tokenClass :: PrimToken tokenString :: String

Instances

Eq Token
Data Token
Ord Token
Show Token
Typeable Token
MonadState PState (GenParser Token PState)
NodeIdSupply (GenParser Token PState)

tokenSentinel :: Token Source

showPosn :: AlexPosn -> String Source

showToken :: Token -> String Source