cardano-ledger-shelley-1.18.0.0: Shelley Ledger Executable Model
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Shelley.BlockBody.Internal

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

Bundled Patterns

pattern ShelleyBlockBody ∷ (EraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx 'TopTx era) → ShelleyBlockBody era

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

Instances

Instances details
(EraTx era, DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody 'TopTx 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 #

listLen ∷ ShelleyBlockBody era → Word Source #

listLenBound ∷ Proxy (ShelleyBlockBody era) → Word Source #

Generic (ShelleyBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Associated Types

type Rep (ShelleyBlockBody era) 
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.18.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyBlockBodyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sbbTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx 'TopTx 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)))))

Methods

from ∷ ShelleyBlockBody era → Rep (ShelleyBlockBody era) x #

to ∷ Rep (ShelleyBlockBody era) x → ShelleyBlockBody era #

Show (Tx 'TopTx 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 #

Eq (Tx 'TopTx 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 'TopTx 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.18.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyBlockBodyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sbbTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx 'TopTx 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)))))

mkBasicBlockBodyShelley ∷ (EraBlockBody era, SafeToHash (TxWits era), BlockBody era ~ ShelleyBlockBody era) ⇒ BlockBody era Source #

txSeqBlockBodyShelleyL ∷ (EraBlockBody era, SafeToHash (TxWits era), BlockBody era ~ ShelleyBlockBody era) ⇒ Lens' (BlockBody era) (StrictSeq (Tx 'TopTx 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 'TopTx era → StrictMaybe ByteString Source #

Orphan instances