ptera-0.1.0.0: A parser generator
Safe HaskellNone
LanguageHaskell2010

Language.Parser.Ptera.Runner.Parser

Documentation

type T = RunnerParser Source #

type StartNum = Int Source #

type StateNum = Int Source #

type TokenNum = Int Source #

type VarNum = Int Source #

type AltNum = Int Source #

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

Methods

showsPrec :: Int -> AltKind -> ShowS #

show :: AltKind -> String #

showList :: [AltKind] -> ShowS #

data RunnerParser ctx elem altHelp Source #

Constructors

RunnerParser 

Fields

class GrammarToken tokens elem where Source #

Methods

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

newtype ActionM ctx Source #

Constructors

ActionM 

Fields

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 #

getAction :: ActionTask ctx ctx Source #

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

failAction :: ActionTask ctx a Source #

data Trans Source #

Constructors

Trans 

Fields

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 #

data TransOp Source #

Constructors

TransOpEnter VarNum Bool StateNum 
TransOpPushBackpoint StateNum 
TransOpHandleNot AltNum 
TransOpShift 
TransOpReduce AltNum 

Instances

Instances details
Eq TransOp Source # 
Instance details

Defined in Language.Parser.Ptera.Runner.Parser

Methods

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

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

Show TransOp Source # 
Instance details

Defined in Language.Parser.Ptera.Runner.Parser

Methods

showsPrec :: Int -> TransOp -> ShowS #

show :: TransOp -> String #

showList :: [TransOp] -> ShowS #

eosToken :: TokenNum Source #