jukebox-0.1.2: A first-order reasoning toolbox
Jukebox.TPTP.Parsec
newtype Parsec a b Source
Constructors
Fields
Instances
type Reply a b = [String] -> Result (Position a) bSource
data Result a b Source
parseError :: [String] -> Parsec a bSource
fatalError :: Stream a c => String -> Parsec a bSource
nonempty :: Parsec a b -> Parsec a bSource
skipSome :: Parsec a b -> Parsec a ()Source
skipMany :: Parsec a b -> Parsec a ()Source
(<?>) :: Parsec a b -> String -> Parsec a bSource
between :: Parsec a b -> Parsec a c -> Parsec a d -> Parsec a dSource
sepBy1 :: Parsec a b -> Parsec a c -> Parsec a [b]Source
run_ :: Stream a c => Parsec a b -> a -> Result (Position a) bSource
run :: Stream a c => (Position a -> [String]) -> Parsec a b -> a -> (Position a, Either [String] b)Source
expected :: [String] -> [String] -> [String]Source
class Stream a b | a -> b whereSource
Associated Types
type Position a Source
Methods
primToken :: a -> (a -> b -> c) -> c -> (String -> c) -> cSource
position :: a -> Position aSource
next :: Stream a b => Parsec a bSource
cut :: Stream a b => Parsec a ()Source
cut' :: Stream a b => Parsec a c -> Parsec a cSource
satisfy :: Stream a b => (b -> Bool) -> Parsec a bSource
eof :: Stream a b => Parsec a ()Source
data UserState state stream Source
getState :: Parsec (UserState state a) stateSource
putState :: state -> Parsec (UserState state a) ()Source