Safe Haskell	None
Language	Haskell2010

Language.Parser.Ptera.Runner.RunT

Documentation

type T = RunT Source #

newtype RunT ctx posMark elem altHelp m a Source #

Constructors

RunT
Fields unRunT :: StateT (Context ctx posMark elem altHelp) m a

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 ctxParser :: T ctx elem altHelp ctxState :: StateNum ctxItemStack :: [Item posMark ctx] ctxLookAHeadToken :: Maybe (Position, posMark, TokenNum, Maybe elem) ctxNextPosition :: Position ctxDeepestError :: Maybe (Position, posMark, FailedReason altHelp) ctxMemoTable :: T Position (IntMap (MemoItem posMark)) ctxNeedBackItemsCount :: Int ctxCustomContext :: ctx

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

newtype Position Source #

Constructors

Position Int

Instances

Instances details

Eq Position Source #
Instance details Defined in Language.Parser.Ptera.Runner.RunT Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Ord Position Source #
Instance details Defined in Language.Parser.Ptera.Runner.RunT Methods compare :: Position -> Position -> Ordering # (<) :: Position -> Position -> Bool # (<=) :: Position -> Position -> Bool # (>) :: Position -> Position -> Bool # (>=) :: Position -> Position -> Bool # max :: Position -> Position -> Position # min :: Position -> Position -> Position #
Show Position Source #
Instance details Defined in Language.Parser.Ptera.Runner.RunT Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Alignable Position Source #
Instance details Defined in Language.Parser.Ptera.Runner.RunT