Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.TxBody.Internal

Contents

Orphan instances

Description

Provides Alonzo TxBody 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 AlonzoTxOut era where
- TxOutCompact' !CompactAddr !(CompactForm (Value era))
- TxOutCompactDH' !CompactAddr !(CompactForm (Value era)) !DataHash
- TxOut_AddrHash28_AdaOnly !(Credential 'Staking) !Addr28Extra !(CompactForm Coin)
- TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential 'Staking) !Addr28Extra !(CompactForm Coin) !DataHash32
- pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → AlonzoTxOut era
- pattern AlonzoTxOut ∷ ∀ era. (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → StrictMaybe DataHash → AlonzoTxOut era
- pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → AlonzoTxOut era
class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where
- dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe DataHash)
- datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era)
data Addr28Extra
data DataHash32
newtype AlonzoTxBody era where
- TxBodyConstr (MemoBytes (AlonzoTxBodyRaw era))
- pattern AlonzoTxBody ∷ ∀ era. (EraTxOut era, EraTxCert era) ⇒ Set TxIn → Set TxIn → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → AlonzoTxBody era
data AlonzoTxBodyRaw era = AlonzoTxBodyRaw {
- atbrInputs ∷ !(Set TxIn)
- atbrCollateral ∷ !(Set TxIn)
- atbrOutputs ∷ !(StrictSeq (TxOut era))
- atbrCerts ∷ !(StrictSeq (TxCert era))
- atbrWithdrawals ∷ !Withdrawals
- atbrTxFee ∷ !Coin
- atbrValidityInterval ∷ !ValidityInterval
- atbrUpdate ∷ !(StrictMaybe (Update era))
- atbrReqSignerHashes ∷ Set (KeyHash 'Witness)
- atbrMint ∷ !MultiAsset
- atbrScriptIntegrityHash ∷ !(StrictMaybe ScriptIntegrityHash)
- atbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash)
- atbrTxNetworkId ∷ !(StrictMaybe Network)
}
data AlonzoTxBodyUpgradeError = ATBUEMinUTxOUpdated
class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where
- collateralInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn)
- reqSignerHashesTxBodyL ∷ Lens' (TxBody era) (Set (KeyHash 'Witness))
- scriptIntegrityHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe ScriptIntegrityHash)
- networkIdTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Network)
- redeemerPointer ∷ TxBody era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era)
- redeemerPointerInverse ∷ TxBody era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era)
class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where
- ttlTxBodyL ∷ Lens' (TxBody era) SlotNo
- updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era))
class EraTxBody era ⇒ AllegraEraTxBody era where
- vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval
class AllegraEraTxBody era ⇒ MaryEraTxBody era where
- mintTxBodyL ∷ Lens' (TxBody era) MultiAsset
- mintValueTxBodyF ∷ SimpleGetter (TxBody era) (Value era)
- mintedTxBodyF ∷ SimpleGetter (TxBody era) (Set PolicyID)
class Indexable elem container where
- indexOf ∷ AsItem Word32 elem → container → StrictMaybe (AsIx Word32 elem)
- fromIndex ∷ AsIx Word32 elem → container → StrictMaybe (AsIxItem Word32 elem)
inputs' ∷ AlonzoTxBody era → Set TxIn
collateral' ∷ AlonzoTxBody era → Set TxIn
outputs' ∷ AlonzoTxBody era → StrictSeq (TxOut era)
certs' ∷ AlonzoTxBody era → StrictSeq (TxCert era)
withdrawals' ∷ AlonzoTxBody era → Withdrawals
txfee' ∷ AlonzoTxBody era → Coin
vldt' ∷ AlonzoTxBody era → ValidityInterval
update' ∷ AlonzoTxBody era → StrictMaybe (Update era)
reqSignerHashes' ∷ AlonzoTxBody era → Set (KeyHash 'Witness)
mint' ∷ AlonzoTxBody era → MultiAsset
scriptIntegrityHash' ∷ AlonzoTxBody era → StrictMaybe ScriptIntegrityHash
adHash' ∷ AlonzoTxBody era → StrictMaybe TxAuxDataHash
txnetworkid' ∷ AlonzoTxBody era → StrictMaybe Network
getAdaOnly ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin)
decodeDataHash32 ∷ DataHash32 → DataHash
encodeDataHash32 ∷ DataHash → DataHash32
encodeAddress28 ∷ Network → PaymentCredential → Addr28Extra
decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Addr
viewCompactTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (CompactAddr, CompactForm (Value era), StrictMaybe DataHash)
viewTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (Addr, Value era, StrictMaybe DataHash)
data EraIndependentScriptIntegrity
type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity
getAlonzoTxOutEitherAddr ∷ AlonzoTxOut era → Either Addr CompactAddr
utxoEntrySize ∷ AlonzoEraTxOut era ⇒ TxOut era → Integer
alonzoRedeemerPointer ∷ ∀ era. MaryEraTxBody era ⇒ TxBody era → AlonzoPlutusPurpose AsItem era → StrictMaybe (AlonzoPlutusPurpose AsIx era)
alonzoRedeemerPointerInverse ∷ MaryEraTxBody era ⇒ TxBody era → AlonzoPlutusPurpose AsIx era → StrictMaybe (AlonzoPlutusPurpose AsIxItem era)

