Scyther.Theory.Lexer
- alex_base :: AlexAddr
- alex_table :: AlexAddr
- alex_check :: AlexAddr
- alex_deflt :: AlexAddr
- data AlexReturn a
- data AlexLastAcc a
- = AlexNone
- | AlexLastAcc a !AlexInput !Int
- | AlexLastSkip !AlexInput !Int
- data AlexAcc a user
- = AlexAcc a
- | AlexAccSkip
- | AlexAccPred a (AlexAccPred user)
- | AlexAccSkipPred (AlexAccPred user)
- type AlexAccPred user = user -> AlexInput -> Int -> AlexInput -> Bool
- keyword :: Keyword -> AlexAction Keyword
- scanIdent :: AlexAction Keyword
- data Keyword
- = IDENT String
- | SQUOTE
- | DQUOTE
- | RIGHTARROW
- | LEFTARROW
- | LONGRIGHTARROW
- | LONGLEFTARROW
- | COMMA
- | DOT
- | COLON
- | QUESTIONMARK
- | AND
- | MID
- | DOLLAR
- | SHARP
- | LPAREN
- | RPAREN
- | LBRACKET
- | RBRACKET
- | LBRACE
- | RBRACE
- | TILDE
- | HAT
- | STAR
- | UNDERSCORE
- | MINUS
- | PLUS
- | EQUAL
- | LESS
- | GREATER
- | EOF
- | FORALL
- | EXISTS
- | LAND
- | LOR
- | LNOT
- | APPROX
- | DUMMY_KEYWORD
- type AlexInput = (AlexPosn, Char, String)
- alexInputPrevChar :: AlexInput -> Char
- alexGetChar :: AlexInput -> Maybe (Char, AlexInput)
- data AlexPosn = AlexPn !Int !Int !Int
- alexStartPos :: AlexPosn
- alexMove :: AlexPosn -> Char -> AlexPosn
- data AlexState = AlexState {}
- runAlex :: String -> Alex a -> Either String a
- newtype Alex a = Alex {}
- alexGetPos :: Alex AlexPosn
- alexGetInput :: Alex AlexInput
- alexSetInput :: AlexInput -> Alex ()
- alexError :: String -> Alex a
- alexGetStartCode :: Alex Int
- alexSetStartCode :: Int -> Alex ()
- alexGetOldStartCode :: Alex Int
- alexSetOldStartCode :: Int -> Alex ()
- alexGetComments :: Alex [String]
- alexSetComments :: [String] -> Alex ()
- type AlexAction result = AlexInput -> Int -> Alex result
- skip :: AlexAction Keyword
- begin :: Int -> AlexAction Keyword
- beginComment :: String -> Int -> AlexAction Keyword
- endComment :: String -> AlexAction Keyword
- alexEOF :: Alex Keyword
- comment :: Int
- data AlexAddr = AlexA# Addr#
Documentation
data AlexReturn a Source
data AlexLastAcc a Source
Constructors
| AlexNone | |
| AlexLastAcc a !AlexInput !Int | |
| AlexLastSkip !AlexInput !Int |
Constructors
| AlexAcc a | |
| AlexAccSkip | |
| AlexAccPred a (AlexAccPred user) | |
| AlexAccSkipPred (AlexAccPred user) |
keyword :: Keyword -> AlexAction KeywordSource
Lex a keyword
scanIdent :: AlexAction KeywordSource
Lex an identifier
Lexable Keywords
alexSetInput :: AlexInput -> Alex ()Source
alexSetStartCode :: Int -> Alex ()Source
alexSetOldStartCode :: Int -> Alex ()Source
alexSetComments :: [String] -> Alex ()Source
type AlexAction result = AlexInput -> Int -> Alex resultSource
begin :: Int -> AlexAction KeywordSource
beginComment :: String -> Int -> AlexAction KeywordSource
Begin a comment starting with the given sign.
endComment :: String -> AlexAction KeywordSource
End a comment that started with the given begin comment sign.