jukebox-0.2.6: A first-order reasoning toolbox

Safe Haskell	None
Language	Haskell98

Jukebox.TPTP.Lexer

Documentation

scan :: String -> TokenStream Source

data Pos Source

Constructors

Pos !Word !Word

Instances

Show Pos Source

data Token Source

Constructors

Atom
Fields keyword :: !Keyword tokenName :: !String
Defined
Fields defined :: !Defined
Var
Fields tokenName :: !String
DistinctObject
Fields tokenName :: !String
Number
Fields value :: !Integer
Rational
Fields ratValue :: !Rational
Real
Fields ratValue :: !Rational
Punct
Fields kind :: !Punct
Eof
Error

data Punct Source

Instances

Eq Punct Source
Ord Punct Source
Show Punct Source

data Defined Source

Constructors

DTrue
DFalse
DDistinct
DItef
DItet
DO
DI
DTType

Instances

Eq Defined Source
Ord Defined Source
Show Defined Source

data Keyword Source

Instances

Eq Keyword Source
Ord Keyword Source
Show Keyword Source

data TokenStream Source

Constructors

At !Pos !Contents

Instances

type Position TokenStream = TokenStream Source

data Contents Source

Constructors

Cons !Token TokenStream