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 (EraCrypto era)) !(CompactForm (Value era))
- TxOutCompactDH' !(CompactAddr (EraCrypto era)) !(CompactForm (Value era)) !(DataHash (EraCrypto era))
- TxOut_AddrHash28_AdaOnly !(Credential 'Staking (EraCrypto era)) !Addr28Extra !(CompactForm Coin)
- TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential 'Staking (EraCrypto era)) !Addr28Extra !(CompactForm Coin) !DataHash32
- pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value era) → AlonzoTxOut era
- pattern AlonzoTxOut ∷ ∀ era. (Era era, Val (Value era), HasCallStack) ⇒ Addr (EraCrypto era) → Value era → StrictMaybe (DataHash (EraCrypto era)) → AlonzoTxOut era
- pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value era) → DataHash (EraCrypto era) → AlonzoTxOut era
class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where
- dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe (DataHash (EraCrypto era)))
- datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era)
data Addr28Extra
data DataHash32
newtype AlonzoTxBody era where
- TxBodyConstr (MemoBytes AlonzoTxBodyRaw era)
- pattern AlonzoTxBody ∷ (EraTxOut era, EraTxCert era) ⇒ Set (TxIn (EraCrypto era)) → Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness (EraCrypto era)) → MultiAsset (EraCrypto era) → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → StrictMaybe Network → AlonzoTxBody era
data AlonzoTxBodyRaw era = AlonzoTxBodyRaw {
- atbrInputs ∷ !(Set (TxIn (EraCrypto era)))
- atbrCollateral ∷ !(Set (TxIn (EraCrypto era)))
- atbrOutputs ∷ !(StrictSeq (TxOut era))
- atbrCerts ∷ !(StrictSeq (TxCert era))
- atbrWithdrawals ∷ !(Withdrawals (EraCrypto era))
- atbrTxFee ∷ !Coin
- atbrValidityInterval ∷ !ValidityInterval
- atbrUpdate ∷ !(StrictMaybe (Update era))
- atbrReqSignerHashes ∷ Set (KeyHash 'Witness (EraCrypto era))
- atbrMint ∷ !(MultiAsset (EraCrypto era))
- atbrScriptIntegrityHash ∷ !(StrictMaybe (ScriptIntegrityHash (EraCrypto era)))
- atbrAuxDataHash ∷ !(StrictMaybe (AuxiliaryDataHash (EraCrypto era)))
- atbrTxNetworkId ∷ !(StrictMaybe Network)
}
data AlonzoTxBodyUpgradeError = ATBUEMinUTxOUpdated
class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where
- collateralInputsTxBodyL ∷ Lens' (TxBody era) (Set (TxIn (EraCrypto era)))
- reqSignerHashesTxBodyL ∷ Lens' (TxBody era) (Set (KeyHash 'Witness (EraCrypto era)))
- scriptIntegrityHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (ScriptIntegrityHash (EraCrypto era)))
- 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 (EraCrypto era))
- mintValueTxBodyF ∷ SimpleGetter (TxBody era) (Value era)
- mintedTxBodyF ∷ SimpleGetter (TxBody era) (Set (PolicyID (EraCrypto era)))
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 (EraCrypto era))
collateral' ∷ AlonzoTxBody era → Set (TxIn (EraCrypto era))
outputs' ∷ AlonzoTxBody era → StrictSeq (TxOut era)
certs' ∷ AlonzoTxBody era → StrictSeq (TxCert era)
withdrawals' ∷ AlonzoTxBody era → Withdrawals (EraCrypto era)
txfee' ∷ AlonzoTxBody era → Coin
vldt' ∷ AlonzoTxBody era → ValidityInterval
update' ∷ AlonzoTxBody era → StrictMaybe (Update era)
reqSignerHashes' ∷ AlonzoTxBody era → Set (KeyHash 'Witness (EraCrypto era))
mint' ∷ AlonzoTxBody era → MultiAsset (EraCrypto era)
scriptIntegrityHash' ∷ AlonzoTxBody era → StrictMaybe (ScriptIntegrityHash (EraCrypto era))
adHash' ∷ AlonzoTxBody era → StrictMaybe (AuxiliaryDataHash (EraCrypto era))
txnetworkid' ∷ AlonzoTxBody era → StrictMaybe Network
getAdaOnly ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin)
decodeDataHash32 ∷ ∀ c. HashAlgorithm (HASH c) ⇒ DataHash32 → Maybe (DataHash c)
encodeDataHash32 ∷ ∀ c. HashAlgorithm (HASH c) ⇒ DataHash c → Maybe (SizeHash (HASH c) :~: 32, DataHash32)
encodeAddress28 ∷ ∀ c. HashAlgorithm (ADDRHASH c) ⇒ Network → PaymentCredential c → Maybe (SizeHash (ADDRHASH c) :~: 28, Addr28Extra)
decodeAddress28 ∷ ∀ c. HashAlgorithm (ADDRHASH c) ⇒ Credential 'Staking c → Addr28Extra → Maybe (Addr c)
viewCompactTxOut ∷ (Era era, Val (Value era)) ⇒ AlonzoTxOut era → (CompactAddr (EraCrypto era), CompactForm (Value era), StrictMaybe (DataHash (EraCrypto era)))
viewTxOut ∷ (Era era, Val (Value era)) ⇒ AlonzoTxOut era → (Addr (EraCrypto era), Value era, StrictMaybe (DataHash (EraCrypto era)))
data EraIndependentScriptIntegrity
type ScriptIntegrityHash c = SafeHash c EraIndependentScriptIntegrity
getAlonzoTxOutEitherAddr ∷ HashAlgorithm (ADDRHASH (EraCrypto era)) ⇒ AlonzoTxOut era → Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era))
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 (EraCrypto era)) !(CompactForm (Value era))
TxOutCompactDH' !(CompactAddr (EraCrypto era)) !(CompactForm (Value era)) !(DataHash (EraCrypto era))
TxOut_AddrHash28_AdaOnly !(Credential 'Staking (EraCrypto era)) !Addr28Extra !(CompactForm Coin)
TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential 'Staking (EraCrypto era)) !Addr28Extra !(CompactForm Coin) !DataHash32

Bundled Patterns

pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value era) → AlonzoTxOut era
pattern AlonzoTxOut ∷ ∀ era. (Era era, Val (Value era), HasCallStack) ⇒ Addr (EraCrypto era) → Value era → StrictMaybe (DataHash (EraCrypto era)) → AlonzoTxOut era
pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value era) → DataHash (EraCrypto era) → 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 Source # Methods from ∷ AlonzoTxOut era → Rep (AlonzoTxOut era) x Source # to ∷ Rep (AlonzoTxOut era) x → AlonzoTxOut era Source #
(Era era, Val (Value era)) ⇒ Show (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods showsPrec ∷ Int → AlonzoTxOut era → ShowS Source # show ∷ AlonzoTxOut era → String Source # showList ∷ [AlonzoTxOut era] → ShowS Source #
(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)) ⇒ 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 → () Source #
(Eq (Value era), Compactible (Value era)) ⇒ Eq (AlonzoTxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods (==) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool Source # (/=) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool 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.12.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :: 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 (EraCrypto era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DataHash (EraCrypto era)))))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :: (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 (EraCrypto era))) :: 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 (EraCrypto era))

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

Methods

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

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

Instances

Instances details

Crypto c ⇒ AlonzoEraTxOut (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (StrictMaybe (DataHash (EraCrypto (AlonzoEra c)))) Source # datumTxOutF ∷ SimpleGetter (TxOut (AlonzoEra c)) (Datum (AlonzoEra c)) 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 Source # Methods from ∷ Addr28Extra → Rep Addr28Extra x Source # to ∷ Rep Addr28Extra x → Addr28Extra Source #
Show Addr28Extra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods showsPrec ∷ Int → Addr28Extra → ShowS Source # show ∷ Addr28Extra → String Source # showList ∷ [Addr28Extra] → ShowS Source #
Eq Addr28Extra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods (==) ∷ Addr28Extra → Addr28Extra → Bool Source # (/=) ∷ Addr28Extra → Addr28Extra → Bool 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.12.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 Source # Methods from ∷ DataHash32 → Rep DataHash32 x Source # to ∷ Rep DataHash32 x → DataHash32 Source #
Show DataHash32 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods showsPrec ∷ Int → DataHash32 → ShowS Source # show ∷ DataHash32 → String Source # showList ∷ [DataHash32] → ShowS Source #
Eq DataHash32 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods (==) ∷ DataHash32 → DataHash32 → Bool Source # (/=) ∷ DataHash32 → DataHash32 → Bool 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.12.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 ∷ (EraTxOut era, EraTxCert era) ⇒ Set (TxIn (EraCrypto era)) → Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness (EraCrypto era)) → MultiAsset (EraCrypto era) → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → StrictMaybe Network → AlonzoTxBody era

Instances

Instances details

Memoized AlonzoTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Associated Types type RawType AlonzoTxBody = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ AlonzoTxBody era → MemoBytes (RawType AlonzoTxBody) era wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxBody) era → AlonzoTxBody era
Generic (AlonzoTxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Associated Types type Rep (AlonzoTxBody era) ∷ Type → Type Source # Methods from ∷ AlonzoTxBody era → Rep (AlonzoTxBody era) x Source # to ∷ Rep (AlonzoTxBody era) x → AlonzoTxBody era Source #
(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 Source # show ∷ AlonzoTxBody era → String Source # showList ∷ [AlonzoTxBody era] → ShowS Source #
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 (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 #
(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 #
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 ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoTxBody era → SafeHash c index Source #
(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 → () Source #
(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 Source # (/=) ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source #
(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 #
c ~ EraCrypto era ⇒ HashAnnotated (AlonzoTxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods indexProxy ∷ AlonzoTxBody era → Proxy EraIndependentTxBody Source # hashAnnotated ∷ AlonzoTxBody era → SafeHash c EraIndependentTxBody Source #
type RawType AlonzoTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type RawType AlonzoTxBody = AlonzoTxBodyRaw
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.12.0.0-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw era))))

data AlonzoTxBodyRaw era Source #

Constructors

AlonzoTxBodyRaw

Fields

atbrInputs ∷ !(Set (TxIn (EraCrypto era)))
atbrCollateral ∷ !(Set (TxIn (EraCrypto era)))
atbrOutputs ∷ !(StrictSeq (TxOut era))
atbrCerts ∷ !(StrictSeq (TxCert era))
atbrWithdrawals ∷ !(Withdrawals (EraCrypto era))
atbrTxFee ∷ !Coin
atbrValidityInterval ∷ !ValidityInterval
atbrUpdate ∷ !(StrictMaybe (Update era))
atbrReqSignerHashes ∷ Set (KeyHash 'Witness (EraCrypto era))
atbrMint ∷ !(MultiAsset (EraCrypto era))
atbrScriptIntegrityHash ∷ !(StrictMaybe (ScriptIntegrityHash (EraCrypto era)))
atbrAuxDataHash ∷ !(StrictMaybe (AuxiliaryDataHash (EraCrypto era)))
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 Source # Methods from ∷ AlonzoTxBodyRaw era → Rep (AlonzoTxBodyRaw era) x Source # to ∷ Rep (AlonzoTxBodyRaw era) x → AlonzoTxBodyRaw era Source #
(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 Source # show ∷ AlonzoTxBodyRaw era → String Source # showList ∷ [AlonzoTxBodyRaw era] → ShowS Source #
(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 → () Source #
(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 Source # (/=) ∷ AlonzoTxBodyRaw era → AlonzoTxBodyRaw era → Bool Source #
(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 MemoHashIndex AlonzoTxBodyRaw Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal type MemoHashIndex AlonzoTxBodyRaw = EraIndependentTxBody
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.12.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxBodyRaw" 'PrefixI 'True) (((S1 ('MetaSel ('Just "atbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :: (S1 ('MetaSel ('Just "atbrCollateral") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :: 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 (EraCrypto era))) :: 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 (EraCrypto era)))))) :: ((S1 ('MetaSel ('Just "atbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MultiAsset (EraCrypto era))) :: S1 ('MetaSel ('Just "atbrScriptIntegrityHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptIntegrityHash (EraCrypto era))))) :: (S1 ('MetaSel ('Just "atbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (AuxiliaryDataHash (EraCrypto era)))) :: S1 ('MetaSel ('Just "atbrTxNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Network)))))))

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 Source # show ∷ AlonzoTxBodyUpgradeError → String Source # showList ∷ [AlonzoTxBodyUpgradeError] → ShowS Source #

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

Methods

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

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

scriptIntegrityHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (ScriptIntegrityHash (EraCrypto era))) 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

Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

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

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

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

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

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

redeemerPointerInverse ∷ TxBody (AlonzoEra c) → PlutusPurpose AsIx (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIxItem (AlonzoEra c)) 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

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

class EraTxBody era ⇒ AllegraEraTxBody era where Source #

Methods

vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval Source #

Instances

Instances details

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

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 (AlonzoEra c) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods mintTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (MultiAsset (EraCrypto (AlonzoEra c))) Source # mintValueTxBodyF ∷ SimpleGetter (TxBody (AlonzoEra c)) (Value (AlonzoEra c)) Source # mintedTxBodyF ∷ SimpleGetter (TxBody (AlonzoEra c)) (Set (PolicyID (EraCrypto (AlonzoEra c)))) Source #
Crypto c ⇒ MaryEraTxBody (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxBody.Internal 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 #

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 (EraCrypto era)) Source #

collateral' ∷ AlonzoTxBody era → Set (TxIn (EraCrypto era)) Source #

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

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

withdrawals' ∷ AlonzoTxBody era → Withdrawals (EraCrypto era) Source #

txfee' ∷ AlonzoTxBody era → Coin Source #

vldt' ∷ AlonzoTxBody era → ValidityInterval Source #

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

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

