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)

Methods

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

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

return :: a -> Parsec a a

fail :: String -> Parsec a a

Functor (Parsec a)

Methods

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

(<$) :: a -> Parsec a b -> Parsec a a

Applicative (Parsec a)

Methods

pure :: a -> Parsec a a

(<*>) :: Parsec a (a -> b) -> Parsec a a -> Parsec a b

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

(<*) :: Parsec a a -> Parsec a b -> Parsec a a

Alternative (Parsec a)

Methods

empty :: Parsec a a

(<|>) :: Parsec a a -> Parsec a a -> Parsec a a

some :: Parsec a a -> Parsec a [a]

many :: Parsec a a -> Parsec a [a]

MonadPlus (Parsec a)

Methods

mzero :: Parsec a a

mplus :: Parsec a a -> Parsec a a -> Parsec a 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

Minimal complete definition

primToken, position

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

Associated Types

type Position (UserState state a) :: *

Methods

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

position :: UserState state a -> Position (UserState state a)

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

Associated Types

type Position (UserState state a) :: *

Methods

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

position :: UserState state a -> Position (UserState state a)

type Position (UserState state a)

type Position (UserState state a) = UserState state a

getState :: Parsec (UserState state a) state

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

getPosition :: Stream a b => Parsec a (Position a)