Jukebox.TPTP.Parsec

Documentation

newtype Parsec a b

Constructors

Parsec

Fields

runParsec :: forall c. (b -> Reply a c -> a -> Reply a c) -> Reply a c -> a -> Reply a c

Instances

Monad (Parsec a)

Functor (Parsec a)

Applicative (Parsec a)

Alternative (Parsec a)

MonadPlus (Parsec a)

type Reply a b = [String] -> Result (Position a) b

data Result a b

Constructors

Ok a b

Error a String

Expected a [String]

parseError :: [String] -> Parsec a b

fatalError :: Stream a c => String -> Parsec a b

nonempty :: Parsec a b -> Parsec a b

skipSome :: Parsec a b -> Parsec a ()

skipMany :: Parsec a b -> Parsec a ()

(<?>) :: Parsec a b -> String -> Parsec a b infix 0

between :: Parsec a b -> Parsec a c -> Parsec a d -> Parsec a d

sepBy1 :: Parsec a b -> Parsec a c -> Parsec a [b]

run_ :: Stream a c => Parsec a b -> a -> Result (Position a) b

run :: Stream a c => (Position a -> [String]) -> Parsec a b -> a -> (Position a, Either [String] b)

expected :: [String] -> [String] -> [String]

class Stream a b | a -> b where

Associated Types

type Position a

Methods

primToken :: a -> (a -> b -> c) -> c -> (String -> c) -> c

position :: a -> Position a

Instances

Stream a b => Stream (UserState state a) b

next :: Stream a b => Parsec a b

cut :: Stream a b => Parsec a ()

cut' :: Stream a b => Parsec a c -> Parsec a c

satisfy :: Stream a b => (b -> Bool) -> Parsec a b

eof :: Stream a b => Parsec a ()

data UserState state stream

Constructors

UserState

Fields

userState :: !state

userStream :: !stream

Instances

Stream a b => Stream (UserState state a) b

type Position (UserState state a) = UserState state a

getState :: Parsec (UserState state a) state

putState :: state -> Parsec (UserState state a) ()