cardano-ledger-shelley-1.12.2.1: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.BlockChain

Synopsis

Documentation

data ShelleyTxSeq era Source #

Bundled Patterns

pattern ShelleyTxSeq ∷ ∀ era. (EraTx era, Tx era ~ ShelleyTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx era) → ShelleyTxSeq era

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

Instances

Instances details
Generic (ShelleyTxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

Associated Types

type Rep (ShelleyTxSeq era) ∷ TypeType Source #

Methods

fromShelleyTxSeq era → Rep (ShelleyTxSeq era) x Source #

toRep (ShelleyTxSeq era) x → ShelleyTxSeq era Source #

Show (ShelleyTx era) ⇒ Show (ShelleyTxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

EraTx era ⇒ DecCBOR (Annotator (ShelleyTxSeq era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

Era era ⇒ EncCBORGroup (ShelleyTxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

Eq (ShelleyTx era) ⇒ Eq (ShelleyTxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

Methods

(==)ShelleyTxSeq era → ShelleyTxSeq era → Bool Source #

(/=)ShelleyTxSeq era → ShelleyTxSeq era → Bool Source #

(Typeable era, NoThunks (ShelleyTx era)) ⇒ NoThunks (ShelleyTxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

type Rep (ShelleyTxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

type Rep (ShelleyTxSeq era) = D1 ('MetaData "ShelleyTxSeq" "Cardano.Ledger.Shelley.BlockChain" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "TxSeq'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txSeqTxns'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (ShelleyTx era))) :*: S1 ('MetaSel ('Just "txSeqBodyBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)) :*: (S1 ('MetaSel ('Just "txSeqWitsBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "txSeqMetadataBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

constructMetadata ∷ ∀ era. IntMap Int (Annotator (TxAuxData era)) → Seq (Maybe (Annotator (TxAuxData era))) Source #

Given a size and a mapping from indices to maybe metadata, return a sequence whose size is the size paramater and whose non-Nothing values correspond to the values in the mapping.

bbHash ∷ ∀ era. Era era ⇒ ShelleyTxSeq era → Hash (EraCrypto era) EraIndependentBlockBody Source #

Hash a given block body

bBodySizeEraSegWits era ⇒ ProtVerTxSeq era → Int Source #

txSeqDecoder ∷ ∀ era. EraTx era ⇒ Bool → ∀ s. Decoder s (Annotator (ShelleyTxSeq era)) Source #

The parts of the Tx in Blocks that have to have DecCBOR(Annotator x) instances. These are exactly the parts that are SafeToHash. | Decode a TxSeq, used in decoding a Block.

Orphan instances