| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Allegra.TxBody.Internal
Contents
Description
Provides Allegra 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
- class EraTxBody era ⇒ AllegraEraTxBody era where
- vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval
- newtype AllegraTxBody e where
- TxBodyConstr (MemoBytes (AllegraTxBodyRaw ()) e)
- pattern AllegraTxBody ∷ (EraTxOut era, EraTxCert era) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → StrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → AllegraTxBody era
- emptyAllegraTxBodyRaw ∷ Monoid ma ⇒ AllegraTxBodyRaw ma era
- data AllegraTxBodyRaw ma era = AllegraTxBodyRaw {
- atbrInputs ∷ !(Set (TxIn (EraCrypto era)))
- atbrOutputs ∷ !(StrictSeq (TxOut era))
- atbrCerts ∷ !(StrictSeq (TxCert era))
- atbrWithdrawals ∷ !(Withdrawals (EraCrypto era))
- atbrTxFee ∷ !Coin
- atbrValidityInterval ∷ !ValidityInterval
- atbrUpdate ∷ !(StrictMaybe (Update era))
- atbrAuxDataHash ∷ !(StrictMaybe (AuxiliaryDataHash (EraCrypto era)))
- atbrMint ∷ !ma
- data StrictMaybe a
- data ValidityInterval = ValidityInterval {}
Documentation
class EraTxBody era ⇒ AllegraEraTxBody era where Source #
Methods
vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval Source #
Instances
| Crypto c ⇒ AllegraEraTxBody (AllegraEra c) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody (AllegraEra c)) ValidityInterval Source # | |
newtype AllegraTxBody e Source #
Constructors
| TxBodyConstr (MemoBytes (AllegraTxBodyRaw ()) e) |
Bundled Patterns
| pattern AllegraTxBody ∷ (EraTxOut era, EraTxCert era) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → StrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → AllegraTxBody era | A pattern to keep the newtype and the MemoBytes hidden |
Instances
emptyAllegraTxBodyRaw ∷ Monoid ma ⇒ AllegraTxBodyRaw ma era Source #
data AllegraTxBodyRaw ma era Source #
Constructors
| AllegraTxBodyRaw | |
Fields
| |
Instances
data StrictMaybe a Source #
Instances
data ValidityInterval Source #
ValidityInterval is a half open interval. Closed on the bottom, open on the top. A SNothing on the bottom is negative infinity, and a SNothing on the top is positive infinity
Constructors
| ValidityInterval | |
Fields | |