Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
scan :: String -> TokenStream Source #
Instances
Show Token Source # | |
Stream TokenStream Token Source # | |
Defined in Jukebox.TPTP.Parse.Core type Position TokenStream Source # primToken :: TokenStream -> (TokenStream -> Token -> c) -> c -> (String -> c) -> c Source # |
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 |
Normal | |
Thf | |
Tff | |
Fof | |
Tcf | |
Cnf | |
Axiom | |
Hypothesis | |
Definition | |
Assumption | |
Lemma | |
Theorem | |
Conjecture | |
NegatedConjecture | |
Question | |
Plain | |
FiDomain | |
FiHypothesis | |
FiPredicates | |
Type | |
Unknown | |
Include |
data TokenStream Source #
Instances
Stream TokenStream Token Source # | |
Defined in Jukebox.TPTP.Parse.Core type Position TokenStream Source # primToken :: TokenStream -> (TokenStream -> Token -> c) -> c -> (String -> c) -> c Source # | |
type Position TokenStream Source # | |
Defined in Jukebox.TPTP.Parse.Core |