Language.Futhark.Parser.Lexer.Wrapper

Utility definitions used by the lexer. None of the default Alex "wrappers" are precisely what we need. The code here is based on the "monad-bytestring" wrapper. The code here is completely Futhark-agnostic, and perhaps it can even serve as inspiration for other Alex lexer wrappers.

Documentation

runAlex :: Pos -> ByteString -> Alex a -> Either LexerError a

data Alex a

Instances

Applicative Alex

Defined in Language.Futhark.Parser.Lexer.Wrapper

Methods

pure :: a -> Alex a

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

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

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

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

Functor Alex

Defined in Language.Futhark.Parser.Lexer.Wrapper

Methods

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

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

Monad Alex

Defined in Language.Futhark.Parser.Lexer.Wrapper

Methods

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

(>>) :: Alex a -> Alex b -> Alex b

return :: a -> Alex a

type AlexInput = (Pos, Char, ByteString, Int64)

The input type. Contains:

1. current position
2. previous char
3. current input string
4. bytes consumed so far

alexInputPrevChar :: AlexInput -> Char

type Byte = Word8

data LexerError

Constructors

LexerError Loc Text

Instances

Show LexerError

Defined in Language.Futhark.Parser.Lexer.Wrapper

Methods

showsPrec :: Int -> LexerError -> ShowS

show :: LexerError -> String

showList :: [LexerError] -> ShowS

alexSetInput :: AlexInput -> Alex ()

alexGetInput :: Alex AlexInput

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

alexGetStartCode :: Alex Int

alexError :: Loc -> Text -> Alex a

alexGetPos :: Alex Pos