jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.TPTP.Lexer

Documentation

data Pos Source #

Constructors

Pos !Word !Word 
Instances
Show Pos Source # 
Instance details

Defined in Jukebox.TPTP.Lexer

Methods

showsPrec :: Int -> Pos -> ShowS #

show :: Pos -> String #

showList :: [Pos] -> ShowS #

data Token Source #

Constructors

Atom 

Fields

Defined 

Fields

Var 

Fields

DistinctObject 

Fields

Number 

Fields

Rational 

Fields

Real 

Fields

Punct 

Fields

Eof 
Error 
Instances
Show Token # 
Instance details

Defined in Jukebox.TPTP.Print

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #

Stream TokenStream Token Source # 
Instance details

Defined in Jukebox.TPTP.Parse.Core

Associated Types

type Position TokenStream :: * Source #

data Punct Source #

Instances
Eq Punct Source # 
Instance details

Defined in Jukebox.TPTP.Lexer

Methods

(==) :: Punct -> Punct -> Bool #

(/=) :: Punct -> Punct -> Bool #

Ord Punct Source # 
Instance details

Defined in Jukebox.TPTP.Lexer

Methods

compare :: Punct -> Punct -> Ordering #

(<) :: Punct -> Punct -> Bool #

(<=) :: Punct -> Punct -> Bool #

(>) :: Punct -> Punct -> Bool #

(>=) :: Punct -> Punct -> Bool #

max :: Punct -> Punct -> Punct #

min :: Punct -> Punct -> Punct #

Show Punct Source # 
Instance details

Defined in Jukebox.TPTP.Lexer

Methods

showsPrec :: Int -> Punct -> ShowS #

show :: Punct -> String #

showList :: [Punct] -> ShowS #

data Defined Source #

Constructors

DTrue 
DFalse 
DDistinct 
DItef 
DItet 
DO 
DI 
DTType 
Instances
Eq Defined Source # 
Instance details

Defined in Jukebox.TPTP.Lexer

Methods

(==) :: Defined -> Defined -> Bool #

(/=) :: Defined -> Defined -> Bool #

Ord Defined Source # 
Instance details

Defined in Jukebox.TPTP.Lexer

Show Defined Source # 
Instance details

Defined in Jukebox.TPTP.Lexer

data TokenStream Source #

Constructors

At !Pos !Contents 
Instances
Stream TokenStream Token Source # 
Instance details

Defined in Jukebox.TPTP.Parse.Core

Associated Types

type Position TokenStream :: * Source #

type Position TokenStream Source # 
Instance details

Defined in Jukebox.TPTP.Parse.Core

data Contents Source #

Constructors

Cons !Token TokenStream