Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Parser.Ptera.Runner.Parser
Documentation
type T = RunnerParser Source #
Instances
data RunnerParser ctx elem altHelp Source #
Constructors
RunnerParser | |
Fields
|
class GrammarToken tokens elem where Source #
Constructors
ActionM | |
Fields
|
data ReduceArgument where Source #
Constructors
ReduceArgument :: a -> ReduceArgument |
newtype ActionTask ctx a Source #
Constructors
ActionTask | |
Fields
|
Instances
Monad (ActionTask ctx) Source # | |
Defined in Language.Parser.Ptera.Syntax Methods (>>=) :: ActionTask ctx a -> (a -> ActionTask ctx b) -> ActionTask ctx b # (>>) :: ActionTask ctx a -> ActionTask ctx b -> ActionTask ctx b # return :: a -> ActionTask ctx a # | |
Functor (ActionTask ctx) Source # | |
Defined in Language.Parser.Ptera.Syntax Methods fmap :: (a -> b) -> ActionTask ctx a -> ActionTask ctx b # (<$) :: a -> ActionTask ctx b -> ActionTask ctx a # | |
Applicative (ActionTask ctx) Source # | |
Defined in Language.Parser.Ptera.Syntax Methods pure :: a -> ActionTask ctx a # (<*>) :: ActionTask ctx (a -> b) -> ActionTask ctx a -> ActionTask ctx b # liftA2 :: (a -> b -> c) -> ActionTask ctx a -> ActionTask ctx b -> ActionTask ctx c # (*>) :: ActionTask ctx a -> ActionTask ctx b -> ActionTask ctx b # (<*) :: ActionTask ctx a -> ActionTask ctx b -> ActionTask ctx a # |
getAction :: ActionTask ctx ctx Source #
modifyAction :: (ctx -> ctx) -> ActionTask ctx () Source #
failAction :: ActionTask ctx a Source #
Constructors
Trans | |
Fields
|
Constructors
TransOpEnter VarNum Bool StateNum | |
TransOpPushBackpoint StateNum | |
TransOpHandleNot AltNum | |
TransOpShift | |
TransOpReduce AltNum |