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

Cardano.Ledger.Shelley.BlockBody

Synopsis

Documentation

data ShelleyBlockBody era where Source #

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 ∷ Proxy (ShelleyBlockBody era) → Word Source #

NFData (Tx 'TopTx era) ⇒ NFData (ShelleyBlockBody era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Methods

rnf ∷ ShelleyBlockBody era → () #

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

newtype ShelleyBlockBodyLimits era Source #

Constructors

ShelleyBlockBodyLimits 

Fields

Instances

Instances details
NFData (ShelleyBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Methods

rnf ∷ ShelleyBlockBodyLimits era → () #

Monoid (ShelleyBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Methods

mempty ∷ ShelleyBlockBodyLimits era #

mappend ∷ ShelleyBlockBodyLimits era → ShelleyBlockBodyLimits era → ShelleyBlockBodyLimits era #

mconcat ∷ [ShelleyBlockBodyLimits era] → ShelleyBlockBodyLimits era #

Semigroup (ShelleyBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Methods

(<>) ∷ ShelleyBlockBodyLimits era → ShelleyBlockBodyLimits era → ShelleyBlockBodyLimits era #

sconcat ∷ NonEmpty (ShelleyBlockBodyLimits era) → ShelleyBlockBodyLimits era #

stimes ∷ Integral b ⇒ b → ShelleyBlockBodyLimits era → ShelleyBlockBodyLimits era #

Generic (ShelleyBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Associated Types

type Rep (ShelleyBlockBodyLimits era) 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type Rep (ShelleyBlockBodyLimits era) = D1 ('MetaData "ShelleyBlockBodyLimits" "Cardano.Ledger.Shelley.BlockBody.Internal" "cardano-ledger-shelley-1.21.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyBlockBodyLimits" 'PrefixI 'True) (S1 ('MetaSel ('Just "sbblTxsSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

Methods

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

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

Show (ShelleyBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Methods

showsPrec ∷ Int → ShelleyBlockBodyLimits era → ShowS #

show ∷ ShelleyBlockBodyLimits era → String #

showList ∷ [ShelleyBlockBodyLimits era] → ShowS #

Eq (ShelleyBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Methods

(==) ∷ ShelleyBlockBodyLimits era → ShelleyBlockBodyLimits era → Bool #

(/=) ∷ ShelleyBlockBodyLimits era → ShelleyBlockBodyLimits era → Bool #

NoThunks (ShelleyBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

Methods

noThunks ∷ Context → ShelleyBlockBodyLimits era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyBlockBodyLimits era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ShelleyBlockBodyLimits era) → String Source #

type Rep (ShelleyBlockBodyLimits era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockBody.Internal

type Rep (ShelleyBlockBodyLimits era) = D1 ('MetaData "ShelleyBlockBodyLimits" "Cardano.Ledger.Shelley.BlockBody.Internal" "cardano-ledger-shelley-1.21.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyBlockBodyLimits" 'PrefixI 'True) (S1 ('MetaSel ('Just "sbblTxsSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

txSeqBlockBodyShelleyL ∷ (EraBlockBody era, SafeToHash (TxWits era), BlockBody era ~ ShelleyBlockBody era) ⇒ Lens' (BlockBody era) (StrictSeq (Tx 'TopTx era)) Source #

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

shelleyBlockBodyHash ∷ ShelleyBlockBody era → Hash HASH EraIndependentBlockBody Source #

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

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

hashShelleySegWits Source #

Arguments

∷ ByteString

Bytes for transaction bodies

→ ByteString

Bytes for transaction witnesses

→ ByteString

Bytes for transaction auxiliary datas

→ Hash HASH EraIndependentBlockBody 

Compute the Shelley block body hash as a small Merkle tree: the parts of the encoded block body are hashed individually and those hashes are then hashed together.

slotToNonce ∷ SlotNo → Nonce Source #

incrBlocks Source #

Arguments

∷ EraBlockHeader h era 
⇒ Block h era 
→ SlotNo

First Slot

→ UnitInterval

ppDG

→ BlocksMade 
→ BlocksMade 

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