Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.BlockBody

Documentation

data AlonzoBlockBody era where Source #

Bundled Patterns

pattern AlonzoBlockBody ∷ ∀ era. (AlonzoEraTx era, SafeToHash (TxWits era)) ⇒ StrictSeq (Tx era) → AlonzoBlockBody era

Instances

Instances details

Generic (AlonzoBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Associated Types type Rep (AlonzoBlockBody era) ∷ Type → Type # Methods from ∷ AlonzoBlockBody era → Rep (AlonzoBlockBody era) x # to ∷ Rep (AlonzoBlockBody era) x → AlonzoBlockBody era #
Show (Tx era) ⇒ Show (AlonzoBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Methods showsPrec ∷ Int → AlonzoBlockBody era → ShowS # show ∷ AlonzoBlockBody era → String # showList ∷ [AlonzoBlockBody era] → ShowS #
(AlonzoEraTx era, DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era))) ⇒ DecCBOR (Annotator (AlonzoBlockBody era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Methods decCBOR ∷ Decoder s (Annotator (AlonzoBlockBody era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoBlockBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoBlockBody era)) → Text Source #
Era era ⇒ EncCBORGroup (AlonzoBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Methods encCBORGroup ∷ AlonzoBlockBody era → Encoding Source # encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy (AlonzoBlockBody era) → Size Source # listLen ∷ AlonzoBlockBody era → Word Source # listLenBound ∷ Proxy (AlonzoBlockBody era) → Word Source #
Eq (Tx era) ⇒ Eq (AlonzoBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Methods (==) ∷ AlonzoBlockBody era → AlonzoBlockBody era → Bool # (/=) ∷ AlonzoBlockBody era → AlonzoBlockBody era → Bool #
(Typeable era, NoThunks (Tx era)) ⇒ NoThunks (AlonzoBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal Methods noThunks ∷ Context → AlonzoBlockBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoBlockBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoBlockBody era) → String Source #
type Rep (AlonzoBlockBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.BlockBody.Internal type Rep (AlonzoBlockBody era) = D1 ('MetaData "AlonzoBlockBody" "Cardano.Ledger.Alonzo.BlockBody.Internal" "cardano-ledger-alonzo-1.14.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoBlockBodyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "abbTxs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx era))) :: (S1 ('MetaSel ('Just "abbHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash HASH EraIndependentBlockBody)) :: S1 ('MetaSel ('Just "abbTxsBodyBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))) :: (S1 ('MetaSel ('Just "abbTxsWitsBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :: (S1 ('MetaSel ('Just "abbTxsAuxDataBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "abbTxsIsValidBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))

mkBasicBlockBodyAlonzo ∷ (SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era, AlonzoEraTx era) ⇒ BlockBody era Source #

txSeqBlockBodyAlonzoL ∷ (SafeToHash (TxWits era), BlockBody era ~ AlonzoBlockBody era, AlonzoEraTx era) ⇒ Lens' (BlockBody era) (StrictSeq (Tx era)) Source #

alonzoBlockBodyHash ∷ AlonzoBlockBody era → Hash HASH EraIndependentBlockBody Source #

alonzoBlockBodyTxs ∷ AlonzoBlockBody era → StrictSeq (Tx era) Source #