Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.BlockBody.Internal

Contents

Orphan instances

Description

Provides BlockBody internals

Warning

This module is considered internal.

The contents of this module may change in any way whatsoever and without any warning between minor versions of this package.

Documentation

data ShelleyBlockBody era Source #

Constructors

ShelleyBlockBodyInternal
Fields sbbTxs ∷ !(StrictSeq (Tx era)) sbbHash ∷ Hash HASH EraIndependentBlockBody Memoized hash to avoid recomputation. Lazy on purpose. sbbTxsBodyBytes ∷ ByteString Bytes encoding `Seq (TxBody era)` sbbTxsWitsBytes ∷ ByteString Bytes encoding `Seq (TxWits era)` sbbTxsAuxDataBytes ∷ ByteString Bytes encoding a `Seq (TxAuxData era)`. Missing indices have `SNothing` for metadata

Bundled Patterns

pattern ShelleyBlockBody ∷ ∀ era. (EraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx era) → ShelleyBlockBody era

Constuct a BlockBody (with all it bytes) from just Tx's

Instances

Instances details

Generic (ShelleyBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal Associated Types type Rep (ShelleyBlockBody era) ∷ Type → Type # Methods from ∷ ShelleyBlockBody era → Rep (ShelleyBlockBody era) x # to ∷ Rep (ShelleyBlockBody era) x → ShelleyBlockBody era #
Show (Tx era) ⇒ Show (ShelleyBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal Methods showsPrec ∷ Int → ShelleyBlockBody era → ShowS # show ∷ ShelleyBlockBody era → String # showList ∷ [ShelleyBlockBody era] → ShowS #
(EraTx era, DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era))) ⇒ DecCBOR (Annotator (ShelleyBlockBody era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal Methods decCBOR ∷ Decoder s (Annotator (ShelleyBlockBody era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyBlockBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyBlockBody era)) → Text Source #
Era era ⇒ EncCBORGroup (ShelleyBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal Methods encCBORGroup ∷ ShelleyBlockBody era → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy (ShelleyBlockBody era) → Size Source # listLen ∷ ShelleyBlockBody era → Word Source # listLenBound ∷ Proxy (ShelleyBlockBody era) → Word Source #
Eq (Tx era) ⇒ Eq (ShelleyBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal Methods (==) ∷ ShelleyBlockBody era → ShelleyBlockBody era → Bool # (/=) ∷ ShelleyBlockBody era → ShelleyBlockBody era → Bool #
(Typeable era, NoThunks (Tx era)) ⇒ NoThunks (ShelleyBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal Methods noThunks ∷ Context → ShelleyBlockBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyBlockBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyBlockBody era) → String Source #
type Rep (ShelleyBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal type Rep (ShelleyBlockBody era) = D1 ('MetaData "ShelleyBlockBody" "Cardano.Ledger.Shelley.BlockBody.Internal" "cardano-ledger-shelley-1.17.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyBlockBodyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sbbTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx era))) :: S1 ('MetaSel ('Just "sbbHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockBody))) :: (S1 ('MetaSel ('Just "sbbTxsBodyBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :: (S1 ('MetaSel ('Just "sbbTxsWitsBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :: S1 ('MetaSel ('Just "sbbTxsAuxDataBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

auxDataSeqDecoder ∷ Int → IntMap a → Decoder s (Seq (Maybe a)) Source #

hashShelleySegWits Source #

Arguments

∷ ByteString
→ ByteString	Bytes for transaction bodies
→ ByteString	Bytes for transaction witnesses
→ Hash HASH EraIndependentBlockBody	Bytes for transaction auxiliary datas

bBodySize ∷ EraBlockBody era ⇒ ProtVer → BlockBody era → Int Source #

slotToNonce ∷ SlotNo → Nonce Source #

incrBlocks ∷ Bool → KeyHash 'StakePool → BlocksMade → BlocksMade Source #

coreAuxDataBytes ∷ EraTx era ⇒ Tx era → StrictMaybe ByteString Source #

Orphan instances

EraBlockBody ShelleyEra Source #

Instance details

Associated Types

type BlockBody ShelleyEra = (r ∷ Type) Source #

Methods

mkBasicBlockBody ∷ BlockBody ShelleyEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody ShelleyEra) (StrictSeq (Tx ShelleyEra)) Source #

fromTxSeq ∷ BlockBody ShelleyEra → StrictSeq (Tx ShelleyEra) Source #

toTxSeq ∷ StrictSeq (Tx ShelleyEra) → BlockBody ShelleyEra Source #

hashBlockBody ∷ BlockBody ShelleyEra → Hash HASH EraIndependentBlockBody Source #

hashTxSeq ∷ BlockBody ShelleyEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #