Safe Haskell	Safe-Inferred

Lexer

Synopsis

utf8Encode :: Char -> [Word8]
utf8Encode' :: Char -> (Word8, [Word8])
type Byte = Word8
type AlexInput = (AlexPosn, Char, [Byte], String)
ignorePendingBytes :: AlexInput -> AlexInput
alexInputPrevChar :: AlexInput -> Char
alexGetByte :: AlexInput -> Maybe (Byte, AlexInput)
data AlexPosn = AlexPn !Int !Int !Int
alexStartPos :: AlexPosn
alexMove :: AlexPosn -> Char -> AlexPosn
alex_tab_size :: Int
alex_base :: Array Int Int
alex_table :: Array Int Int
alex_check :: Array Int Int
alex_deflt :: Array Int Int
alex_accept :: Array Int (AlexAcc user)
alex_actions :: Array Int (AlexPosn -> String -> (AlexPosn, Token))
alex_action_2 :: a -> p -> (a, Token)
alex_action_3 :: a -> p -> (a, Token)
alex_action_4 :: a -> p -> (a, Token)
alex_action_5 :: a -> p -> (a, Token)
alex_action_6 :: a -> p -> (a, Token)
alex_action_7 :: a -> p -> (a, Token)
alex_action_8 :: a -> p -> (a, Token)
alex_action_9 :: a -> p -> (a, Token)
alex_action_10 :: a -> p -> (a, Token)
alex_action_11 :: a -> p -> (a, Token)
alex_action_12 :: a -> p -> (a, Token)
alex_action_13 :: a -> p -> (a, Token)
alex_action_14 :: a -> p -> (a, Token)
alex_action_15 :: a -> p -> (a, Token)
alex_action_16 :: a -> p -> (a, Token)
alex_action_17 :: a -> p -> (a, Token)
alex_action_18 :: a -> p -> (a, Token)
alex_action_19 :: a -> p -> (a, Token)
alex_action_20 :: a -> p -> (a, Token)
alex_action_21 :: a -> p -> (a, Token)
alex_action_22 :: a -> p -> (a, Token)
alex_action_23 :: a -> p -> (a, Token)
alex_action_24 :: a -> p -> (a, Token)
alex_action_25 :: a -> p -> (a, Token)
alex_action_26 :: a -> p -> (a, Token)
alex_action_27 :: a -> p -> (a, Token)
alex_action_28 :: a -> p -> (a, Token)
alex_action_29 :: a -> p -> (a, Token)
alex_action_30 :: a -> p -> (a, Token)
alex_action_31 :: a -> p -> (a, Token)
alex_action_32 :: a -> p -> (a, Token)
alex_action_33 :: a -> p -> (a, Token)
alex_action_34 :: a -> p -> (a, Token)
alex_action_35 :: a -> String -> (a, Token)
alex_action_36 :: a -> String -> (a, Token)
alex_action_37 :: a -> String -> (a, Token)
alex_action_38 :: a -> String -> (a, Token)
alex_action_39 :: a -> String -> (a, Token)
alex_action_40 :: a -> p -> (a, Token)
alex_action_41 :: AlexPosn -> [Char] -> a
alexIndexInt16OffAddr :: Array Int e -> Int -> e
alexIndexInt32OffAddr :: Array Int e -> Int -> e
quickIndex :: Array Int e -> Int -> e
data AlexReturn a
- = AlexEOF
- | AlexError !AlexInput
- | AlexSkip !AlexInput !Int
- | AlexToken !AlexInput !Int a
alexScan :: AlexInput -> Int -> AlexReturn (AlexPosn -> String -> (AlexPosn, Token))
alexScanUser :: t -> AlexInput -> Int -> AlexReturn (AlexPosn -> String -> (AlexPosn, Token))
alex_scan_tkn :: t -> t -> Int -> AlexInput -> Int -> AlexLastAcc -> (AlexLastAcc, AlexInput)
data AlexLastAcc
- = AlexNone
- | AlexLastAcc !Int !AlexInput !Int
- | AlexLastSkip !AlexInput !Int
data AlexAcc user
- = AlexAccNone
- | AlexAcc Int
- | AlexAccSkip
data Token
- = TokenLet
- | TokenIn
- | TokenIf
- | TokenThen
- | TokenElse
- | TokenCase
- | TokenOf
- | TokenNot
- | TokenBool Bool
- | TokenArrow
- | TokenEq
- | TokenNeq
- | TokenLe
- | TokenGe
- | TokenLt
- | TokenGt
- | TokenAnd
- | TokenOr
- | TokenPlus
- | TokenMinus
- | TokenTimes
- | TokenDiv
- | TokenMod
- | TokenEquals
- | TokenBackslash
- | TokenUnderscore
- | TokenLParen
- | TokenRParen
- | TokenLBracket
- | TokenRBracket
- | TokenComma
- | TokenSemi
- | TokenInt Int
- | TokenFloat Double
- | TokenChar Char
- | TokenString String
- | TokenIdent String
type PosnToken = (AlexPosn, Token)
alexScanTokens :: String -> [PosnToken]

Documentation

utf8Encode :: Char -> [Word8] Source #

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

utf8Encode' :: Char -> (Word8, [Word8]) Source #

type Byte = Word8 Source #

type AlexInput = (AlexPosn, Char, [Byte], String) Source #

ignorePendingBytes :: AlexInput -> AlexInput Source #

alexInputPrevChar :: AlexInput -> Char Source #

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

data AlexPosn Source #

Constructors

AlexPn !Int !Int !Int

Instances

Instances details

