Safe Haskell	None
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.

Synopsis

data ShelleyBlockBody era where
- ShelleyBlockBodyInternal {
  - sbbTxs ∷ !(StrictSeq (Tx 'TopTx era))
  - sbbHash ∷ Hash HASH EraIndependentBlockBody
  - sbbTxsBodyBytes ∷ ByteString
  - sbbTxsWitsBytes ∷ ByteString
  - sbbTxsAuxDataBytes ∷ ByteString
  }
- pattern ShelleyBlockBody ∷ (EraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx 'TopTx era) → ShelleyBlockBody era
newtype ShelleyBlockBodyLimits era = ShelleyBlockBodyLimits {
- sbblTxsSize ∷ Word32
}
mkBasicBlockBodyShelley ∷ (EraBlockBody era, SafeToHash (TxWits era), BlockBody era ~ ShelleyBlockBody era) ⇒ BlockBody era
txSeqBlockBodyShelleyL ∷ (EraBlockBody era, SafeToHash (TxWits era), BlockBody era ~ ShelleyBlockBody era) ⇒ Lens' (BlockBody era) (StrictSeq (Tx 'TopTx era))
auxDataSeqDecoder ∷ Int → IntMap a → Decoder s (Seq (Maybe a))
hashShelleySegWits ∷ ByteString → ByteString → ByteString → Hash HASH EraIndependentBlockBody
slotToNonce ∷ SlotNo → Nonce
incrBlocks ∷ EraBlockHeader h era ⇒ Block h era → SlotNo → UnitInterval → BlocksMade → BlocksMade
coreAuxDataBytes ∷ EraTx era ⇒ Tx 'TopTx era → StrictMaybe ByteString

Documentation

data ShelleyBlockBody era Source #

Constructors

ShelleyBlockBodyInternal
Fields sbbTxs ∷ !(StrictSeq (Tx 'TopTx 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 ∷ (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 sbblTxsSize ∷ Word32

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

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

Orphan instances

EraBlockBody ShelleyEra Source #

Instance details

Associated Types

type BlockBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal type BlockBody ShelleyEra = ShelleyBlockBody ShelleyEra
type BlockBodyLimits ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal type BlockBodyLimits ShelleyEra = ShelleyBlockBodyLimits ShelleyEra
type ProtocolEraBlockHeader h ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.BlockBody.Internal type ProtocolEraBlockHeader h ShelleyEra = TPraosEraBlockHeader h ShelleyEra

Methods

mkBasicBlockBody ∷ BlockBody ShelleyEra Source #

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

hashBlockBody ∷ BlockBody ShelleyEra → Hash HASH EraIndependentBlockBody Source #

blockBodySize ∷ ProtVer → BlockBody ShelleyEra → Int Source #