Safe Haskell	None
Language	Haskell2010

Language.Parser.Ptera.Runner

Documentation

type T = RunnerM Source #

newtype RunnerM ctx rules elem initials Source #

Constructors

UnsafeRunnerM
Fields unRunnerM :: T ctx elem ()

type Result posMark = ParseResult posMark () 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 #

runParserM :: forall v initials ctx posMark m rules elem proxy. Member initials v => T posMark elem m => proxy v -> RunnerM ctx rules elem initials -> ctx -> m (Result posMark (RuleExprReturnType rules v)) Source #

runParser :: forall v initials posMark m rules elem proxy. Member initials v => T posMark elem m => proxy v -> Runner rules elem initials -> m (Result posMark (RuleExprReturnType rules v)) Source #