Language.Parser.Ptera.Runner.RunT

Documentation

type T = RunT

newtype RunT ctx posMark elem altHelp m a

Constructors

RunT

Fields

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

Instances

MonadTrans (RunT ctx posMark elem altHelp)

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)

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)

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)

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)

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

data Context ctx posMark elem altHelp

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)

newtype Position

Constructors

Position Int

Instances

Eq Position

Defined in Language.Parser.Ptera.Runner.RunT

Methods

(==) :: Position -> Position -> Bool

(/=) :: Position -> Position -> Bool

Ord Position

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

Defined in Language.Parser.Ptera.Runner.RunT

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

Alignable Position

Defined in Language.Parser.Ptera.Runner.RunT