Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Storage.ChainDB.API
- 23 types
- 20 values
- Packageouroboros-consensus-4.2.1.0
- Exports43
- LicenceApache-2.0
Instances8Eq, Show, Generic, NFData, Serialise, NoThunks, …
Eq IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBBShow IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBBGeneric IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBBNFData IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBBSerialise IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBBNoThunks IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBBCondense IsEBBDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBBtype Rep IsEBB = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Block.EBB"IsEBB"
"Ouroboros.Consensus.Block.EBB"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"IsEBB"
'PrefixI 'False) U1 :+: C1 ('MetaCons"IsNotEBB"
'PrefixI 'False) U1)
Constructors
AddBlockPromiseblockWrittenToDisk :: STM m BoolblockProcessed :: STM m (AddBlockResult blk)
Constructors
Instances2Eq, Show
StandardHash blk => Eq (AddBlockResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIStandardHash blk => Show (AddBlockResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Instances6Eq, Ord, Show, Generic, NoThunks, Rep
Eq AddPerasCertChainSelOutcomeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIOrd AddPerasCertChainSelOutcomeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIShow AddPerasCertChainSelOutcomeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIGeneric AddPerasCertChainSelOutcomeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APINoThunks AddPerasCertChainSelOutcomeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APItype Rep AddPerasCertChainSelOutcome = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API"AddPerasCertChainSelOutcome"
"Ouroboros.Consensus.Storage.ChainDB.API"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"PerasCertIgnoredTooOld"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"PerasCertNotProcessedClosing"
'PrefixI 'False) U1 :+: C1 ('MetaCons"PerasCertProcessed"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AddPerasCertResult))))
Constructors
Constructors
ChainDBaddBlockAsync :: InvalidBlockPunishment m -> blk -> m (AddBlockPromise m blk)chainSelAsync :: m (ChainSelectionPromise m)getCurrentChain :: STM m (AnchoredFragment (Header blk))getCurrentChainWithTime :: STM m (AnchoredFragment (HeaderWithTime blk))getCurrentLedger :: STM m (ExtLedgerState blk EmptyMK)getImmutableLedger :: STM m (ExtLedgerState blk EmptyMK)getPastLedger :: Point blk -> STM m (Maybe (ExtLedgerState blk EmptyMK))getHeaderStateHistory :: STM m (HeaderStateHistory blk)allocInRegistryReadOnlyForkerAtPoint :: Target (Point blk) -> ResourceRegistry m -> m (Either GetForkerError (ResourceKey m, ReadOnlyForker' m blk))openReadOnlyForkerAtPoint :: Target (Point blk) -> m (Either GetForkerError (ReadOnlyForker' m blk))withReadOnlyForkerAtPoint :: forall r. Target (Point blk) -> (Either GetForkerError (ReadOnlyForker' m blk) -> WithEarlyExit m r) -> WithEarlyExit m rgetTipBlock :: m (Maybe blk)getTipHeader :: m (Maybe (Header blk))getTipPoint :: STM m (Point blk)getBlockComponent :: forall b. BlockComponent blk b -> RealPoint blk -> m (Maybe b)getIsFetched :: STM m (Point blk -> Bool)getIsValid :: STM m (RealPoint blk -> Maybe Bool)getMaxSlotNo :: STM m MaxSlotNostream :: forall b. ResourceRegistry m -> BlockComponent blk b -> StreamFrom blk -> StreamTo blk -> m (Either (UnknownRange blk) (Iterator m blk b))newFollower :: forall b. ResourceRegistry m -> ChainType -> BlockComponent blk b -> m (Follower m blk b)getIsInvalidBlock :: STM m (WithFingerprint (HeaderHash blk -> Maybe (ExtValidationError blk)))getChainSelStarvation :: STM m ChainSelStarvationgetStatistics :: m StatisticsgetPerasWeightSnapshot :: STM m (WithFingerprint (PerasWeightSnapshot blk))getLatestPerasCertSeen :: STM m (Maybe (WithArrivalTime (ValidatedPerasCert blk)))getLatestPerasCertOnChainRound :: STM m (Maybe PerasRoundNo)addPerasCertAsync :: WithArrivalTime (ValidatedPerasCert blk) -> m (AddPerasCertPromise m)getPerasCertsAfter :: PerasCertTicketNo -> STM m (Map PerasCertTicketNo (m (WithArrivalTime (ValidatedPerasCert blk))))getPerasCertIds :: STM m (Set PerasRoundNo)addPerasVoteWithAsyncCertHandling :: WithArrivalTime (ValidatedPerasVote blk) -> m (AddPerasVoteResult blk, Maybe (AddPerasCertPromise m))getPerasVotesAfter :: PerasVoteTicketNo -> STM m (Map PerasVoteTicketNo (WithArrivalTime (ValidatedPerasVote blk)))getPerasVoteIds :: STM m (Set (PerasVoteId blk))waitForImmutableBlock :: RealPoint blk -> m (Either SeekBlockError (RealPoint blk))closeDB :: m ()isOpen :: STM m Bool
Constructors
Instances2Show, Exception
(Typeable blk, StandardHash blk) => Show (ChainDbError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API(Typeable blk, StandardHash blk) => Exception (ChainDbError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Constructors
Instances2Show, Exception
StandardHash blk => Show (ChainDbFailure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API(Typeable blk, StandardHash blk) => Exception (ChainDbFailure blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Constructors
Instances4Eq, Show, Generic, Rep
Eq ChainTypeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIShow ChainTypeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIGeneric ChainTypeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APItype Rep ChainType = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API"ChainType"
"Ouroboros.Consensus.Storage.ChainDB.API"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"SelectedChain"
'PrefixI 'False) U1 :+: C1 ('MetaCons"TentativeChain"
'PrefixI 'False) U1)
Constructors
FollowerfollowerInstruction :: m (Maybe (ChainUpdate blk a))followerInstructionBlocking :: m (ChainUpdate blk a)followerForward :: [Point blk] -> m (Maybe (Point blk))followerClose :: m ()
Constructors
IteratoriteratorNext :: m (IteratorResult blk b)iteratorClose :: m ()
Instances3Functor, Foldable, Traversable
Functor m => Functor (Iterator m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIFoldable m => Foldable (Iterator m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APITraversable m => Traversable (Iterator m blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Constructors
Instances5Functor, Foldable, Traversable, Eq, Show
Functor (IteratorResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIFoldable (IteratorResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APITraversable (IteratorResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API(Eq blk, Eq b, StandardHash blk) => Eq (IteratorResult blk b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API(Show blk, Show b, StandardHash blk) => Show (IteratorResult blk b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Constructors
Instances8Functor, Foldable, Traversable, Eq, Show, Generic, …
Functor LoEDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIFoldable LoEDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APITraversable LoEDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIEq a => Eq (LoE a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIShow a => Show (LoE a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIGeneric (LoE a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APINoThunks a => NoThunks (LoE a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APItype Rep (LoE a) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API"LoE"
"Ouroboros.Consensus.Storage.ChainDB.API"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"LoEDisabled"
'PrefixI 'False) U1 :+: C1 ('MetaCons"LoEEnabled"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))
Constructors
MissingBlock (RealPoint blk)ForkTooOld (StreamFrom blk)
Instances2Eq, Show
StandardHash blk => Eq (UnknownRange blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APIStandardHash blk => Show (UnknownRange blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Constructors
WithPointwithoutPoint :: !bpoint :: !Point blk
Instances2StandardHash, HeaderHash
StandardHash blk => StandardHash (WithPoint blk b)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.APItype HeaderHash (WithPoint blk b) = HeaderHash blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ChainDB.API
Constructors
GetVerifiedBlock :: BlockComponent blk blkGetBlock :: BlockComponent blk blkGetRawBlock :: BlockComponent blk ByteStringGetHeader :: BlockComponent blk (Header blk)GetRawHeader :: BlockComponent blk ByteStringGetHash :: BlockComponent blk (HeaderHash blk)GetSlot :: BlockComponent blk SlotNoGetIsEBB :: BlockComponent blk IsEBBGetBlockSize :: BlockComponent blk SizeInBytesGetHeaderSize :: BlockComponent blk Word16GetNestedCtxt :: BlockComponent blk (SomeSecond (NestedCtxt Header) blk)GetPure :: a -> BlockComponent blk aGetApply :: BlockComponent blk (a1 -> a) -> BlockComponent blk a1 -> BlockComponent blk a
Instances2Functor, Applicative
Functor (BlockComponent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.CommonApplicative (BlockComponent blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common
Constructors
StreamFromInclusive !(RealPoint blk)StreamFromExclusive !(Point blk)
Instances5Eq, Show, Generic, NoThunks, Rep
StandardHash blk => Eq (StreamFrom blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.CommonStandardHash blk => Show (StreamFrom blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.CommonGeneric (StreamFrom blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common(StandardHash blk, Typeable blk) => NoThunks (StreamFrom blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Commontype Rep (StreamFrom blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common"StreamFrom"
"Ouroboros.Consensus.Storage.Common"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"StreamFromInclusive"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RealPoint blk))) :+: C1 ('MetaCons"StreamFromExclusive"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Point blk))))
Constructors
StreamToInclusive (RealPoint blk)
Instances5Eq, Show, Generic, NoThunks, Rep
StandardHash blk => Eq (StreamTo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.CommonStandardHash blk => Show (StreamTo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.CommonGeneric (StreamTo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common(StandardHash blk, Typeable blk) => NoThunks (StreamTo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Commontype Rep (StreamTo blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Common"StreamTo"
"Ouroboros.Consensus.Storage.Common"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'True) (C1 ('MetaCons"StreamToInclusive"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RealPoint blk))))
Instances2Eq, Show
Eq SeekBlockErrorDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.APIShow SeekBlockErrorDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.ImmutableDB.API
Instances6Eq, Ord, Show, Generic, NoThunks, Rep
Eq AddPerasCertResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.APIOrd AddPerasCertResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.APIShow AddPerasCertResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.APIGeneric AddPerasCertResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.APINoThunks AddPerasCertResultDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.APItype Rep AddPerasCertResult = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasCertDB.API"AddPerasCertResult"
"Ouroboros.Consensus.Storage.PerasCertDB.API"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"AddedPerasCertToDB"
'PrefixI 'False) U1 :+: C1 ('MetaCons"PerasCertAlreadyInDB"
'PrefixI 'False) U1)
Instances6Eq, Ord, Show, Generic, NoThunks, Rep
StandardHash blk => Eq (AddPerasVoteResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.APIStandardHash blk => Ord (AddPerasVoteResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.APIStandardHash blk => Show (AddPerasVoteResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.APIGeneric (AddPerasVoteResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.APIStandardHash blk => NoThunks (AddPerasVoteResult blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.APItype Rep (AddPerasVoteResult blk) = D1 ('MetaDataDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.PerasVoteDB.API"AddPerasVoteResult"
"Ouroboros.Consensus.Storage.PerasVoteDB.API"
"ouroboros-consensus-4.2.1.0-C9zVP0VXla2Fy4UJAsSSXt"
'False) (C1 ('MetaCons"PerasVoteAlreadyInDB"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"AddedPerasVoteButDidntGenerateNewCert"
'PrefixI 'False) U1 :+: C1 ('MetaCons"AddedPerasVoteAndGeneratedNewCert"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ValidatedPerasCert blk)))))