Safe Haskell	None
Language	Haskell2010

Language.Parser.Ptera.Machine.SRB

Documentation

type T = SRB Source #

data SRB start varDoc altDoc a Source #

Constructors

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

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 # (<$) :: a -> SRB start varDoc altDoc b -> SRB start varDoc altDoc a #
(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 # (/=) :: 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) Source #
Instance details 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 Source #

Constructors

StateNum Int

Instances

Instances details

Eq StateNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods (==) :: StateNum -> StateNum -> Bool # (/=) :: StateNum -> StateNum -> Bool #
Show StateNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods showsPrec :: Int -> StateNum -> ShowS # show :: StateNum -> String # showList :: [StateNum] -> ShowS #
Hashable StateNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods hashWithSalt :: Int -> StateNum -> Int # hash :: StateNum -> Int #
Alignable StateNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB

data MState Source #

Constructors

MState
Fields stateNum :: StateNum stateTrans :: T Trans stateAltItems :: [AltItem]

Instances

Instances details

Eq MState Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods (==) :: MState -> MState -> Bool # (/=) :: MState -> MState -> Bool #
Show MState Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods showsPrec :: Int -> MState -> ShowS # show :: MState -> String # showList :: [MState] -> ShowS #

data Trans Source #

Constructors

TransWithOps [TransOp] StateNum
TransReduce AltNum

Instances

Instances details

Eq Trans Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods (==) :: Trans -> Trans -> Bool # (/=) :: Trans -> Trans -> Bool #
Show Trans Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods showsPrec :: Int -> Trans -> ShowS # show :: Trans -> String # showList :: [Trans] -> ShowS #

data TransOp Source #

Constructors

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

Instances

Instances details

Eq TransOp Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods (==) :: TransOp -> TransOp -> Bool # (/=) :: TransOp -> TransOp -> Bool #
Show TransOp Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods showsPrec :: Int -> TransOp -> ShowS # show :: TransOp -> String # showList :: [TransOp] -> ShowS #
Generic TransOp Source #
Instance details 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 Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods hashWithSalt :: Int -> TransOp -> Int # hash :: TransOp -> Int #
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.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 Source #

Constructors

AltItem
Fields altItemAltNum :: AltNum altItemCurPos :: Position

Instances

Instances details

Eq AltItem Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods (==) :: AltItem -> AltItem -> Bool # (/=) :: AltItem -> AltItem -> Bool #
Show AltItem Source #
Instance details Defined in Language.Parser.Ptera.Machine.SRB Methods showsPrec :: Int -> AltItem -> ShowS # show :: AltItem -> String # showList :: [AltItem] -> ShowS #