Copyright	(c) Fontaine 2008
License	BSD
Maintainer	Fontaine@cs.uni-duesseldorf.de
Stability	provisional
Portability	GHC-only
Safe Haskell	None
Language	Haskell2010

Language.CSPM.Token

Description

This module contains the data type Tokens and some helper functions

Documentation

newtype TokenId Source #

Constructors

TokenId
Fields unTokenId :: Int

Instances

Enum TokenId Source #
Methods succ :: TokenId -> TokenId # pred :: TokenId -> TokenId # toEnum :: Int -> TokenId # fromEnum :: TokenId -> Int # enumFrom :: TokenId -> [TokenId] # enumFromThen :: TokenId -> TokenId -> [TokenId] # enumFromTo :: TokenId -> TokenId -> [TokenId] # enumFromThenTo :: TokenId -> TokenId -> TokenId -> [TokenId] #
Eq TokenId Source #
Methods (==) :: TokenId -> TokenId -> Bool # (/=) :: TokenId -> TokenId -> Bool #
Data TokenId Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TokenId -> c TokenId # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TokenId # toConstr :: TokenId -> Constr # dataTypeOf :: TokenId -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c TokenId) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TokenId) # gmapT :: (forall b. Data b => b -> b) -> TokenId -> TokenId # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TokenId -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TokenId -> r # gmapQ :: (forall d. Data d => d -> u) -> TokenId -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TokenId -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TokenId -> m TokenId # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenId -> m TokenId # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenId -> m TokenId #
Ord TokenId Source #
Methods compare :: TokenId -> TokenId -> Ordering # (<) :: TokenId -> TokenId -> Bool # (<=) :: TokenId -> TokenId -> Bool # (>) :: TokenId -> TokenId -> Bool # (>=) :: TokenId -> TokenId -> Bool # max :: TokenId -> TokenId -> TokenId # min :: TokenId -> TokenId -> TokenId #
Show TokenId Source #
Methods showsPrec :: Int -> TokenId -> ShowS # show :: TokenId -> String # showList :: [TokenId] -> ShowS #
Ix TokenId Source #
Methods range :: (TokenId, TokenId) -> [TokenId] # index :: (TokenId, TokenId) -> TokenId -> Int # unsafeIndex :: (TokenId, TokenId) -> TokenId -> Int inRange :: (TokenId, TokenId) -> TokenId -> Bool # rangeSize :: (TokenId, TokenId) -> Int # unsafeRangeSize :: (TokenId, TokenId) -> Int
Generic TokenId Source #
Associated Types type Rep TokenId :: * -> * # Methods from :: TokenId -> Rep TokenId x # to :: Rep TokenId x -> TokenId #
type Rep TokenId Source #
type Rep TokenId = D1 (MetaData "TokenId" "Language.CSPM.Token" "CSPM-Frontend-0.12.1.0-2XObDhQeBFNG5DmoldftgD" True) (C1 (MetaCons "TokenId" PrefixI True) (S1 (MetaSel (Just Symbol "unTokenId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

mkTokenId :: Int -> TokenId Source #

data AlexPosn Source #

Constructors

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

Instances

Eq AlexPosn Source #
Methods (==) :: AlexPosn -> AlexPosn -> Bool # (/=) :: AlexPosn -> AlexPosn -> Bool #
Data AlexPosn Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AlexPosn -> c AlexPosn # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AlexPosn # toConstr :: AlexPosn -> Constr # dataTypeOf :: AlexPosn -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c AlexPosn) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AlexPosn) # gmapT :: (forall b. Data b => b -> b) -> AlexPosn -> AlexPosn # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AlexPosn -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AlexPosn -> r # gmapQ :: (forall d. Data d => d -> u) -> AlexPosn -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AlexPosn -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AlexPosn -> m AlexPosn # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AlexPosn -> m AlexPosn # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AlexPosn -> m AlexPosn #
Ord AlexPosn Source #
Methods compare :: AlexPosn -> AlexPosn -> Ordering # (<) :: AlexPosn -> AlexPosn -> Bool # (<=) :: AlexPosn -> AlexPosn -> Bool # (>) :: AlexPosn -> AlexPosn -> Bool # (>=) :: AlexPosn -> AlexPosn -> Bool # max :: AlexPosn -> AlexPosn -> AlexPosn # min :: AlexPosn -> AlexPosn -> AlexPosn #
Show AlexPosn Source #
Methods showsPrec :: Int -> AlexPosn -> ShowS # show :: AlexPosn -> String # showList :: [AlexPosn] -> ShowS #
Generic AlexPosn Source #
Associated Types type Rep AlexPosn :: * -> * # Methods from :: AlexPosn -> Rep AlexPosn x # to :: Rep AlexPosn x -> AlexPosn #
type Rep AlexPosn Source #
type Rep AlexPosn = D1 (MetaData "AlexPosn" "Language.CSPM.Token" "CSPM-Frontend-0.12.1.0-2XObDhQeBFNG5DmoldftgD" False) (C1 (MetaCons "AlexPn" PrefixI True) ((::) (S1 (MetaSel (Just Symbol "alexPos") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int)) ((::) (S1 (MetaSel (Just Symbol "alexLine") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int)) (S1 (MetaSel (Just Symbol "alexCol") NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int)))))

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 Source #
Methods showsPrec :: Int -> LexError -> ShowS # show :: LexError -> String # showList :: [LexError] -> ShowS #
Exception LexError Source #
Methods toException :: LexError -> SomeException # fromException :: SomeException -> Maybe LexError # displayException :: LexError -> String #

data Token Source #

Constructors

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

Instances

Eq Token Source #
Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Data Token Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Token -> c Token # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Token # toConstr :: Token -> Constr # dataTypeOf :: Token -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Token) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Token) # gmapT :: (forall b. Data b => b -> b) -> Token -> Token # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Token -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Token -> r # gmapQ :: (forall d. Data d => d -> u) -> Token -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Token -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Token -> m Token # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Token -> m Token # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Token -> m Token #
Ord Token Source #
Methods compare :: Token -> Token -> Ordering # (<) :: Token -> Token -> Bool # (<=) :: Token -> Token -> Bool # (>) :: Token -> Token -> Bool # (>=) :: Token -> Token -> Bool # max :: Token -> Token -> Token # min :: Token -> Token -> Token #
Show Token Source #
Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #
Generic Token Source #
Associated Types type Rep Token :: * -> * # Methods from :: Token -> Rep Token x # to :: Rep Token x -> Token #
type Rep Token Source #
type Rep Token = D1 (MetaData "Token" "Language.CSPM.Token" "CSPM-Frontend-0.12.1.0-2XObDhQeBFNG5DmoldftgD" False) (C1 (MetaCons "Token" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "tokenId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TokenId)) (S1 (MetaSel (Just Symbol "tokenStart") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 AlexPosn))) ((::) (S1 (MetaSel (Just Symbol "tokenLen") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) ((::) (S1 (MetaSel (Just Symbol "tokenClass") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrimToken)) (S1 (MetaSel (Just Symbol "tokenString") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))

tokenSentinel :: Token Source #

showPosn :: AlexPosn -> String Source #

showToken :: Token -> String Source #