ptera-0.1.0.0: A parser generator
Safe HaskellNone
LanguageHaskell2010

Language.Parser.Ptera.Runner

Documentation

type T = RunnerM Source #

newtype RunnerM ctx rules elem initials Source #

Constructors

UnsafeRunnerM 

Fields

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 #