Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Mary.TxBody

Contents

Orphan instances

Documentation

class AllegraEraTxBody era ⇒ MaryEraTxBody era where Source #

Methods

mintTxBodyL ∷ Lens' (TxBody era) (MultiAsset (EraCrypto era)) Source #

mintValueTxBodyF ∷ SimpleGetter (TxBody era) (Value era) Source #

mintedTxBodyF ∷ SimpleGetter (TxBody era) (Set (PolicyID (EraCrypto era))) Source #

Instances

Instances details

Crypto c ⇒ MaryEraTxBody (MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods mintTxBodyL ∷ Lens' (TxBody (MaryEra c)) (MultiAsset (EraCrypto (MaryEra c))) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Value (MaryEra c)) Source # mintedTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (PolicyID (EraCrypto (MaryEra c)))) Source #

data MaryTxBody era where Source #

Bundled Patterns

pattern MaryTxBody ∷ (EraTxOut era, EraTxCert era) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → StrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → MultiAsset (EraCrypto era) → MaryTxBody era

A pattern to keep the newtype and the MemoBytes hidden

Instances

Instances details

Memoized MaryTxBody Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Associated Types type RawType MaryTxBody = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ MaryTxBody era → MemoBytes (RawType MaryTxBody) era wrapMemoBytes ∷ MemoBytes (RawType MaryTxBody) era → MaryTxBody era
Generic (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Associated Types type Rep (MaryTxBody era) ∷ Type → Type Source # Methods from ∷ MaryTxBody era → Rep (MaryTxBody era) x Source # to ∷ Rep (MaryTxBody era) x → MaryTxBody era Source #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods showsPrec ∷ Int → MaryTxBody era → ShowS Source # show ∷ MaryTxBody era → String Source # showList ∷ [MaryTxBody era] → ShowS Source #
Typeable era ⇒ ToCBOR (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods toCBOR ∷ MaryTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MaryTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MaryTxBody era] → Size Source #
MaryEraTxBody era ⇒ DecCBOR (Annotator (MaryTxBody era)) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods decCBOR ∷ Decoder s (Annotator (MaryTxBody era)) Source # dropCBOR ∷ Proxy (Annotator (MaryTxBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (MaryTxBody era)) → Text Source #
Era era ⇒ EncCBOR (MaryTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods encCBOR ∷ MaryTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MaryTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MaryTxBody era] → Size Source #
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods eqRaw ∷ MaryTxBody era → MaryTxBody era → Bool Source #
SafeToHash (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods originalBytes ∷ MaryTxBody era → ByteString Source # originalBytesSize ∷ MaryTxBody era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → MaryTxBody era → SafeHash c index Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods rnf ∷ MaryTxBody era → () Source #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods (==) ∷ MaryTxBody era → MaryTxBody era → Bool Source # (/=) ∷ MaryTxBody era → MaryTxBody era → Bool Source #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods noThunks ∷ Context → MaryTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MaryTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MaryTxBody era) → String Source #
(c ~ EraCrypto era, Era era) ⇒ HashAnnotated (MaryTxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods indexProxy ∷ MaryTxBody era → Proxy EraIndependentTxBody Source # hashAnnotated ∷ MaryTxBody era → SafeHash c EraIndependentTxBody Source #
type RawType MaryTxBody Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody type RawType MaryTxBody = MaryTxBodyRaw
type Rep (MaryTxBody era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (MaryTxBody era) = D1 ('MetaData "MaryTxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.6.0.0-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes MaryTxBodyRaw era))))

data MaryTxBodyRaw era Source #

Instances

Instances details

Generic (MaryTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Associated Types type Rep (MaryTxBodyRaw era) ∷ Type → Type Source # Methods from ∷ MaryTxBodyRaw era → Rep (MaryTxBodyRaw era) x Source # to ∷ Rep (MaryTxBodyRaw era) x → MaryTxBodyRaw era Source #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (MaryTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods showsPrec ∷ Int → MaryTxBodyRaw era → ShowS Source # show ∷ MaryTxBodyRaw era → String Source # showList ∷ [MaryTxBodyRaw era] → ShowS Source #
AllegraEraTxBody era ⇒ DecCBOR (Annotator (MaryTxBodyRaw era)) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods decCBOR ∷ Decoder s (Annotator (MaryTxBodyRaw era)) Source # dropCBOR ∷ Proxy (Annotator (MaryTxBodyRaw era)) → Decoder s () Source # label ∷ Proxy (Annotator (MaryTxBodyRaw era)) → Text Source #
AllegraEraTxBody era ⇒ DecCBOR (MaryTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods decCBOR ∷ Decoder s (MaryTxBodyRaw era) Source # dropCBOR ∷ Proxy (MaryTxBodyRaw era) → Decoder s () Source # label ∷ Proxy (MaryTxBodyRaw era) → Text Source #
(EraTxOut era, EraTxCert era) ⇒ EncCBOR (MaryTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods encCBOR ∷ MaryTxBodyRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MaryTxBodyRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MaryTxBodyRaw era] → Size Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (MaryTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods rnf ∷ MaryTxBodyRaw era → () Source #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (MaryTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods (==) ∷ MaryTxBodyRaw era → MaryTxBodyRaw era → Bool Source # (/=) ∷ MaryTxBodyRaw era → MaryTxBodyRaw era → Bool Source #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (MaryTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody Methods noThunks ∷ Context → MaryTxBodyRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MaryTxBodyRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MaryTxBodyRaw era) → String Source #
type MemoHashIndex MaryTxBodyRaw Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody type MemoHashIndex MaryTxBodyRaw = EraIndependentTxBody
type Rep (MaryTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Mary.TxBody type Rep (MaryTxBodyRaw era) = D1 ('MetaData "MaryTxBodyRaw" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.6.0.0-inplace" 'True) (C1 ('MetaCons "MaryTxBodyRaw" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AllegraTxBodyRaw (MultiAsset (EraCrypto era)) era))))

Orphan instances

Crypto c ⇒ AllegraEraTxBody (MaryEra c) Source #
Instance details Methods vldtTxBodyL ∷ Lens' (TxBody (MaryEra c)) ValidityInterval Source #
Crypto c ⇒ EraTxBody (MaryEra c) Source #
Instance details Associated Types type TxBody (MaryEra c) = (r ∷ Type) Source # type TxBodyUpgradeError (MaryEra c) Source # Methods mkBasicTxBody ∷ TxBody (MaryEra c) Source # inputsTxBodyL ∷ Lens' (TxBody (MaryEra c)) (Set (TxIn (EraCrypto (MaryEra c)))) Source # outputsTxBodyL ∷ Lens' (TxBody (MaryEra c)) (StrictSeq (TxOut (MaryEra c))) Source # feeTxBodyL ∷ Lens' (TxBody (MaryEra c)) Coin Source # withdrawalsTxBodyL ∷ Lens' (TxBody (MaryEra c)) (Withdrawals (EraCrypto (MaryEra c))) Source # auxDataHashTxBodyL ∷ Lens' (TxBody (MaryEra c)) (StrictMaybe (AuxiliaryDataHash (EraCrypto (MaryEra c)))) Source # spendableInputsTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (TxIn (EraCrypto (MaryEra c)))) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (TxIn (EraCrypto (MaryEra c)))) Source # certsTxBodyL ∷ Lens' (TxBody (MaryEra c)) (StrictSeq (TxCert (MaryEra c))) Source # getTotalDepositsTxBody ∷ PParams (MaryEra c) → (KeyHash 'StakePool (EraCrypto (MaryEra c)) → Bool) → TxBody (MaryEra c) → Coin Source # getTotalRefundsTxBody ∷ PParams (MaryEra c) → (Credential 'Staking (EraCrypto (MaryEra c)) → Maybe Coin) → (Credential 'DRepRole (EraCrypto (MaryEra c)) → Maybe Coin) → TxBody (MaryEra c) → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody (MaryEra c) → Int Source # upgradeTxBody ∷ TxBody (PreviousEra (MaryEra c)) → Either (TxBodyUpgradeError (MaryEra c)) (TxBody (MaryEra c)) Source #
Crypto c ⇒ ShelleyEraTxBody (MaryEra c) Source #
Instance details Methods ttlTxBodyL ∷ Lens' (TxBody (MaryEra c)) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody (MaryEra c)) (StrictMaybe (Update (MaryEra c))) Source #