Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.TxBody

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
data AlonzoTxBody era where
- pattern AlonzoTxBody ∷ (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
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 → Maybe DataHash
encodeDataHash32 ∷ DataHash → Maybe (SizeHash HASH :~: 32, DataHash32)
encodeAddress28 ∷ Network → PaymentCredential → Maybe (SizeHash ADDRHASH :~: 28, Addr28Extra)
decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Maybe 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 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.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 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.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 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.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))))

data AlonzoTxBody era where Source #

Bundled Patterns

pattern AlonzoTxBody ∷ (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

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 #
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 #
(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 #
HashAnnotated (AlonzoTxBody era) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods hashAnnotated ∷ AlonzoTxBody era → SafeHash 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.13.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 #

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

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) 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 → Maybe DataHash Source #

encodeDataHash32 ∷ DataHash → Maybe (SizeHash HASH :~: 32, DataHash32) Source #

encodeAddress28 ∷ Network → PaymentCredential → Maybe (SizeHash ADDRHASH :~: 28, Addr28Extra) Source #

decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Maybe 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 #