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

Cardano.Ledger.Shelley.BlockChain

Synopsis

Documentation

data ShelleyTxSeq era Source #

Constructors

TxSeq' !(StrictSeq (ShelleyTx era)) ByteString ByteString ByteString 

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) ∷ Type → Type #

Methods

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

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

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

Defined in Cardano.Ledger.Shelley.BlockChain

Methods

showsPrec ∷ Int → ShelleyTxSeq era → ShowS #

show ∷ ShelleyTxSeq era → String #

showList ∷ [ShelleyTxSeq era] → ShowS #

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

Defined in Cardano.Ledger.Shelley.BlockChain

Methods

decCBOR ∷ Decoder s (Annotator (ShelleyTxSeq era)) Source #

dropCBOR ∷ Proxy (Annotator (ShelleyTxSeq era)) → Decoder s () Source #

label ∷ Proxy (Annotator (ShelleyTxSeq era)) → Text Source #

(EraTx era, DecCBOR (TxBody era), DecCBOR (TxWits era), DecCBOR (TxAuxData era)) ⇒ DecCBOR (ShelleyTxSeq era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.BlockChain

Methods

decCBOR ∷ Decoder s (ShelleyTxSeq era) Source #

dropCBOR ∷ Proxy (ShelleyTxSeq era) → Decoder s () Source #

label ∷ Proxy (ShelleyTxSeq era) → Text Source #

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

Defined in Cardano.Ledger.Shelley.BlockChain

Methods

encCBORGroup ∷ ShelleyTxSeq era → Encoding Source #

encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy (ShelleyTxSeq era) → Size Source #

listLen ∷ ShelleyTxSeq era → Word Source #

listLenBound ∷ Proxy (ShelleyTxSeq era) → Word Source #

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

Defined in Cardano.Ledger.Shelley.BlockChain

Methods

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

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

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

Defined in Cardano.Ledger.Shelley.BlockChain

Methods

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

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

showTypeOf ∷ Proxy (ShelleyTxSeq era) → String Source #

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

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

txSeqTxns ∷ ShelleyTxSeq era → StrictSeq (ShelleyTx era) Source #

bbHash ∷ ShelleyTxSeq era → Hash HASH EraIndependentBlockBody Source #

Hash a given block body

bBodySize ∷ EraSegWits era ⇒ ProtVer → TxSeq era → Int Source #

slotToNonce ∷ SlotNo → Nonce Source #

incrBlocks ∷ Bool → KeyHash 'StakePool → BlocksMade → BlocksMade Source #

coreAuxDataBytes ∷ EraTx era ⇒ Tx era → StrictMaybe ByteString 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