Documentation

data AlonzoTxOut era Source #

Constructors

TxOutCompact' !CompactAddr !(CompactForm (Value era))
TxOutCompactDH' !CompactAddr !(CompactForm (Value era)) !DataHash
TxOut_AddrHash28_AdaOnly !(Credential 'Staking) !Addr28Extra !(CompactForm Coin)
TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential 'Staking) !Addr28Extra !(CompactForm Coin) !DataHash32

Bundled Patterns

pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → AlonzoTxOut era
pattern AlonzoTxOut ∷ ∀ era. (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → StrictMaybe DataHash → AlonzoTxOut era
pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → AlonzoTxOut era

Instances

Instances details

(Era era, Val (Value era)) ⇒ ToJSON (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods toJSON ∷ AlonzoTxOut era → Value Source # toEncoding ∷ AlonzoTxOut era → Encoding Source # toJSONList ∷ [AlonzoTxOut era] → Value Source # toEncodingList ∷ [AlonzoTxOut era] → Encoding Source # omitField ∷ AlonzoTxOut era → Bool Source #
Generic (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Associated Types type Rep (AlonzoTxOut era) ∷ Type → Type # Methods from ∷ AlonzoTxOut era → Rep (AlonzoTxOut era) x # to ∷ Rep (AlonzoTxOut era) x → AlonzoTxOut era #
(Era era, Val (Value era)) ⇒ Show (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods showsPrec ∷ Int → AlonzoTxOut era → ShowS # show ∷ AlonzoTxOut era → String # showList ∷ [AlonzoTxOut era] → ShowS #
(Era era, Val (Value era)) ⇒ FromCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods fromCBOR ∷ Decoder s (AlonzoTxOut era) Source # label ∷ Proxy (AlonzoTxOut era) → Text Source #
(Era era, Val (Value era)) ⇒ ToCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods toCBOR ∷ AlonzoTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxOut era] → Size Source #
(Era era, Val (Value era)) ⇒ DecCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods decCBOR ∷ Decoder s (AlonzoTxOut era) Source # dropCBOR ∷ Proxy (AlonzoTxOut era) → Decoder s () Source # label ∷ Proxy (AlonzoTxOut era) → Text Source #
(Era era, Val (Value era), MemPack (CompactForm (Value era))) ⇒ DecShareCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Associated Types type Share (AlonzoTxOut era) Source # Methods getShare ∷ AlonzoTxOut era → Share (AlonzoTxOut era) Source # decShareCBOR ∷ Share (AlonzoTxOut era) → Decoder s (AlonzoTxOut era) Source # decSharePlusCBOR ∷ StateT (Share (AlonzoTxOut era)) (Decoder s) (AlonzoTxOut era) Source #
(Era era, Val (Value era)) ⇒ EncCBOR (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods encCBOR ∷ AlonzoTxOut era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxOut era] → Size Source #
NFData (AlonzoTxOut era) Source #	Already in NF
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods rnf ∷ AlonzoTxOut era → () #
(Eq (Value era), Compactible (Value era)) ⇒ Eq (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods (==) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool # (/=) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool #
(Era era, MemPack (CompactForm (Value era))) ⇒ MemPack (AlonzoTxOut era) Source #	This instance is backwards compatible in binary representation with TxOut instances for all previous era
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods typeName ∷ String Source # packedByteCount ∷ AlonzoTxOut era → Int Source # packM ∷ AlonzoTxOut era → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (AlonzoTxOut era) Source #
NoThunks (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods noThunks ∷ Context → AlonzoTxOut era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxOut era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxOut era) → String Source #
type Rep (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type Rep (AlonzoTxOut era) = D1 ('MetaData "AlonzoTxOut" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32)))))
type Share (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type Share (AlonzoTxOut era) = Interns (Credential 'Staking)

class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where Source #

Methods

dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era) Source #

Instances

Instances details

AlonzoEraTxOut AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source # datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source #

data Addr28Extra Source #

Instances

Instances details

Generic Addr28Extra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Associated Types type Rep Addr28Extra ∷ Type → Type # Methods from ∷ Addr28Extra → Rep Addr28Extra x # to ∷ Rep Addr28Extra x → Addr28Extra #
Show Addr28Extra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods showsPrec ∷ Int → Addr28Extra → ShowS # show ∷ Addr28Extra → String # showList ∷ [Addr28Extra] → ShowS #
Eq Addr28Extra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods (==) ∷ Addr28Extra → Addr28Extra → Bool # (/=) ∷ Addr28Extra → Addr28Extra → Bool #
MemPack Addr28Extra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods typeName ∷ String Source # packedByteCount ∷ Addr28Extra → Int Source # packM ∷ Addr28Extra → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b Addr28Extra Source #
NoThunks Addr28Extra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods noThunks ∷ Context → Addr28Extra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Addr28Extra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Addr28Extra → String Source #
type Rep Addr28Extra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type Rep Addr28Extra = D1 ('MetaData "Addr28Extra" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) (C1 ('MetaCons "Addr28Extra" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

data DataHash32 Source #

Instances

Instances details

Generic DataHash32 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Associated Types type Rep DataHash32 ∷ Type → Type # Methods from ∷ DataHash32 → Rep DataHash32 x # to ∷ Rep DataHash32 x → DataHash32 #
Show DataHash32 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods showsPrec ∷ Int → DataHash32 → ShowS # show ∷ DataHash32 → String # showList ∷ [DataHash32] → ShowS #
Eq DataHash32 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods (==) ∷ DataHash32 → DataHash32 → Bool # (/=) ∷ DataHash32 → DataHash32 → Bool #
MemPack DataHash32 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods typeName ∷ String Source # packedByteCount ∷ DataHash32 → Int Source # packM ∷ DataHash32 → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b DataHash32 Source #
NoThunks DataHash32 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods noThunks ∷ Context → DataHash32 → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DataHash32 → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DataHash32 → String Source #
type Rep DataHash32 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type Rep DataHash32 = D1 ('MetaData "DataHash32" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) (C1 ('MetaCons "DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

newtype AlonzoTxBody era Source #

Constructors

TxBodyConstr (MemoBytes (AlonzoTxBodyRaw era))

Bundled Patterns

pattern AlonzoTxBody ∷ ∀ era. (EraTxOut era, EraTxCert era) ⇒ Set TxIn → Set TxIn → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → AlonzoTxBody era

Instances

Instances details

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

data AlonzoTxBodyRaw era Source #

Constructors

AlonzoTxBodyRaw

Fields

atbrInputs ∷ !(Set TxIn)
atbrCollateral ∷ !(Set TxIn)
atbrOutputs ∷ !(StrictSeq (TxOut era))
atbrCerts ∷ !(StrictSeq (TxCert era))
atbrWithdrawals ∷ !Withdrawals
atbrTxFee ∷ !Coin
atbrValidityInterval ∷ !ValidityInterval
atbrUpdate ∷ !(StrictMaybe (Update era))
atbrReqSignerHashes ∷ Set (KeyHash 'Witness)
atbrMint ∷ !MultiAsset
atbrScriptIntegrityHash ∷ !(StrictMaybe ScriptIntegrityHash)
atbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash)
atbrTxNetworkId ∷ !(StrictMaybe Network)

Instances

Instances details

Generic (AlonzoTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Associated Types type Rep (AlonzoTxBodyRaw era) ∷ Type → Type # Methods from ∷ AlonzoTxBodyRaw era → Rep (AlonzoTxBodyRaw era) x # to ∷ Rep (AlonzoTxBodyRaw era) x → AlonzoTxBodyRaw era #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (AlonzoTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods showsPrec ∷ Int → AlonzoTxBodyRaw era → ShowS # show ∷ AlonzoTxBodyRaw era → String # showList ∷ [AlonzoTxBodyRaw era] → ShowS #
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (AlonzoTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods decCBOR ∷ Decoder s (AlonzoTxBodyRaw era) Source # dropCBOR ∷ Proxy (AlonzoTxBodyRaw era) → Decoder s () Source # label ∷ Proxy (AlonzoTxBodyRaw era) → Text Source #
(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Annotator (AlonzoTxBodyRaw era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods decCBOR ∷ Decoder s (Annotator (AlonzoTxBodyRaw era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTxBodyRaw era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTxBodyRaw era)) → Text Source #
(Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (AlonzoTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods encCBOR ∷ AlonzoTxBodyRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxBodyRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxBodyRaw era] → Size Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (AlonzoTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods rnf ∷ AlonzoTxBodyRaw era → () #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (AlonzoTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods (==) ∷ AlonzoTxBodyRaw era → AlonzoTxBodyRaw era → Bool # (/=) ∷ AlonzoTxBodyRaw era → AlonzoTxBodyRaw era → Bool #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (AlonzoTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods noThunks ∷ Context → AlonzoTxBodyRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxBodyRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxBodyRaw era) → String Source #
type Rep (AlonzoTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type Rep (AlonzoTxBodyRaw era) = D1 ('MetaData "AlonzoTxBodyRaw" "Cardano.Ledger.Alonzo.TxBody.Internal" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxBodyRaw" 'PrefixI 'True) (((S1 ('MetaSel ('Just "atbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :: (S1 ('MetaSel ('Just "atbrCollateral") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :: S1 ('MetaSel ('Just "atbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxOut era))))) :: (S1 ('MetaSel ('Just "atbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))) :: (S1 ('MetaSel ('Just "atbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Withdrawals) :: S1 ('MetaSel ('Just "atbrTxFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))) :: ((S1 ('MetaSel ('Just "atbrValidityInterval") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :: (S1 ('MetaSel ('Just "atbrUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Update era))) :: S1 ('MetaSel ('Just "atbrReqSignerHashes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (KeyHash 'Witness))))) :: ((S1 ('MetaSel ('Just "atbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset) :: S1 ('MetaSel ('Just "atbrScriptIntegrityHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ScriptIntegrityHash))) :: (S1 ('MetaSel ('Just "atbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe TxAuxDataHash)) :: S1 ('MetaSel ('Just "atbrTxNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Network)))))))
type MemoHashIndex (AlonzoTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type MemoHashIndex (AlonzoTxBodyRaw era) = EraIndependentTxBody

data AlonzoTxBodyUpgradeError Source #

Constructors

ATBUEMinUTxOUpdated

The TxBody contains a protocol parameter update that attempts to update the min UTxO. Since this doesn't exist in Alonzo, we fail if an attempt is made to update it.

Instances

Instances details

Show AlonzoTxBodyUpgradeError Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods showsPrec ∷ Int → AlonzoTxBodyUpgradeError → ShowS # show ∷ AlonzoTxBodyUpgradeError → String # showList ∷ [AlonzoTxBodyUpgradeError] → ShowS #

class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where Source #

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ Lens' (TxBody era) (Set (KeyHash 'Witness)) Source #

scriptIntegrityHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Network) Source #

redeemerPointer ∷ TxBody era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era) Source #

This function is called rdptr in the spec. Given a TxBody and a plutus purpose with an item, we should be able to find the plutus purpose as in index

redeemerPointerInverse ∷ TxBody era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era) Source #

This is an inverse of redeemerPointer. Given purpose as an index return it as an item.

Instances

Instances details

AlonzoEraTxBody AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody AlonzoEra) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ Lens' (TxBody AlonzoEra) (Set (KeyHash 'Witness)) Source #

scriptIntegrityHashTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe Network) Source #

redeemerPointer ∷ TxBody AlonzoEra → PlutusPurpose AsItem AlonzoEra → StrictMaybe (PlutusPurpose AsIx AlonzoEra) Source #

redeemerPointerInverse ∷ TxBody AlonzoEra → PlutusPurpose AsIx AlonzoEra → StrictMaybe (PlutusPurpose AsIxItem AlonzoEra) Source #

class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where Source #

Methods

ttlTxBodyL ∷ Lens' (TxBody era) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era)) Source #

Instances

Instances details

ShelleyEraTxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods ttlTxBodyL ∷ Lens' (TxBody AlonzoEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody AlonzoEra) (StrictMaybe (Update AlonzoEra)) Source #
ShelleyEraTxBody ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #

class EraTxBody era ⇒ AllegraEraTxBody era where Source #

Methods

vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval Source #

Instances

Instances details

AllegraEraTxBody AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source #
AllegraEraTxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody AlonzoEra) ValidityInterval Source #

class AllegraEraTxBody era ⇒ MaryEraTxBody era where Source #

Methods

mintTxBodyL ∷ Lens' (TxBody era) MultiAsset Source #

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

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

Instances

Instances details

MaryEraTxBody AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods mintTxBodyL ∷ Lens' (TxBody AlonzoEra) MultiAsset Source # mintValueTxBodyF ∷ SimpleGetter (TxBody AlonzoEra) (Value AlonzoEra) Source # mintedTxBodyF ∷ SimpleGetter (TxBody AlonzoEra) (Set PolicyID) Source #
MaryEraTxBody MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal Methods mintTxBodyL ∷ Lens' (TxBody MaryEra) MultiAsset Source # mintValueTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Value MaryEra) Source # mintedTxBodyF ∷ SimpleGetter (TxBody MaryEra) (Set PolicyID) Source #

class Indexable elem container where Source #

Methods

indexOf ∷ AsItem Word32 elem → container → StrictMaybe (AsIx Word32 elem) Source #

fromIndex ∷ AsIx Word32 elem → container → StrictMaybe (AsIxItem Word32 elem) Source #

Instances

Instances details

Ord k ⇒ Indexable k (OSet k) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods indexOf ∷ AsItem Word32 k → OSet k → StrictMaybe (AsIx Word32 k) Source # fromIndex ∷ AsIx Word32 k → OSet k → StrictMaybe (AsIxItem Word32 k) Source #
Eq k ⇒ Indexable k (StrictSeq k) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods indexOf ∷ AsItem Word32 k → StrictSeq k → StrictMaybe (AsIx Word32 k) Source # fromIndex ∷ AsIx Word32 k → StrictSeq k → StrictMaybe (AsIxItem Word32 k) Source #
Ord k ⇒ Indexable k (Set k) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods indexOf ∷ AsItem Word32 k → Set k → StrictMaybe (AsIx Word32 k) Source # fromIndex ∷ AsIx Word32 k → Set k → StrictMaybe (AsIxItem Word32 k) Source #
Ord k ⇒ Indexable k (Map k v) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods indexOf ∷ AsItem Word32 k → Map k v → StrictMaybe (AsIx Word32 k) Source # fromIndex ∷ AsIx Word32 k → Map k v → StrictMaybe (AsIxItem Word32 k) Source #

inputs' ∷ AlonzoTxBody era → Set TxIn Source #

collateral' ∷ AlonzoTxBody era → Set TxIn Source #

outputs' ∷ AlonzoTxBody era → StrictSeq (TxOut era) Source #

certs' ∷ AlonzoTxBody era → StrictSeq (TxCert era) Source #

withdrawals' ∷ AlonzoTxBody era → Withdrawals Source #

txfee' ∷ AlonzoTxBody era → Coin Source #

vldt' ∷ AlonzoTxBody era → ValidityInterval Source #

update' ∷ AlonzoTxBody era → StrictMaybe (Update era) Source #

reqSignerHashes' ∷ AlonzoTxBody era → Set (KeyHash 'Witness) Source #

mint' ∷ AlonzoTxBody era → MultiAsset Source #

scriptIntegrityHash' ∷ AlonzoTxBody era → StrictMaybe ScriptIntegrityHash Source #

adHash' ∷ AlonzoTxBody era → StrictMaybe TxAuxDataHash Source #

txnetworkid' ∷ AlonzoTxBody era → StrictMaybe Network Source #

getAdaOnly ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin) Source #

decodeDataHash32 ∷ DataHash32 → DataHash Source #

encodeDataHash32 ∷ DataHash → DataHash32 Source #

encodeAddress28 ∷ Network → PaymentCredential → Addr28Extra Source #

decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Addr Source #

viewCompactTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (CompactAddr, CompactForm (Value era), StrictMaybe DataHash) Source #

viewTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (Addr, Value era, StrictMaybe DataHash) Source #

data EraIndependentScriptIntegrity Source #

Instances

Instances details

Era era ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods hashAnnotated ∷ ScriptIntegrity era → SafeHash EraIndependentScriptIntegrity Source #

type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity Source #

getAlonzoTxOutEitherAddr ∷ AlonzoTxOut era → Either Addr CompactAddr Source #

utxoEntrySize ∷ AlonzoEraTxOut era ⇒ TxOut era → Integer Source #

Compute an estimate of the size of storing one UTxO entry. This function implements the UTxO entry size estimate done by scaledMinDeposit in the ShelleyMA era

alonzoRedeemerPointer ∷ ∀ era. MaryEraTxBody era ⇒ TxBody era → AlonzoPlutusPurpose AsItem era → StrictMaybe (AlonzoPlutusPurpose AsIx era) Source #

alonzoRedeemerPointerInverse ∷ MaryEraTxBody era ⇒ TxBody era → AlonzoPlutusPurpose AsIx era → StrictMaybe (AlonzoPlutusPurpose AsIxItem era) Source #

Orphan instances

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