cardano-ledger-alonzo-1.12.0.0: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Alonzo.TxBody

Synopsis

Documentation

data AlonzoTxOut era Source #

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

Generic (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep (AlonzoTxOut era) ∷ TypeType Source #

Methods

fromAlonzoTxOut era → Rep (AlonzoTxOut era) x Source #

toRep (AlonzoTxOut era) x → AlonzoTxOut era Source #

(Era era, Val (Value era)) ⇒ Show (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

(Era era, Val (Value era)) ⇒ FromCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

(Era era, Val (Value era)) ⇒ ToCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

toCBORAlonzoTxOut 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

(Era era, Val (Value era)) ⇒ DecShareCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Share (AlonzoTxOut era) Source #

(Era era, Val (Value era)) ⇒ EncCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

encCBORAlonzoTxOut 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

rnfAlonzoTxOut 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

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 ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DataHash (EraCrypto era)))))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32)))))
type Share (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

data Addr28Extra Source #

Instances

Instances details
Generic Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep Addr28ExtraTypeType Source #

Show Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Eq Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

NoThunks Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

data DataHash32 Source #

Instances

Instances details
Generic DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep DataHash32TypeType Source #

Show DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Eq DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

NoThunks DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

data AlonzoTxBody era where Source #

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) → CoinValidityIntervalStrictMaybe (Update era) → Set (KeyHash 'Witness (EraCrypto era)) → MultiAsset (EraCrypto era) → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → StrictMaybe NetworkAlonzoTxBody era 

Instances

Instances details
Memoized AlonzoTxBody Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Associated Types

type RawType AlonzoTxBody = (r ∷ TypeType) Source #

Generic (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Associated Types

type Rep (AlonzoTxBody era) ∷ TypeType Source #

Methods

fromAlonzoTxBody era → Rep (AlonzoTxBody era) x Source #

toRep (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

Typeable era ⇒ ToCBOR (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

toCBORAlonzoTxBody 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

Era era ⇒ EncCBOR (AlonzoTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

encCBORAlonzoTxBody 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

eqRawAlonzoTxBody era → AlonzoTxBody era → Bool Source #

SafeToHash (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

(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

rnfAlonzoTxBody 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

c ~ EraCrypto era ⇒ HashAnnotated (AlonzoTxBody era) EraIndependentTxBody c Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type RawType AlonzoTxBody Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxBodyRaw era))))

data AlonzoTxBodyRaw era Source #

Instances

Instances details
Generic (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Associated Types

type Rep (AlonzoTxBodyRaw era) ∷ TypeType 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

(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

(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

(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

encCBORAlonzoTxBodyRaw 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

rnfAlonzoTxBodyRaw 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

(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type MemoHashIndex AlonzoTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

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.

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

Methods

collateralInputsTxBodyLLens' (TxBody era) (Set (TxIn (EraCrypto era))) Source #

reqSignerHashesTxBodyLLens' (TxBody era) (Set (KeyHash 'Witness (EraCrypto era))) Source #

scriptIntegrityHashTxBodyLLens' (TxBody era) (StrictMaybe (ScriptIntegrityHash (EraCrypto era))) Source #

networkIdTxBodyLLens' (TxBody era) (StrictMaybe Network) Source #

redeemerPointerTxBody 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

redeemerPointerInverseTxBody 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.

class Indexable elem container where Source #

Methods

indexOfAsItem Word32 elem → container → StrictMaybe (AsIx Word32 elem) Source #

fromIndexAsIx 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

Eq k ⇒ Indexable k (StrictSeq k) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Ord k ⇒ Indexable k (Set k) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Ord k ⇒ Indexable k (Map k v) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

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

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

utxoEntrySizeAlonzoEraTxOut 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