Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data BabbageTxOut era where
- TxOutCompactDatum !CompactAddr !(CompactForm (Value era)) !(BinaryData era)
- TxOutCompactRefScript !CompactAddr !(CompactForm (Value era)) !(Datum era) !(Script era)
- pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era
- pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → BabbageTxOut era
- pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → BabbageTxOut era
- allSizedOutputsBabbageTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era)))
- babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin
- data BabbageTxBody era where
- pattern BabbageTxBody ∷ BabbageEraTxBody era ⇒ Set TxIn → Set TxIn → Set TxIn → StrictSeq (Sized (TxOut era)) → StrictMaybe (Sized (TxOut era)) → StrictMaybe Coin → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → BabbageTxBody era
- data BabbageTxBodyRaw era
- data BabbageTxBodyUpgradeError
- babbageAllInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn)
- babbageSpendableInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn)
- class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era where
- sizedOutputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (Sized (TxOut era)))
- referenceInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn)
- totalCollateralTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin)
- collateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (TxOut era))
- sizedCollateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Sized (TxOut era)))
- allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era)))
- spendInputs' ∷ BabbageTxBody era → Set TxIn
- collateralInputs' ∷ BabbageTxBody era → Set TxIn
- referenceInputs' ∷ BabbageTxBody era → Set TxIn
- outputs' ∷ BabbageTxBody era → StrictSeq (TxOut era)
- collateralReturn' ∷ BabbageTxBody era → StrictMaybe (TxOut era)
- totalCollateral' ∷ BabbageTxBody era → StrictMaybe Coin
- certs' ∷ BabbageTxBody era → StrictSeq (TxCert era)
- withdrawals' ∷ BabbageTxBody era → Withdrawals
- txfee' ∷ BabbageTxBody era → Coin
- vldt' ∷ BabbageTxBody era → ValidityInterval
- update' ∷ BabbageTxBody era → StrictMaybe (Update era)
- reqSignerHashes' ∷ BabbageTxBody era → Set (KeyHash 'Witness)
- mint' ∷ BabbageTxBody era → MultiAsset
- scriptIntegrityHash' ∷ BabbageTxBody era → StrictMaybe ScriptIntegrityHash
- adHash' ∷ BabbageTxBody era → StrictMaybe TxAuxDataHash
- txnetworkid' ∷ BabbageTxBody era → StrictMaybe Network
- getEitherAddrBabbageTxOut ∷ HasCallStack ⇒ BabbageTxOut era → Either Addr CompactAddr
- data EraIndependentScriptIntegrity
- type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity
- txOutData ∷ Era era ⇒ BabbageTxOut era → Maybe (Data era)
- txOutDataHash ∷ BabbageTxOut era → Maybe DataHash
- txOutScript ∷ BabbageTxOut era → Maybe (Script era)
Documentation
data BabbageTxOut era Source #
TxOutCompactDatum !CompactAddr !(CompactForm (Value era)) !(BinaryData era) | |
TxOutCompactRefScript !CompactAddr !(CompactForm (Value era)) !(Datum era) !(Script era) |
pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era | |
pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → BabbageTxOut era | |
pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → BabbageTxOut era |
Instances
allSizedOutputsBabbageTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era))) Source #
babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin Source #
data BabbageTxBody era where Source #
pattern BabbageTxBody ∷ BabbageEraTxBody era ⇒ Set TxIn → Set TxIn → Set TxIn → StrictSeq (Sized (TxOut era)) → StrictMaybe (Sized (TxOut era)) → StrictMaybe Coin → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness) → MultiAsset → StrictMaybe ScriptIntegrityHash → StrictMaybe TxAuxDataHash → StrictMaybe Network → BabbageTxBody era |
Instances
data BabbageTxBodyRaw era Source #
Instances
data BabbageTxBodyUpgradeError Source #
BTBUEUpdatesD | The update attempts to update the decentralistion parameter, which is dropped in Babbage. |
BTBUEUpdatesExtraEntropy | The update attempts to update the extra entropy, which is dropped in Babbage. |
babbageAllInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn) Source #
babbageSpendableInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody era) (Set TxIn) Source #
class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era where Source #
sizedOutputsTxBodyL ∷ Lens' (TxBody era) (StrictSeq (Sized (TxOut era))) Source #
referenceInputsTxBodyL ∷ Lens' (TxBody era) (Set TxIn) Source #
totalCollateralTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Coin) Source #
collateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (TxOut era)) Source #
sizedCollateralReturnTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Sized (TxOut era))) Source #
allSizedOutputsTxBodyF ∷ SimpleGetter (TxBody era) (StrictSeq (Sized (TxOut era))) Source #
Instances
spendInputs' ∷ BabbageTxBody era → Set TxIn Source #
collateralInputs' ∷ BabbageTxBody era → Set TxIn Source #
referenceInputs' ∷ BabbageTxBody era → Set TxIn Source #
collateralReturn' ∷ BabbageTxBody era → StrictMaybe (TxOut era) Source #
totalCollateral' ∷ BabbageTxBody era → StrictMaybe Coin Source #
withdrawals' ∷ BabbageTxBody era → Withdrawals Source #
txfee' ∷ BabbageTxBody era → Coin Source #
vldt' ∷ BabbageTxBody era → ValidityInterval Source #
update' ∷ BabbageTxBody era → StrictMaybe (Update era) Source #
reqSignerHashes' ∷ BabbageTxBody era → Set (KeyHash 'Witness) Source #
mint' ∷ BabbageTxBody era → MultiAsset Source #
adHash' ∷ BabbageTxBody era → StrictMaybe TxAuxDataHash Source #
txnetworkid' ∷ BabbageTxBody era → StrictMaybe Network Source #
data EraIndependentScriptIntegrity Source #
Instances
Era era ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity | |
Defined in Cardano.Ledger.Alonzo.Tx |
txOutData ∷ Era era ⇒ BabbageTxOut era → Maybe (Data era) Source #
Deprecated: In favor of dataTxOutL
or getDataBabbageTxOut
txOutDataHash ∷ BabbageTxOut era → Maybe DataHash Source #
Deprecated: In favor of dataHashTxOutL
or getDataHashBabbageTxOut
txOutScript ∷ BabbageTxOut era → Maybe (Script era) Source #
Deprecated: In favor of dataTxOutL
or getScriptBabbageTxOut