Agda.Syntax.Parser.LexActions · Agda-2.7.0.1

Main function

1 declaration

valuelexToken :: Parser Token

Scan the input to find the next token. Calls alexScanUser. This is the main lexing function where all the work happens. The function lexer, used by the parser is the continuation version of this function.

Lex actions

0 declarations

General actions

valuetoken :: (String -> Parser tok) -> LexAction tok

#

The most general way of parsing a token.

valuewithInterval :: ((Interval, String) -> tok) -> LexAction tok

#

Parse a token from an Interval and the lexed string.

valuewithInterval' :: (String -> a) -> ((Interval, a) -> tok) -> LexAction tok

#

Like withInterval, but applies a function to the string.

valuewithInterval_ :: (Interval -> r) -> LexAction r

#

Return a token without looking at the lexed string.

valuewithLayout :: Keyword -> LexAction r -> LexAction r

#

Executed for layout keywords. Enters the layout state and performs the given action.

valueandThen :: Parser () -> LexAction r -> LexAction r

#

Prepend some parser manipulation to an action.

valueskip :: LexAction Token

#

Throw away the current lexeme.

valuebegin :: LexState -> LexAction Token

#

Enter a new state without consuming any input.

valueend :: LexAction Token

#

Exit the current state without consuming any input.

valuebeginWith :: LexState -> LexAction a -> LexAction a

#

Enter a new state and perform the given action.

valueendWith :: LexAction a -> LexAction a

#

Exit the current state and perform the given action.

valuebegin_ :: LexState -> LexAction Token

#

Enter a new state throwing away the current lexeme.

valueend_ :: LexAction Token

#

Exit the current state throwing away the current lexeme.

valuelexError :: String -> Parser a

#

For lexical errors we want to report the current position as the site of the error, whereas for parse errors the previous position is the one we're interested in (since this will be the position of the token we just lexed). This function does parseErrorAt the current position.