jukebox-0.5.6: A first-order reasoning toolbox

Safe Haskell	Safe-Inferred
Language	Haskell2010

Jukebox.TPTP.Parsec

Documentation

newtype Parsec a b Source #

Constructors

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

Instances

Instances details

MonadFail (Parsec a) Source #
Instance details Defined in Jukebox.TPTP.Parsec Methods fail :: String -> Parsec a a0 #
Alternative (Parsec a) Source #
Instance details Defined in Jukebox.TPTP.Parsec Methods empty :: Parsec a a0 # (<\|>) :: Parsec a a0 -> Parsec a a0 -> Parsec a a0 # some :: Parsec a a0 -> Parsec a [a0] # many :: Parsec a a0 -> Parsec a [a0] #
Applicative (Parsec a) Source #
Instance details Defined in Jukebox.TPTP.Parsec Methods pure :: a0 -> Parsec a a0 # (<>) :: Parsec a (a0 -> b) -> Parsec a a0 -> Parsec a b # liftA2 :: (a0 -> b -> c) -> Parsec a a0 -> Parsec a b -> Parsec a c # (>) :: Parsec a a0 -> Parsec a b -> Parsec a b # (<*) :: Parsec a a0 -> Parsec a b -> Parsec a a0 #
Functor (Parsec a) Source #
Instance details Defined in Jukebox.TPTP.Parsec Methods fmap :: (a0 -> b) -> Parsec a a0 -> Parsec a b # (<$) :: a0 -> Parsec a b -> Parsec a a0 #
Monad (Parsec a) Source #
Instance details Defined in Jukebox.TPTP.Parsec Methods (>>=) :: Parsec a a0 -> (a0 -> Parsec a b) -> Parsec a b # (>>) :: Parsec a a0 -> Parsec a b -> Parsec a b # return :: a0 -> Parsec a a0 #
MonadPlus (Parsec a) Source #
Instance details Defined in Jukebox.TPTP.Parsec Methods mzero :: Parsec a a0 # mplus :: Parsec a a0 -> Parsec a a0 -> Parsec a a0 #

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

data Result a b Source #

Constructors

Ok a b
Error a String
Expected a [String]

parseError :: [String] -> Parsec a b Source #

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

nonempty :: Parsec a b -> Parsec a b Source #

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

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

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

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

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

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

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 where Source #

Associated Types

type Position a Source #

Methods

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

position :: a -> Position a Source #

Instances

Instances details

Stream TokenStream Token Source #

Instance details

Defined in Jukebox.TPTP.Parse.Core

Associated Types

type Position TokenStream
Instance details Defined in Jukebox.TPTP.Parse.Core type Position TokenStream = TokenStream

Methods

primToken :: TokenStream -> (TokenStream -> Token -> c) -> c -> (String -> c) -> c Source #

position :: TokenStream -> Position TokenStream Source #

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

Instance details

Defined in Jukebox.TPTP.Parsec

Associated Types

type Position (UserState state a)
Instance details Defined in Jukebox.TPTP.Parsec type Position (UserState state a) = UserState state a

Methods

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

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

next :: Stream a b => Parsec a b Source #

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

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

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

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

data UserState state stream Source #

Constructors

UserState
Fields userState :: !state userStream :: !stream

Instances

Instances details

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

Instance details

Defined in Jukebox.TPTP.Parsec

Associated Types

type Position (UserState state a)
Instance details Defined in Jukebox.TPTP.Parsec type Position (UserState state a) = UserState state a

Methods

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

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

type Position (UserState state a) Source #

Instance details

Defined in Jukebox.TPTP.Parsec

type Position (UserState state a) = UserState state a

getState :: Parsec (UserState state a) state Source #

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

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