ptera-0.1.0.0: A parser generator
Safe HaskellNone
LanguageHaskell2010

Language.Parser.Ptera.Runner.Parser

Documentation

data AltKind #

Constructors

AltSeq 
AltNot 
AltAnd 

Instances

Instances details
Eq AltKind 
Instance details

Defined in Language.Parser.Ptera.Machine.PEG

Methods

(==) :: AltKind -> AltKind -> Bool #

(/=) :: AltKind -> AltKind -> Bool #

Show AltKind 
Instance details

Defined in Language.Parser.Ptera.Machine.PEG

class GrammarToken tokens elem where Source #

Methods

tokenToTerminal :: Proxy tokens -> elem -> T (TokensTag tokens) Source #

newtype ActionM ctx Source #

Constructors

ActionM 

data ReduceArgument where Source #

Constructors

ReduceArgument :: a -> ReduceArgument 

newtype ActionTask ctx a Source #

Constructors

ActionTask 

Fields

Instances

Instances details
Monad (ActionTask ctx) Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 #

modifyAction :: (ctx -> ctx) -> ActionTask ctx () Source #

data Trans Source #

Constructors

Trans 

Instances

Instances details
Eq Trans Source # 
Instance details

Defined in Language.Parser.Ptera.Runner.Parser

Methods

(==) :: Trans -> Trans -> Bool #

(/=) :: Trans -> Trans -> Bool #

Show Trans Source # 
Instance details

Defined in Language.Parser.Ptera.Runner.Parser

Methods

showsPrec :: Int -> Trans -> ShowS #

show :: Trans -> String #

showList :: [Trans] -> ShowS #