Language.Parser.Ptera.Runner.Parser

Documentation

type T = RunnerParser

type StartNum = Int

type StateNum = Int

type TokenNum = Int

type VarNum = Int

type AltNum = Int

data AltKind

Constructors

AltSeq

AltNot

AltAnd

Instances

Eq AltKind

Defined in Language.Parser.Ptera.Machine.PEG

Methods

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

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

Show AltKind

Defined in Language.Parser.Ptera.Machine.PEG

Methods

showsPrec :: Int -> AltKind -> ShowS

show :: AltKind -> String

showList :: [AltKind] -> ShowS

data RunnerParser ctx elem altHelp

Constructors

RunnerParser

Fields

• parserInitial :: StartNum -> Maybe StateNum
• parserGetTokenNum :: elem -> TokenNum
• parserTrans :: StateNum -> TokenNum -> Trans
• parserAltKind :: AltNum -> AltKind
• parserStateHelp :: StateNum -> [(AltNum, Int)]
• parserAltHelp :: AltNum -> (StringLit, Maybe altHelp)
• parserAction :: AltNum -> ActionM ctx

class GrammarToken tokens elem where

Methods

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

newtype ActionM ctx

Constructors

ActionM

Fields

• runActionM :: [ReduceArgument] -> ActionTask ctx ReduceArgument

data ReduceArgument where

Constructors

ReduceArgument :: a -> ReduceArgument

newtype ActionTask ctx a

Constructors

ActionTask

Fields

• runActionTask :: ctx -> ActionTaskResult ctx a

Instances

Monad (ActionTask ctx)

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)

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)

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

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

failAction :: ActionTask ctx a

data Trans

Constructors

Trans

Fields

• transState :: StateNum
• transOps :: [TransOp]

Instances

Eq Trans

Defined in Language.Parser.Ptera.Runner.Parser

Methods

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

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

Show Trans

Defined in Language.Parser.Ptera.Runner.Parser

Methods

showsPrec :: Int -> Trans -> ShowS

show :: Trans -> String

showList :: [Trans] -> ShowS

data TransOp

Constructors

TransOpEnter VarNum Bool StateNum

TransOpPushBackpoint StateNum

TransOpHandleNot AltNum

TransOpShift

TransOpReduce AltNum

Instances

Eq TransOp

Defined in Language.Parser.Ptera.Runner.Parser

Methods

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

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

Show TransOp

Defined in Language.Parser.Ptera.Runner.Parser

Methods

showsPrec :: Int -> TransOp -> ShowS

show :: TransOp -> String

showList :: [TransOp] -> ShowS

eosToken :: TokenNum