Folly-0.1.5.1: A first order logic library in Haskell
Folly.Lexer
data Token Source
Instances
name :: Token -> String Source
isVar :: Token -> Bool Source
isPred :: Token -> Bool Source
pos :: Token -> SourcePos Source
testOp :: String -> Token Source
testVar :: String -> Token Source
testQuant :: String -> Token Source
testPred :: String -> Token Source
testSep :: String -> Token Source
lexer :: String -> Error [Token] Source