Language.Clafer.Front.LexClafer

Documentation

tok :: (Posn -> String -> Token) -> Posn -> String -> Token

share :: String -> String

data Tok

Constructors

TS !String !Int

TL !String

TI !String

TV !String

TD !String

TC !String

T_PosInteger !String

T_PosDouble !String

T_PosReal !String

T_PosString !String

T_PosIdent !String

T_PosLineComment !String

T_PosBlockComment !String

T_PosAlloy !String

T_PosChoco !String

Instances

Eq Tok

Methods

(==) :: Tok -> Tok -> Bool

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

Ord Tok

Methods

compare :: Tok -> Tok -> Ordering

(<) :: Tok -> Tok -> Bool

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

(>) :: Tok -> Tok -> Bool

(>=) :: Tok -> Tok -> Bool

max :: Tok -> Tok -> Tok

min :: Tok -> Tok -> Tok

Show Tok

Methods

showsPrec :: Int -> Tok -> ShowS

show :: Tok -> String

showList :: [Tok] -> ShowS

data Token

Constructors

PT Posn Tok

Err Posn

Instances

Eq Token

Methods

(==) :: Token -> Token -> Bool

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

Ord Token

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

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

tokenPos :: [Token] -> String

tokenPosn :: Token -> Posn

tokenLineCol :: Token -> (Int, Int)

posLineCol :: Posn -> (Int, Int)

mkPosToken :: Token -> ((Int, Int), String)

prToken :: Token -> String

data BTree

Constructors

N

B String Tok BTree BTree

Instances

Show BTree

Methods

showsPrec :: Int -> BTree -> ShowS

show :: BTree -> String

showList :: [BTree] -> ShowS

eitherResIdent :: (String -> Tok) -> String -> Tok

resWords :: BTree

unescapeInitTail :: String -> String

data Posn

Constructors

Pn !Int !Int !Int

Instances

Eq Posn

Methods

(==) :: Posn -> Posn -> Bool

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

Ord Posn

Methods

compare :: Posn -> Posn -> Ordering

(<) :: Posn -> Posn -> Bool

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

(>) :: Posn -> Posn -> Bool

(>=) :: Posn -> Posn -> Bool

max :: Posn -> Posn -> Posn

min :: Posn -> Posn -> Posn

Show Posn

Methods

showsPrec :: Int -> Posn -> ShowS

show :: Posn -> String

showList :: [Posn] -> ShowS

alexStartPos :: Posn

alexMove :: Posn -> Char -> Posn

type Byte = Word8

type AlexInput = (Posn, Char, [Byte], String)

tokens :: String -> [Token]

alexGetByte :: AlexInput -> Maybe (Byte, AlexInput)

alexInputPrevChar :: AlexInput -> Char

utf8Encode :: Char -> [Word8]

Encode a Haskell String to a list of Word8 values, in UTF8 format.

alex_action_1 :: Posn -> String -> Token

alex_action_2 :: Posn -> String -> Token

alex_action_3 :: Posn -> String -> Token

alex_action_4 :: Posn -> String -> Token

alex_action_5 :: Posn -> String -> Token

alex_action_6 :: Posn -> String -> Token

alex_action_7 :: Posn -> String -> Token

alex_action_8 :: Posn -> String -> Token

alex_action_9 :: Posn -> String -> Token

alex_action_10 :: Posn -> String -> Token

alex_action_11 :: Posn -> String -> Token

alex_tab_size :: Int

alex_base :: AlexAddr

alex_table :: AlexAddr

alex_check :: AlexAddr

alex_deflt :: AlexAddr

alex_accept :: Array Int (AlexAcc (Posn -> String -> Token) user)

alexIndexInt32OffAddr :: AlexAddr -> Int# -> Int#

quickIndex :: Array Int (AlexAcc (Posn -> String -> Token) (Any *)) -> Int -> AlexAcc (Posn -> String -> Token) (Any *)

data AlexReturn a

Constructors

AlexEOF

AlexError !AlexInput

AlexSkip !AlexInput !Int

AlexToken !AlexInput !Int a

alexScan :: (Posn, Char, [Byte], String) -> Int -> AlexReturn (Posn -> String -> Token)

alexScanUser :: t -> (Posn, Char, [Byte], String) -> Int -> AlexReturn (Posn -> String -> Token)

alex_scan_tkn :: t -> t1 -> Int# -> AlexInput -> Int# -> AlexLastAcc (Posn -> String -> Token) -> (AlexLastAcc (Posn -> String -> Token), (Posn, Char, [Byte], String))

data AlexAddr

Constructors

AlexA# Addr#

alexIndexInt16OffAddr :: AlexAddr -> Int# -> Int#

data AlexLastAcc a

Constructors

AlexNone

AlexLastAcc a !AlexInput !Int

AlexLastSkip !AlexInput !Int

Instances

Functor AlexLastAcc

Methods

fmap :: (a -> b) -> AlexLastAcc a -> AlexLastAcc b

(<$) :: a -> AlexLastAcc b -> AlexLastAcc a

data AlexAcc a user

Constructors

AlexAccNone

AlexAcc a

AlexAccSkip