| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Alonzo.TxOut
Contents
Synopsis
- class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where
- dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe DataHash)
- datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era)
- 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 AlonzoTxOut ∷ ∀ era. (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → StrictMaybe DataHash → AlonzoTxOut era
- pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → AlonzoTxOut era
- pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → AlonzoTxOut era
- data Addr28Extra
- data DataHash32
- getAdaOnly ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin)
- decodeDataHash32 ∷ DataHash32 → DataHash
- encodeDataHash32 ∷ DataHash → DataHash32
- encodeAddress28 ∷ Network → PaymentCredential → Addr28Extra
- decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Addr
- viewCompactTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (CompactAddr, CompactForm (Value era), StrictMaybe DataHash)
- viewTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (Addr, Value era, StrictMaybe DataHash)
- getAlonzoTxOutEitherAddr ∷ AlonzoTxOut era → Either Addr CompactAddr
- utxoEntrySize ∷ AlonzoEraTxOut era ⇒ TxOut era → Integer
- internAlonzoTxOut ∷ (Credential 'Staking → Credential 'Staking) → AlonzoTxOut era → AlonzoTxOut era
Documentation
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
| AlonzoEraTxOut AlonzoEra Source # | |
Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source # datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source # | |
data AlonzoTxOut era Source #
Constructors
Bundled Patterns
| pattern AlonzoTxOut ∷ ∀ era. (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → StrictMaybe DataHash → AlonzoTxOut era | |
| pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → AlonzoTxOut era | |
| pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → AlonzoTxOut era |
Instances
data Addr28Extra Source #
Instances
data DataHash32 Source #
Instances
getAdaOnly ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin) 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 #
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
internAlonzoTxOut ∷ (Credential 'Staking → Credential 'Staking) → AlonzoTxOut era → AlonzoTxOut era Source #