Folly-0.2.0.1: A first order logic library in Haskell

Safe Haskell	Safe
Language	Haskell98

Folly.Lexer

Documentation

data Token Source

Instances

Eq Token Source
Show Token Source

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