Language.Parser.Ptera.Machine.SRB

Documentation

type T = SRB

data SRB start varDoc altDoc a

Constructors

SRB

Fields

• initials :: EnumMap start StateNum
• states :: T StateNum MState
• alts :: T AltNum (Alt altDoc a)
• vars :: T VarNum (Var varDoc)

Instances

Functor (SRB start varDoc altDoc)

Defined in Language.Parser.Ptera.Machine.SRB

Methods

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

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

(Eq a, Eq altDoc, Eq varDoc) => Eq (SRB start varDoc altDoc a)

Defined in Language.Parser.Ptera.Machine.SRB

Methods

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

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

(Enum start, Show start, Show a, Show altDoc, Show varDoc) => Show (SRB start varDoc altDoc a)

Defined in Language.Parser.Ptera.Machine.SRB

Methods

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

show :: SRB start varDoc altDoc a -> String

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

newtype StateNum

Constructors

StateNum Int

Instances

Eq StateNum

Defined in Language.Parser.Ptera.Machine.SRB

Methods

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

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

Show StateNum

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> StateNum -> ShowS

show :: StateNum -> String

showList :: [StateNum] -> ShowS

Hashable StateNum

Defined in Language.Parser.Ptera.Machine.SRB

Methods

hashWithSalt :: Int -> StateNum -> Int

hash :: StateNum -> Int

Alignable StateNum

Defined in Language.Parser.Ptera.Machine.SRB

data MState

Constructors

MState

Fields

• stateNum :: StateNum
• stateTrans :: T Trans
• stateAltItems :: [AltItem]

Instances

Eq MState

Defined in Language.Parser.Ptera.Machine.SRB

Methods

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

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

Show MState

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> MState -> ShowS

show :: MState -> String

showList :: [MState] -> ShowS

data Trans

Constructors

TransWithOps [TransOp] StateNum

TransReduce AltNum

Instances

Eq Trans

Defined in Language.Parser.Ptera.Machine.SRB

Methods

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

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

Show Trans

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> Trans -> ShowS

show :: Trans -> String

showList :: [Trans] -> ShowS

data TransOp

Constructors

TransOpEnter VarNum Bool (Maybe StateNum)

TransOpPushBackpoint StateNum

TransOpHandleNot AltNum

TransOpShift

Instances

Eq TransOp

Defined in Language.Parser.Ptera.Machine.SRB

Methods

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

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

Show TransOp

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> TransOp -> ShowS

show :: TransOp -> String

showList :: [TransOp] -> ShowS

Generic TransOp

Defined in Language.Parser.Ptera.Machine.SRB

Associated Types

type Rep TransOp :: Type -> Type

Methods

from :: TransOp -> Rep TransOp x

to :: Rep TransOp x -> TransOp

Hashable TransOp

Defined in Language.Parser.Ptera.Machine.SRB

Methods

hashWithSalt :: Int -> TransOp -> Int

hash :: TransOp -> Int

type Rep TransOp

Defined in Language.Parser.Ptera.Machine.SRB

type Rep TransOp = D1 ('MetaData "TransOp" "Language.Parser.Ptera.Machine.SRB" "ptera-core-0.1.0.0-B2cOneF57uN7NdEqXYYhKw" '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

Constructors

AltItem

Fields

• altItemAltNum :: AltNum
• altItemCurPos :: Position

Instances

Eq AltItem

Defined in Language.Parser.Ptera.Machine.SRB

Methods

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

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

Show AltItem

Defined in Language.Parser.Ptera.Machine.SRB

Methods

showsPrec :: Int -> AltItem -> ShowS

show :: AltItem -> String

showList :: [AltItem] -> ShowS