ptera-core-0.2.0.0: A parser generator
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Parser.Ptera.Machine.SRB

Documentation

type T = SRB Source #

data SRB start varDoc altDoc a Source #

Constructors

SRB 

Fields

Instances

Instances details
Functor (SRB start varDoc altDoc) Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

fmap :: (a -> b) -> SRB start varDoc altDoc a -> SRB start varDoc altDoc b Source #

(<$) :: a -> SRB start varDoc altDoc b -> SRB start varDoc altDoc a Source #

(Enum start, Show start, Show a, Show altDoc, Show varDoc) => Show (SRB start varDoc altDoc a) Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> SRB start varDoc altDoc a -> ShowS Source #

show :: SRB start varDoc altDoc a -> String Source #

showList :: [SRB start varDoc altDoc a] -> ShowS Source #

(Eq a, Eq altDoc, Eq varDoc) => Eq (SRB start varDoc altDoc a) Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

(==) :: SRB start varDoc altDoc a -> SRB start varDoc altDoc a -> Bool Source #

(/=) :: SRB start varDoc altDoc a -> SRB start varDoc altDoc a -> Bool Source #

newtype StateNum Source #

Constructors

StateNum Int 

Instances

Instances details
Show StateNum Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> StateNum -> ShowS Source #

show :: StateNum -> String Source #

showList :: [StateNum] -> ShowS Source #

Eq StateNum Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

(==) :: StateNum -> StateNum -> Bool Source #

(/=) :: StateNum -> StateNum -> Bool Source #

Hashable StateNum Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

hashWithSalt :: Int -> StateNum -> Int Source #

hash :: StateNum -> Int Source #

Alignable StateNum Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

data MState Source #

Constructors

MState 

Fields

Instances

Instances details
Show MState Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> MState -> ShowS Source #

show :: MState -> String Source #

showList :: [MState] -> ShowS Source #

Eq MState Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

(==) :: MState -> MState -> Bool Source #

(/=) :: MState -> MState -> Bool Source #

data Trans Source #

Constructors

TransWithOps [TransOp] StateNum 
TransReduce AltNum 

Instances

Instances details
Show Trans Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> Trans -> ShowS Source #

show :: Trans -> String Source #

showList :: [Trans] -> ShowS Source #

Eq Trans Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

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

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

data TransOp Source #

Constructors

TransOpEnter VarNum Bool (Maybe StateNum) 
TransOpPushBackpoint StateNum 
TransOpHandleNot AltNum 
TransOpShift 

Instances

Instances details
Generic TransOp Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Associated Types

type Rep TransOp :: Type -> Type Source #

Methods

from :: TransOp -> Rep TransOp x Source #

to :: Rep TransOp x -> TransOp Source #

Show TransOp Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> TransOp -> ShowS Source #

show :: TransOp -> String Source #

showList :: [TransOp] -> ShowS Source #

Eq TransOp Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

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

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

Hashable TransOp Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

hashWithSalt :: Int -> TransOp -> Int Source #

hash :: TransOp -> Int Source #

type Rep TransOp Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

type Rep TransOp = D1 ('MetaData "TransOp" "Language.Parser.Ptera.Machine.SRB" "ptera-core-0.2.0.0-9cGywgr2Ag47MapVrPOiaT" 'False) ((C1 ('MetaCons "TransOpEnter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VarNum) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe StateNum)))) :+: C1 ('MetaCons "TransOpPushBackpoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StateNum))) :+: (C1 ('MetaCons "TransOpHandleNot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AltNum)) :+: C1 ('MetaCons "TransOpShift" 'PrefixI 'False) (U1 :: Type -> Type)))

data AltItem Source #

Constructors

AltItem 

Fields

Instances

Instances details
Show AltItem Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> AltItem -> ShowS Source #

show :: AltItem -> String Source #

showList :: [AltItem] -> ShowS Source #

Eq AltItem Source # 
Instance details

Defined in Language.Parser.Ptera.Machine.SRB

Methods

(==) :: AltItem -> AltItem -> Bool Source #

(/=) :: AltItem -> AltItem -> Bool Source #