Copyright	(c) Karl Cronburg 2018
License	BSD3
Maintainer	karl@cs.tufts.edu
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Text.ANTLR.Lex

Description

Synopsis

tokenize :: forall s i n v. (Eq i, Ord s, Eq s, Show s, Show i, Show n, Show v, Hashable i, Hashable s) => [(n, DFA s i)] -> (Lexeme s -> n -> v) -> [s] -> [Token n v]
data Token n v
- = Token n v Int
- | EOF
- | Error Text
tokenName :: Token n v -> n
tokenValue :: Token n v -> v

Documentation

tokenize Source #

Arguments

:: (Eq i, Ord s, Eq s, Show s, Show i, Show n, Show v, Hashable i, Hashable s)
=> [(n, DFA s i)]	Association list of named DFAs.
-> (Lexeme s -> n -> v)	Constructs the value of a token from lexeme matched.
-> [s]	The input string.
-> [Token n v]	The tokenized tokens.

Entrypoint for tokenizing an input stream given a list of named DFAs that we can match on.

@dfaTuples@: converts from DFAs to the names associated with them in

the specification of the lexer.

@fncn@: function for constructing the value of a token from the lexeme

matched (e.g. varName) and the associated token name (e.g. id)

data Token n v Source #

Token with names n, values v, and number of input symbols consumed to match it.

Constructors

Token n v Int	Tokenized a token
EOF	The end-of-file token
Error Text	Error encountered while tokenizing

Instances

Eq n => Eq (Token n v) Source #
Instance details Defined in Text.ANTLR.Lex.Tokenizer Methods (==) :: Token n v -> Token n v -> Bool # (/=) :: Token n v -> Token n v -> Bool #
(Ord n, Ord v) => Ord (Token n v) Source #
Instance details Defined in Text.ANTLR.Lex.Tokenizer Methods compare :: Token n v -> Token n v -> Ordering # (<) :: Token n v -> Token n v -> Bool # (<=) :: Token n v -> Token n v -> Bool # (>) :: Token n v -> Token n v -> Bool # (>=) :: Token n v -> Token n v -> Bool # max :: Token n v -> Token n v -> Token n v # min :: Token n v -> Token n v -> Token n v #
(Show n, Show v) => Show (Token n v) Source #
Instance details Defined in Text.ANTLR.Lex.Tokenizer Methods showsPrec :: Int -> Token n v -> ShowS # show :: Token n v -> String # showList :: [Token n v] -> ShowS #
Generic (Token n v) Source #
Instance details Defined in Text.ANTLR.Lex.Tokenizer Associated Types type Rep (Token n v) :: Type -> Type # Methods from :: Token n v -> Rep (Token n v) x # to :: Rep (Token n v) x -> Token n v #
(Hashable n, Hashable v) => Hashable (Token n v) Source #
Instance details Defined in Text.ANTLR.Lex.Tokenizer Methods hashWithSalt :: Int -> Token n v -> Int # hash :: Token n v -> Int #
(Prettify n, Prettify v) => Prettify (Token n v) Source #
Instance details Defined in Text.ANTLR.Lex.Tokenizer Methods prettify :: Token n v -> Pretty Source # prettifyList :: [Token n v] -> Pretty Source #
Ref (Token n v) Source #	Tokens are symbolized by an icon containing their name.
Instance details Defined in Text.ANTLR.Parser Associated Types type Sym (Token n v) :: Type Source # Methods getSymbol :: Token n v -> Sym (Token n v) Source #
type Rep (Token n v) Source #
Instance details Defined in Text.ANTLR.Lex.Tokenizer type Rep (Token n v) = D1 (MetaData "Token" "Text.ANTLR.Lex.Tokenizer" "antlr-haskell-0.1.0.1-47wJxWjYxn91lXcjBVmKNu" False) (C1 (MetaCons "Token" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 n) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 v) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) :+: (C1 (MetaCons "EOF" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Error" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))
type Sym (Token n v) Source #
Instance details Defined in Text.ANTLR.Parser type Sym (Token n v) = TokenSymbol n

tokenName :: Token n v -> n Source #

Token Names are Input Symbols to the parser.

tokenValue :: Token n v -> v Source #

Get the value of a token, ignoring its name.