Language.SMTLIB.Lexer

Documentation

data Token

Constructors

Numeral Integer

Decimal Double

Hex String

Bin String

String String

Symbol String

Keyword String

LeftParen

RightParen

Instances

Eq Token

Show Token

lexSMTLIB :: String -> [Token]

alexScanTokens :: String -> [Token]

alexAndPred :: (t -> t1 -> t2 -> t3 -> Bool) -> (t -> t1 -> t2 -> t3 -> Bool) -> t -> t1 -> t2 -> t3 -> Bool

alexPrevCharIs :: Eq a => a -> t -> (a, t3) -> t1 -> t2 -> Bool

alexPrevCharIsOneOf :: Ix i => Array i e -> t -> (i, t3) -> t1 -> t2 -> e

alexRightContext :: Int -> Any -> t -> t1 -> AlexInput -> Bool

iUnbox :: Int -> Int#

alexInputPrevChar :: (t, t1) -> t