Safe Haskell	None
Language	Haskell2010

Jukebox.TPTP.Lexer

Documentation

scan :: String -> TokenStream Source #

data Pos Source #

Constructors

Pos !Word !Word

Instances

Instances details

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 keyword :: !Keyword tokenName :: !Symbol
Defined
Fields defined :: !Defined
Var
Fields tokenName :: !Symbol
DistinctObject
Fields tokenName :: !Symbol
Number
Fields value :: !Integer
Rational
Fields ratValue :: !Rational
Real
Fields ratValue :: !Rational
Punct
Fields kind :: !Punct
Eof
Error

Instances

Instances details

Show Token Source #

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
Instance details Defined in Jukebox.TPTP.Parse.Core type Position TokenStream = TokenStream

Methods

primToken :: TokenStream -> (TokenStream -> Token -> c) -> c -> (String -> c) -> c Source #

position :: TokenStream -> Position TokenStream Source #

data Punct Source #

Constructors

LParen
RParen
LBrack
RBrack
Comma
Dot
Or
And
Not
Iff
Implies
Follows
Xor
Nor
Nand
Eq
Neq
ForAll
Exists
Let
LetTerm
Colon
Times
Plus
FunArrow
Other !Symbol

Instances

Instances details

Show Punct Source #
Instance details Defined in Jukebox.TPTP.Lexer Methods showsPrec :: Int -> Punct -> ShowS # show :: Punct -> String # showList :: [Punct] -> ShowS #
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 #

showPunct :: Punct -> Symbol Source #

data Defined Source #

Constructors

DTrue
DFalse
DDistinct
DItef
DItet
DO
DI
DTType

Instances

Instances details

Show Defined Source #
Instance details Defined in Jukebox.TPTP.Lexer Methods showsPrec :: Int -> Defined -> ShowS # show :: Defined -> String # showList :: [Defined] -> ShowS #
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 Methods compare :: Defined -> Defined -> Ordering # (<) :: Defined -> Defined -> Bool # (<=) :: Defined -> Defined -> Bool # (>) :: Defined -> Defined -> Bool # (>=) :: Defined -> Defined -> Bool # max :: Defined -> Defined -> Defined # min :: Defined -> Defined -> Defined #

data Keyword Source #

Instances

Instances details

Show Keyword Source #
Instance details Defined in Jukebox.TPTP.Lexer Methods showsPrec :: Int -> Keyword -> ShowS # show :: Keyword -> String # showList :: [Keyword] -> ShowS #
Eq Keyword Source #
Instance details Defined in Jukebox.TPTP.Lexer Methods (==) :: Keyword -> Keyword -> Bool # (/=) :: Keyword -> Keyword -> Bool #
Ord Keyword Source #
Instance details Defined in Jukebox.TPTP.Lexer Methods compare :: Keyword -> Keyword -> Ordering # (<) :: Keyword -> Keyword -> Bool # (<=) :: Keyword -> Keyword -> Bool # (>) :: Keyword -> Keyword -> Bool # (>=) :: Keyword -> Keyword -> Bool # max :: Keyword -> Keyword -> Keyword # min :: Keyword -> Keyword -> Keyword #

data TokenStream Source #

Constructors

At !Pos !Contents

Instances

Instances details

Stream TokenStream Token Source #

Instance details

Defined in Jukebox.TPTP.Parse.Core

Associated Types

type Position TokenStream
Instance details Defined in Jukebox.TPTP.Parse.Core type Position TokenStream = TokenStream

Methods

primToken :: TokenStream -> (TokenStream -> Token -> c) -> c -> (String -> c) -> c Source #

position :: TokenStream -> Position TokenStream Source #

type Position TokenStream Source #

Instance details

Defined in Jukebox.TPTP.Parse.Core

type Position TokenStream = TokenStream

data Contents Source #

Constructors

Cons !Token TokenStream

Normal
Thf
Tff
Fof
Tcf
Cnf
Axiom
Hypothesis
Definition
Assumption
Lemma
Theorem
Conjecture
NegatedConjecture
Question
Plain
FiDomain
FiHypothesis
FiPredicates
Type
Unknown
Include