Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq

4 types
23 values

Packageouroboros-consensus-4.2.1.0
Exports27
LicenceApache-2.0

valueanchor :: LedgerSeq m l blk -> l blk EmptyMK

valueanchorHandle :: LedgerSeq m l blk -> StateRef m l blk

valuecloseLedgerSeq :: Monad m => LedgerSeq m l blk -> m ()

valuecurrent :: GetTip (l blk) => LedgerSeq m l blk -> l blk EmptyMK

valuecurrentHandle :: GetTip (l blk) => LedgerSeq m l blk -> StateRef m l blk

valueempty

:: (GetTip (l blk), IOLike m)
=> l blk EmptyMK
-> init
-> init -> m (LedgerTablesHandle m l blk)
-> m (LedgerSeq m l blk)

valueempty'

:: (GetTip (l blk), IOLike m, HasLedgerTables l blk)
=> l blk ValuesMK
-> l blk ValuesMK -> m (LedgerTablesHandle m l blk)
-> m (LedgerSeq m l blk)

valueextend

:: GetTip (l blk)
=> StateRef m l blk
-> LedgerSeq m l blk
-> LedgerSeq m l blk

valuegetPastLedgerAt

:: (HasHeader blk, GetTip (l blk), HeaderHash (l blk) ~ HeaderHash blk, StandardHash (l blk))
=> Point blk
-> LedgerSeq m l blk
-> Maybe (l blk EmptyMK)

valueimmutableTipSlot :: GetTip (l blk) => LedgerSeq m l blk -> WithOrigin SlotNo

valueisSaturated :: GetTip (l blk) => SecurityParam -> LedgerSeq m l blk -> Bool

valuemaxRollback :: GetTip (l blk) => LedgerSeq m l blk -> Word64

valueprune

:: (Monad m, GetTip (l blk))
=> LedgerDbPrune
-> LedgerSeq m l blk
-> (m (), LedgerSeq m l blk)

valuepruneToImmTipOnly

:: (Monad m, GetTip (l blk))
=> LedgerSeq m l blk
-> (m (), LedgerSeq m l blk)

valuereapplyBlock

:: (ApplyBlock l blk, IOLike m)
=> ComputeLedgerEvents
-> LedgerCfg l blk
-> blk
-> LedgerSeq m l blk
-> m (StateRef m l blk)

valuereapplyThenPush

:: (IOLike m, ApplyBlock l blk)
=> LedgerDbCfg l blk
-> blk
-> LedgerSeq m l blk
-> m (LedgerSeq m l blk)

valuerollback

:: (HasHeader blk, GetTip (l blk), HeaderHash (l blk) ~ HeaderHash blk, StandardHash (l blk))
=> Point blk
-> LedgerSeq m l blk
-> Maybe (LedgerSeq m l blk)

valuerollbackN

:: GetTip (l blk)
=> Word64
-> LedgerSeq m l blk
-> Maybe (LedgerSeq m l blk)

valuerollbackToAnchor :: GetTip (l blk) => LedgerSeq m l blk -> LedgerSeq m l blk

valuerollbackToPoint

:: (StandardHash (l blk), GetTip (l blk))
=> Point (l blk)
-> LedgerSeq m l blk
-> Maybe (LedgerSeq m l blk)

valuesnapshots :: LedgerSeq m l blk -> [(Word64, l blk EmptyMK)]

valuetip :: GetTip (l blk) => LedgerSeq m l blk -> Point (l blk)

valuevolatileStatesBimap

:: Anchorable (WithOrigin SlotNo) a b
=> l blk EmptyMK -> a
-> l blk EmptyMK -> b
-> LedgerSeq m l blk
-> AnchoredSeq (WithOrigin SlotNo) a b

newtypenewtype LedgerSeq (m :: Type -> Type) (l :: Type -> (Type -> Type -> Type) -> Type) blk

Constructors

LedgerSeq
- getLedgerSeq :: AnchoredSeq (WithOrigin SlotNo) (StateRef m l blk) (StateRef m l blk)

Instances5Eq, Show, Generic, NoThunks, Rep

Eq (l blk EmptyMK) => Eq (LedgerSeq m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
Show (l blk EmptyMK) => Show (LedgerSeq m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
Generic (LedgerSeq m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
(IOLike m, NoThunks (l blk EmptyMK)) => NoThunks (LedgerSeq m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
type Rep (LedgerSeq m l blk) = D1 ('MetaData "LedgerSeq" "Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'True) (C1 ('MetaCons "LedgerSeq" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerSeq") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AnchoredSeq (WithOrigin SlotNo) (StateRef m l blk) (StateRef m l blk)))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq

typetype LedgerSeq' (m :: Type -> Type) blk = LedgerSeq m ExtLedgerState blk

datadata LedgerTablesHandle (m :: Type -> Type) (l :: Type -> (Type -> Type -> Type) -> Type) blk

Constructors

LedgerTablesHandle
- close :: !m ()
- duplicateWithDiffs :: !l blk EmptyMK -> l blk DiffMK -> m (LedgerTablesHandle m l blk)
- duplicate :: !m (LedgerTablesHandle m l blk)
- read :: !l blk EmptyMK -> LedgerTables blk KeysMK -> m (LedgerTables blk ValuesMK)
- readRange :: !l blk EmptyMK -> (Maybe (TxIn blk), Int) -> m (LedgerTables blk ValuesMK, Maybe (TxIn blk))
- readAll :: !l blk EmptyMK -> m (LedgerTables blk ValuesMK)
- takeHandleSnapshot :: !l blk EmptyMK -> String -> m (Maybe CRC)
- tablesSize :: !Int

Instances1NoThunks

NoThunks (LedgerTablesHandle m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq

datadata StateRef (m :: Type -> Type) (l :: Type -> (Type -> Type -> Type) -> Type) blk

Constructors

StateRef
- state :: !l blk EmptyMK
- tables :: !LedgerTablesHandle m l blk

Instances6Anchorable, Eq, Show, Generic, NoThunks, Rep

GetTip (l blk) => Anchorable (WithOrigin SlotNo) (StateRef m l blk) (StateRef m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
Eq (l blk EmptyMK) => Eq (StateRef m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
Show (l blk EmptyMK) => Show (StateRef m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
Generic (StateRef m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
(IOLike m, NoThunks (l blk EmptyMK)) => NoThunks (StateRef m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq
type Rep (StateRef m l blk) = D1 ('MetaData "StateRef" "Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq" "ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt" 'False) (C1 ('MetaCons "StateRef" 'PrefixI 'True) (S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (l blk EmptyMK)) :*: S1 ('MetaSel ('Just "tables") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTablesHandle m l blk))))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.V2.LedgerSeq