mint' ∷ AlonzoTxBody era → MultiAsset (EraCrypto era) Source #

scriptIntegrityHash' ∷ AlonzoTxBody era → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) Source #

adHash' ∷ AlonzoTxBody era → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) Source #

txnetworkid' ∷ AlonzoTxBody era → StrictMaybe Network Source #

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

decodeDataHash32 ∷ ∀ c. HashAlgorithm (HASH c) ⇒ DataHash32 → Maybe (DataHash c) Source #

encodeDataHash32 ∷ ∀ c. HashAlgorithm (HASH c) ⇒ DataHash c → Maybe (SizeHash (HASH c) :~: 32, DataHash32) Source #

encodeAddress28 ∷ ∀ c. HashAlgorithm (ADDRHASH c) ⇒ Network → PaymentCredential c → Maybe (SizeHash (ADDRHASH c) :~: 28, Addr28Extra) Source #

decodeAddress28 ∷ ∀ c. HashAlgorithm (ADDRHASH c) ⇒ Credential 'Staking c → Addr28Extra → Maybe (Addr c) Source #

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

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

data EraIndependentScriptIntegrity Source #

Instances

Instances details

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

type ScriptIntegrityHash c = SafeHash c EraIndependentScriptIntegrity Source #

getAlonzoTxOutEitherAddr ∷ HashAlgorithm (ADDRHASH (EraCrypto era)) ⇒ AlonzoTxOut era → Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era)) 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

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