Ivory.Language.Syntax.Concrete.Lexer

Documentation

alex_tab_size :: Int

alex_base :: AlexAddr

alex_table :: AlexAddr

alex_check :: AlexAddr

alex_deflt :: AlexAddr

alex_accept :: Array Int (AlexAcc user)

alex_actions :: Array Int (AlexAction (Lexer (Maybe Lexeme)))

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

quickIndex :: Array Int (AlexAcc (Any :: *)) -> Int -> AlexAcc (Any :: *)

data AlexReturn a

Constructors

AlexEOF

AlexError !AlexInput

AlexSkip !AlexInput !Int

AlexToken !AlexInput !Int a

alexScan :: LexerInput -> Int -> AlexReturn (AlexAction (Lexer (Maybe Lexeme)))

alexScanUser :: t -> LexerInput -> Int -> AlexReturn (AlexAction (Lexer (Maybe Lexeme)))

alex_scan_tkn :: t1 -> t2 -> Int# -> AlexInput -> Int# -> AlexLastAcc -> (AlexLastAcc, LexerInput)

type AlexInput = LexerInput

data LexerInput

Constructors

LexerInput

Fields

• liPosn :: !Position
• liSource :: FilePath
• liChar :: !Char
• liBytes :: [Word8]
• liInput :: Text

Instances

Show LexerInput

Defined in Ivory.Language.Syntax.Concrete.Lexer

Methods

showsPrec :: Int -> LexerInput -> ShowS

show :: LexerInput -> String

showList :: [LexerInput] -> ShowS

initLexerInput :: FilePath -> Text -> LexerInput

mkRange :: LexerInput -> String -> SrcLoc

Build a range from the lexer state.

fillBuffer :: LexerInput -> Maybe LexerInput

alexInputPrevChar :: AlexInput -> Char

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

utf8Encode :: Char -> [Word8]

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

newtype Lexer a

Constructors

Lexer

Fields

• unLexer :: StateT LexerState Id a

Instances

Monad Lexer

Defined in Ivory.Language.Syntax.Concrete.Lexer

Methods

(>>=) :: Lexer a -> (a -> Lexer b) -> Lexer b

(>>) :: Lexer a -> Lexer b -> Lexer b

return :: a -> Lexer a

fail :: String -> Lexer a

Functor Lexer

Defined in Ivory.Language.Syntax.Concrete.Lexer

Methods

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

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

Applicative Lexer

Defined in Ivory.Language.Syntax.Concrete.Lexer

Methods

pure :: a -> Lexer a

(<*>) :: Lexer (a -> b) -> Lexer a -> Lexer b

liftA2 :: (a -> b -> c) -> Lexer a -> Lexer b -> Lexer c

(*>) :: Lexer a -> Lexer b -> Lexer b

(<*) :: Lexer a -> Lexer b -> Lexer a

StateM Lexer LexerState

Defined in Ivory.Language.Syntax.Concrete.Lexer

Methods

get :: Lexer LexerState

set :: LexerState -> Lexer ()

data LexerState

Constructors

LexerState

Fields

• lexerInput :: !LexerInput
• lexerState :: !Int

Instances

Show LexerState

Defined in Ivory.Language.Syntax.Concrete.Lexer

Methods

showsPrec :: Int -> LexerState -> ShowS

show :: LexerState -> String

showList :: [LexerState] -> ShowS

StateM Lexer LexerState

Defined in Ivory.Language.Syntax.Concrete.Lexer

Methods

get :: Lexer LexerState

set :: LexerState -> Lexer ()

scan :: FilePath -> Text -> [Lexeme]

alexSetInput :: AlexInput -> Lexer ()

alexGetInput :: Lexer AlexInput

alexGetStartCode :: Lexer Int

alexSetStartCode :: Int -> Lexer ()

type AlexAction result = AlexInput -> Int -> result

emitT :: Token -> AlexAction (Lexer (Maybe Lexeme))

Emit a token from the lexer

emitS :: (String -> Token) -> AlexAction (Lexer (Maybe Lexeme))

keyword :: AlexAction (Lexer (Maybe Lexeme))

begin :: Int -> AlexAction (Lexer (Maybe Lexeme))

alex_action_2 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_3 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_4 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_5 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_6 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_7 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_8 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_9 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_10 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_11 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_12 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_13 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_14 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_15 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_16 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_17 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_18 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_19 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_20 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_21 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_22 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_23 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_24 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_25 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_26 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_27 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_28 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_29 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_30 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_31 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_32 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_33 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_34 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_35 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_36 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_37 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_38 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_39 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_40 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_41 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_42 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_43 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_44 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_45 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_46 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_47 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_48 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_49 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_50 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_51 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_52 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_53 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_54 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_55 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_56 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_57 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_58 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_59 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_60 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_61 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_62 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_63 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_64 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_65 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_66 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_67 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_68 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_69 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_70 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_71 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_72 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_73 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_74 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_75 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_76 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_77 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_78 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_79 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_80 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_81 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_82 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_83 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_84 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_85 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_86 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_87 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_88 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_89 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_90 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_91 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_92 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_93 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_94 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_95 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_96 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_97 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_98 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_99 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_100 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_101 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_102 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_103 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_104 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_105 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_106 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_107 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_108 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_109 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_110 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_111 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_112 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_113 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_114 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_115 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_116 :: AlexAction (Lexer (Maybe Lexeme))

alex_action_117 :: AlexAction (Lexer (Maybe Lexeme))

data AlexAddr

Constructors

AlexA# Addr#

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

data AlexLastAcc

Constructors

AlexNone

AlexLastAcc !Int !AlexInput !Int

AlexLastSkip !AlexInput !Int

data AlexAcc user

Constructors

AlexAccNone

AlexAcc Int

AlexAccSkip