ptera-0.1.0.0: A parser generator
Safe HaskellNone
LanguageHaskell2010

Language.Parser.Ptera.Runner.RunT

Documentation

type T = RunT Source #

newtype RunT ctx posMark elem altHelp m a Source #

Constructors

RunT 

Fields

Instances

Instances details
MonadTrans (RunT ctx posMark elem altHelp) Source # 
Instance details

Defined in Language.Parser.Ptera.Runner.RunT

Methods

lift :: Monad m => m a -> RunT ctx posMark elem altHelp m a #

Monad m => Monad (RunT ctx posMark elem altHelp m) Source # 
Instance details

Defined in Language.Parser.Ptera.Runner.RunT

Methods

(>>=) :: RunT ctx posMark elem altHelp m a -> (a -> RunT ctx posMark elem altHelp m b) -> RunT ctx posMark elem altHelp m b #

(>>) :: RunT ctx posMark elem altHelp m a -> RunT ctx posMark elem altHelp m b -> RunT ctx posMark elem altHelp m b #

return :: a -> RunT ctx posMark elem altHelp m a #

Functor m => Functor (RunT ctx posMark elem altHelp m) Source # 
Instance details

Defined in Language.Parser.Ptera.Runner.RunT

Methods

fmap :: (a -> b) -> RunT ctx posMark elem altHelp m a -> RunT ctx posMark elem altHelp m b #

(<$) :: a -> RunT ctx posMark elem altHelp m b -> RunT ctx posMark elem altHelp m a #

Monad m => Applicative (RunT ctx posMark elem altHelp m) Source # 
Instance details

Defined in Language.Parser.Ptera.Runner.RunT

Methods

pure :: a -> RunT ctx posMark elem altHelp m a #

(<*>) :: RunT ctx posMark elem altHelp m (a -> b) -> RunT ctx posMark elem altHelp m a -> RunT ctx posMark elem altHelp m b #

liftA2 :: (a -> b -> c) -> RunT ctx posMark elem altHelp m a -> RunT ctx posMark elem altHelp m b -> RunT ctx posMark elem altHelp m c #

(*>) :: RunT ctx posMark elem altHelp m a -> RunT ctx posMark elem altHelp m b -> RunT ctx posMark elem altHelp m b #

(<*) :: RunT ctx posMark elem altHelp m a -> RunT ctx posMark elem altHelp m b -> RunT ctx posMark elem altHelp m a #

runT :: forall ctx posMark elem altHelp m a. T posMark elem m => RunT ctx posMark elem altHelp m (ParseResult posMark altHelp a) Source #

data ParseResult posMark altHelp a Source #

Constructors

Parsed a 
ParseFailed posMark (FailedReason altHelp) 

Instances

Instances details
Functor (ParseResult posMark altHelp) Source # 
Instance details

Defined in Language.Parser.Ptera.Runner.RunT

Methods

fmap :: (a -> b) -> ParseResult posMark altHelp a -> ParseResult posMark altHelp b #

(<$) :: a -> ParseResult posMark altHelp b -> ParseResult posMark altHelp a #

(Show a, Show posMark, Show altHelp) => Show (ParseResult posMark altHelp a) Source # 
Instance details

Defined in Language.Parser.Ptera.Runner.RunT

Methods

showsPrec :: Int -> ParseResult posMark altHelp a -> ShowS #

show :: ParseResult posMark altHelp a -> String #

showList :: [ParseResult posMark altHelp a] -> ShowS #

data Context ctx posMark elem altHelp Source #

Constructors

Context 

Fields

initialContext :: T ctx elem altHelp -> ctx -> StartNum -> Maybe (Context ctx posMark elem altHelp) Source #