Show AlexPosn Source #
Instance details Defined in Lexer Methods showsPrec :: Int -> AlexPosn -> ShowS show :: AlexPosn -> String showList :: [AlexPosn] -> ShowS
Eq AlexPosn Source #
Instance details Defined in Lexer Methods (==) :: AlexPosn -> AlexPosn -> Bool (/=) :: AlexPosn -> AlexPosn -> Bool
Ord AlexPosn Source #
Instance details Defined in Lexer 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

alexStartPos :: AlexPosn Source #

alexMove :: AlexPosn -> Char -> AlexPosn Source #

alex_tab_size :: Int Source #

alex_base :: Array Int Int Source #

alex_table :: Array Int Int Source #

alex_check :: Array Int Int Source #

alex_deflt :: Array Int Int Source #

alex_accept :: Array Int (AlexAcc user) Source #

alex_actions :: Array Int (AlexPosn -> String -> (AlexPosn, Token)) Source #

alex_action_2 :: a -> p -> (a, Token) Source #

alex_action_3 :: a -> p -> (a, Token) Source #

alex_action_4 :: a -> p -> (a, Token) Source #

alex_action_5 :: a -> p -> (a, Token) Source #

alex_action_6 :: a -> p -> (a, Token) Source #

alex_action_7 :: a -> p -> (a, Token) Source #

alex_action_8 :: a -> p -> (a, Token) Source #

alex_action_9 :: a -> p -> (a, Token) Source #

alex_action_10 :: a -> p -> (a, Token) Source #

alex_action_11 :: a -> p -> (a, Token) Source #

alex_action_12 :: a -> p -> (a, Token) Source #

alex_action_13 :: a -> p -> (a, Token) Source #

alex_action_14 :: a -> p -> (a, Token) Source #

alex_action_15 :: a -> p -> (a, Token) Source #

alex_action_16 :: a -> p -> (a, Token) Source #

alex_action_17 :: a -> p -> (a, Token) Source #

alex_action_18 :: a -> p -> (a, Token) Source #

alex_action_19 :: a -> p -> (a, Token) Source #

alex_action_20 :: a -> p -> (a, Token) Source #

alex_action_21 :: a -> p -> (a, Token) Source #

alex_action_22 :: a -> p -> (a, Token) Source #

alex_action_23 :: a -> p -> (a, Token) Source #

alex_action_24 :: a -> p -> (a, Token) Source #

alex_action_25 :: a -> p -> (a, Token) Source #

alex_action_26 :: a -> p -> (a, Token) Source #

alex_action_27 :: a -> p -> (a, Token) Source #

alex_action_28 :: a -> p -> (a, Token) Source #

alex_action_29 :: a -> p -> (a, Token) Source #

alex_action_30 :: a -> p -> (a, Token) Source #

alex_action_31 :: a -> p -> (a, Token) Source #

alex_action_32 :: a -> p -> (a, Token) Source #

alex_action_33 :: a -> p -> (a, Token) Source #

alex_action_34 :: a -> p -> (a, Token) Source #

alex_action_35 :: a -> String -> (a, Token) Source #

alex_action_36 :: a -> String -> (a, Token) Source #

alex_action_37 :: a -> String -> (a, Token) Source #

alex_action_38 :: a -> String -> (a, Token) Source #

alex_action_39 :: a -> String -> (a, Token) Source #

alex_action_40 :: a -> p -> (a, Token) Source #

alex_action_41 :: AlexPosn -> [Char] -> a Source #

alexIndexInt16OffAddr :: Array Int e -> Int -> e Source #

alexIndexInt32OffAddr :: Array Int e -> Int -> e Source #

quickIndex :: Array Int e -> Int -> e Source #

data AlexReturn a Source #

Constructors

AlexEOF
AlexError !AlexInput
AlexSkip !AlexInput !Int
AlexToken !AlexInput !Int a

alexScan :: AlexInput -> Int -> AlexReturn (AlexPosn -> String -> (AlexPosn, Token)) Source #

alexScanUser :: t -> AlexInput -> Int -> AlexReturn (AlexPosn -> String -> (AlexPosn, Token)) Source #

alex_scan_tkn :: t -> t -> Int -> AlexInput -> Int -> AlexLastAcc -> (AlexLastAcc, AlexInput) Source #

data AlexLastAcc Source #

Constructors

AlexNone
AlexLastAcc !Int !AlexInput !Int
AlexLastSkip !AlexInput !Int

data AlexAcc user Source #

Constructors

AlexAccNone
AlexAcc Int
AlexAccSkip

data Token Source #

Instances

Instances details

Show Token Source #
Instance details Defined in Lexer Methods showsPrec :: Int -> Token -> ShowS show :: Token -> String showList :: [Token] -> ShowS
Eq Token Source #
Instance details Defined in Lexer Methods (==) :: Token -> Token -> Bool (/=) :: Token -> Token -> Bool

type PosnToken = (AlexPosn, Token) Source #

alexScanTokens :: String -> [PosnToken] Source #

TokenLet
TokenIn
TokenIf
TokenThen
TokenElse
TokenCase
TokenOf
TokenNot
TokenBool Bool
TokenArrow
TokenEq
TokenNeq
TokenLe
TokenGe
TokenLt
TokenGt
TokenAnd
TokenOr
TokenPlus
TokenMinus
TokenTimes
TokenDiv
TokenMod
TokenEquals
TokenBackslash
TokenUnderscore
TokenLParen
TokenRParen
TokenLBracket
TokenRBracket
TokenComma
TokenSemi
TokenInt Int
TokenFloat Double
TokenChar Char
TokenString String
TokenIdent String