Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.BlockBody

Documentation

data ShelleyBlockBody era where Source #

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)))))

shelleyBlockBodyHash ∷ ShelleyBlockBody era → Hash HASH EraIndependentBlockBody Source #

shelleyBlockBodyTxs ∷ ShelleyBlockBody era → StrictSeq (Tx era) Source #

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 #