jukebox-0.1.2: A first-order reasoning toolbox

Safe Haskell	None

Jukebox.TPTP.Lexer

Documentation

scan :: ByteString -> TokenStream Source

data Pos Source

Constructors

Pos !Word !Word

Instances

Show Pos

data Token Source

Constructors

Atom
Fields keyword :: !Keyword name :: !ByteString
Defined
Fields defined :: !Defined
Var
Fields name :: !ByteString
DistinctObject
Fields name :: !ByteString
Number
Fields value :: !Integer
Punct
Fields kind :: !Punct
Eof
Error

Instances

Show Token
Stream TokenStream Token

data Punct Source

Instances

Eq Punct
Ord Punct
Show Punct

data Defined Source

Constructors

DTrue
DFalse
DEqual
DDistinct
DItef
DItet
DO
DI
DTType

Instances

Eq Defined
Ord Defined
Show Defined

data Keyword Source

Instances

Eq Keyword
Ord Keyword
Show Keyword

data TokenStream Source

Constructors

At !Pos !Contents

Instances

Stream TokenStream Token

data Contents Source

Constructors

Cons !Token TokenStream