jukebox-0.2.11: A first-order reasoning toolbox
Jukebox.TPTP.Lexer
scan :: String -> TokenStream Source #
data Pos Source #
Constructors
Instances
Methods
showsPrec :: Int -> Pos -> ShowS #
show :: Pos -> String #
showList :: [Pos] -> ShowS #
data Token Source #
Fields
data Punct Source #
(==) :: Punct -> Punct -> Bool #
(/=) :: Punct -> Punct -> Bool #
compare :: Punct -> Punct -> Ordering #
(<) :: Punct -> Punct -> Bool #
(<=) :: Punct -> Punct -> Bool #
(>) :: Punct -> Punct -> Bool #
(>=) :: Punct -> Punct -> Bool #
max :: Punct -> Punct -> Punct #
min :: Punct -> Punct -> Punct #
showsPrec :: Int -> Punct -> ShowS #
show :: Punct -> String #
showList :: [Punct] -> ShowS #
data Defined Source #
(==) :: Defined -> Defined -> Bool #
(/=) :: Defined -> Defined -> Bool #
compare :: Defined -> Defined -> Ordering #
(<) :: Defined -> Defined -> Bool #
(<=) :: Defined -> Defined -> Bool #
(>) :: Defined -> Defined -> Bool #
(>=) :: Defined -> Defined -> Bool #
max :: Defined -> Defined -> Defined #
min :: Defined -> Defined -> Defined #
showsPrec :: Int -> Defined -> ShowS #
show :: Defined -> String #
showList :: [Defined] -> ShowS #
data Keyword Source #
(==) :: Keyword -> Keyword -> Bool #
(/=) :: Keyword -> Keyword -> Bool #
compare :: Keyword -> Keyword -> Ordering #
(<) :: Keyword -> Keyword -> Bool #
(<=) :: Keyword -> Keyword -> Bool #
(>) :: Keyword -> Keyword -> Bool #
(>=) :: Keyword -> Keyword -> Bool #
max :: Keyword -> Keyword -> Keyword #
min :: Keyword -> Keyword -> Keyword #
showsPrec :: Int -> Keyword -> ShowS #
show :: Keyword -> String #
showList :: [Keyword] -> ShowS #
data TokenStream Source #
data Contents Source #