Language.Parser.Ptera.Runner

Documentation

type T = RunnerM

newtype RunnerM ctx rules elem initials

Constructors

UnsafeRunnerM

Fields

• unRunnerM :: T ctx elem ()

type Result posMark = ParseResult posMark ()

data ParseResult posMark altHelp a

Constructors

Parsed a

ParseFailed posMark (FailedReason altHelp)

Instances

Functor (ParseResult posMark altHelp)

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)

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))

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))