ouroboros-consensus-0.1.0.1: Consensus layer for the Ouroboros blockchain protocol
Safe Haskell None
Language Haskell2010

Ouroboros.Consensus.Storage.LedgerDB.Types

Documentation

newtype PushGoal blk Source #

Constructors

PushGoal

Fields

Instances

Instances details
StandardHash blk => Eq ( PushGoal blk) Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.Types

Methods

(==) :: PushGoal blk -> PushGoal blk -> Bool Source #

(/=) :: PushGoal blk -> PushGoal blk -> Bool Source #

StandardHash blk => Show ( PushGoal blk) Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.Types

Methods

showsPrec :: Int -> PushGoal blk -> ShowS Source #

show :: PushGoal blk -> String Source #

showList :: [ PushGoal blk] -> ShowS Source #

newtype PushStart blk Source #

Constructors

PushStart

Fields

Instances

Instances details
StandardHash blk => Eq ( PushStart blk) Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.Types

Methods

(==) :: PushStart blk -> PushStart blk -> Bool Source #

(/=) :: PushStart blk -> PushStart blk -> Bool Source #

StandardHash blk => Show ( PushStart blk) Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.Types

Methods

showsPrec :: Int -> PushStart blk -> ShowS Source #

show :: PushStart blk -> String Source #

showList :: [ PushStart blk] -> ShowS Source #

newtype Pushing blk Source #

Constructors

Pushing

Fields

Instances

Instances details
StandardHash blk => Eq ( Pushing blk) Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.Types

Methods

(==) :: Pushing blk -> Pushing blk -> Bool Source #

(/=) :: Pushing blk -> Pushing blk -> Bool Source #

StandardHash blk => Show ( Pushing blk) Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.Types

Methods

showsPrec :: Int -> Pushing blk -> ShowS Source #

show :: Pushing blk -> String Source #

showList :: [ Pushing blk] -> ShowS Source #

data UpdateLedgerDbTraceEvent blk Source #

Constructors

StartedPushingBlockToTheLedgerDb

Event fired when we are about to push a block to the LedgerDB

Fields

  • !( PushStart blk)

    Point from which we started pushing new blocks

  • ( PushGoal blk)

    Point to which we are updating the ledger, the last event StartedPushingBlockToTheLedgerDb will have Pushing and PushGoal wrapping over the same RealPoint

  • !( Pushing blk)

    Point which block we are about to push

Instances

Instances details
StandardHash blk => Eq ( UpdateLedgerDbTraceEvent blk) Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.Types

Methods

(==) :: UpdateLedgerDbTraceEvent blk -> UpdateLedgerDbTraceEvent blk -> Bool Source #

(/=) :: UpdateLedgerDbTraceEvent blk -> UpdateLedgerDbTraceEvent blk -> Bool Source #

StandardHash blk => Show ( UpdateLedgerDbTraceEvent blk) Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.Types

Methods

showsPrec :: Int -> UpdateLedgerDbTraceEvent blk -> ShowS Source #

show :: UpdateLedgerDbTraceEvent blk -> String Source #

showList :: [ UpdateLedgerDbTraceEvent blk] -> ShowS Source #

Generic ( UpdateLedgerDbTraceEvent blk) Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.Types

Associated Types

type Rep ( UpdateLedgerDbTraceEvent blk) :: Type -> Type Source #

Methods

from :: UpdateLedgerDbTraceEvent blk -> Rep ( UpdateLedgerDbTraceEvent blk) x Source #

to :: Rep ( UpdateLedgerDbTraceEvent blk) x -> UpdateLedgerDbTraceEvent blk Source #

type Rep ( UpdateLedgerDbTraceEvent blk) Source #
Instance details

Defined in Ouroboros.Consensus.Storage.LedgerDB.Types

type Rep ( UpdateLedgerDbTraceEvent blk) = D1 (' MetaData "UpdateLedgerDbTraceEvent" "Ouroboros.Consensus.Storage.LedgerDB.Types" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "StartedPushingBlockToTheLedgerDb" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( PushStart blk)) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PushGoal blk)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Pushing blk)))))