Safe Haskell	None
Language	Haskell98

Jukebox.TPTP.Lexer

Documentation

Constructors

Instances

Show Pos Source #
Instance details Defined in Jukebox.TPTP.Lexer Methods showsPrec :: Int -> Pos -> ShowS # show :: Pos -> String # showList :: [Pos] -> ShowS #

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

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 # Methods primToken :: TokenStream -> (TokenStream -> Token -> c) -> c -> (String -> c) -> c Source # position :: TokenStream -> Position TokenStream 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 #

Constructors

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

Instances

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

Constructors

Instances

Stream TokenStream Token Source #
Instance details Defined in Jukebox.TPTP.Parse.Core Associated Types type Position TokenStream :: * Source # 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

Constructors