Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Storage.LedgerDB.Forker
Synopsis
- value forkerCurrentPoint
- value ledgerStateReadOnlyForker
- value readOnlyForker
- value validate
- data AnnLedgerError
- type AnnLedgerError'
- data ExceededRollback
- data Forker
- type Forker'
- newtype ForkerKey
- data ForkerWasCommitted
- data GetForkerError
- newtype PushGoal
- newtype PushStart
- newtype Pushing
- data RangeQuery
- data RangeQueryPrevious
- data ReadOnlyForker
- type ReadOnlyForker'
- type ResolveBlock
- newtype Statistics
- newtype SuccessForkerAction
- data TraceForkerEvent
- data TraceForkerEventWithKey
- data TraceValidateEvent
- data ValidateArgs
- data ValidateResult
- Packageouroboros-consensus-4.2.1.0
- Exports27
- LicenceApache-2.0
Constructors
AnnLedgerErrorannLedgerBaseRef :: Point blkannLedgerErrRef :: RealPoint blkannLedgerErr :: LedgerErr l blk
Constructors
Instances2Eq, Show
Eq ExceededRollbackDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerShow ExceededRollbackDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Constructors
ForkerforkerClose :: !m ()forkerReadTables :: !LedgerTables blk KeysMK -> m (LedgerTables blk ValuesMK)forkerRangeReadTables :: !RangeQueryPrevious blk -> m (LedgerTables blk ValuesMK, Maybe (TxIn blk))forkerGetLedgerState :: !STM m (l blk EmptyMK)forkerReadStatistics :: !m StatisticsforkerPush :: !l blk DiffMK -> m ()forkerCommit :: !STM m (m ())
Instances5GetTipSTM, Generic, NoThunks, Rep, HeaderHash
(GetTip (l blk), MonadSTM m) => GetTipSTM m (Forker m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerGeneric (Forker m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker(Typeable l, Typeable m, Typeable blk) => NoThunks (Forker m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forkertype Rep (Forker m l blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker"Forker"
"Ouroboros.Consensus.Storage.LedgerDB.Forker"
"ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC"
'False) (C1 ('MetaCons"Forker"
'PrefixI 'True) ((S1 ('MetaSel ('Just"forkerClose"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (m ())) :*: (S1 ('MetaSel ('Just"forkerReadTables"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables blk KeysMK -> m (LedgerTables blk ValuesMK))) :*: S1 ('MetaSel ('Just"forkerRangeReadTables"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RangeQueryPrevious blk -> m (LedgerTables blk ValuesMK, Maybe (TxIn blk)))))) :*: ((S1 ('MetaSel ('Just"forkerGetLedgerState"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (STM m (l blk EmptyMK))) :*: S1 ('MetaSel ('Just"forkerReadStatistics"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (m Statistics))) :*: (S1 ('MetaSel ('Just"forkerPush"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (l blk DiffMK -> m ())) :*: S1 ('MetaSel ('Just"forkerCommit"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (STM m (m ())))))))type HeaderHash (Forker m l blk) = HeaderHash (l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Instances6Enum, Eq, Num, Ord, Show, NoThunks
Enum ForkerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerEq ForkerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerNum ForkerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerOrd ForkerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerShow ForkerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerNoThunks ForkerKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Instances2Eq, Show
Eq ForkerWasCommittedDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerShow ForkerWasCommittedDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Constructors
Instances2Eq, Show
Eq GetForkerErrorDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerShow GetForkerErrorDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Constructors
PushGoalunPushGoal :: RealPoint blk
Instances2Eq, Show
StandardHash blk => Eq (PushGoal blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerStandardHash blk => Show (PushGoal blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Constructors
PushStartunPushStart :: RealPoint blk
Instances2Eq, Show
StandardHash blk => Eq (PushStart blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerStandardHash blk => Show (PushStart blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Instances2Eq, Show
StandardHash blk => Eq (Pushing blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerStandardHash blk => Show (Pushing blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Constructors
RangeQueryrqPrev :: !RangeQueryPrevious lrqCount :: !Int
Constructors
Constructors
ReadOnlyForkerroforkerClose :: !m ()roforkerReadTables :: !LedgerTables blk KeysMK -> m (LedgerTables blk ValuesMK)roforkerRangeReadTables :: !RangeQueryPrevious blk -> m (LedgerTables blk ValuesMK, Maybe (TxIn blk))roforkerGetLedgerState :: !STM m (l blk EmptyMK)roforkerReadStatistics :: !m Statistics
Instances4Generic, NoThunks, Rep, HeaderHash
Generic (ReadOnlyForker m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerNoThunks (ReadOnlyForker m l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forkertype Rep (ReadOnlyForker m l blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker"ReadOnlyForker"
"Ouroboros.Consensus.Storage.LedgerDB.Forker"
"ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC"
'False) (C1 ('MetaCons"ReadOnlyForker"
'PrefixI 'True) ((S1 ('MetaSel ('Just"roforkerClose"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (m ())) :*: S1 ('MetaSel ('Just"roforkerReadTables"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (LedgerTables blk KeysMK -> m (LedgerTables blk ValuesMK)))) :*: (S1 ('MetaSel ('Just"roforkerRangeReadTables"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RangeQueryPrevious blk -> m (LedgerTables blk ValuesMK, Maybe (TxIn blk)))) :*: (S1 ('MetaSel ('Just"roforkerGetLedgerState"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (STM m (l blk EmptyMK))) :*: S1 ('MetaSel ('Just"roforkerReadStatistics"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (m Statistics))))))type HeaderHash (ReadOnlyForker m l) = HeaderHash lDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Constructors
Constructors
MkSuccessForkerActionapplySuccessForkerAction :: Forker m l blk -> m ()
Instances2Eq, Show
Eq TraceForkerEventDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerShow TraceForkerEventDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Constructors
Instances2Eq, Show
Eq TraceForkerEventWithKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerShow TraceForkerEventWithKeyDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker
Constructors
StartedPushingBlockToTheLedgerDb !(PushStart blk) (PushGoal blk) !(Pushing blk)
Instances4Eq, Show, Generic, Rep
StandardHash blk => Eq (TraceValidateEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerStandardHash blk => Show (TraceValidateEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.ForkerGeneric (TraceValidateEvent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forkertype Rep (TraceValidateEvent blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.LedgerDB.Forker"TraceValidateEvent"
"Ouroboros.Consensus.Storage.LedgerDB.Forker"
"ouroboros-consensus-4.2.1.0-89mGcUlIDtl9Zis3MBCDdC"
'False) (C1 ('MetaCons"StartedPushingBlockToTheLedgerDb"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PushStart blk)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PushGoal blk)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Pushing blk)))))
Constructors
ValidateArgsresolve :: !ResolveBlock m blkvalidateConfig :: !LedgerCfg l blkaddPrevApplied :: ![RealPoint blk] -> STM m ()prevApplied :: !STM m (Set (RealPoint blk))withForkerAtFromTip :: !forall r. Word64 -> (Forker m l blk -> m r) -> m (Either GetForkerError r)onSuccess :: !SuccessForkerAction m l blktrace :: !TraceValidateEvent blk -> m ()blockCache :: BlockCache blknumRollbacks :: Word64hdrs :: NonEmpty (Header blk)