| 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 → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → StrictMaybe TxAuxDataHash → AllegraTxBody era
- emptyAllegraTxBodyRaw ∷ Monoid ma ⇒ AllegraTxBodyRaw ma era
- data AllegraTxBodyRaw ma era = AllegraTxBodyRaw {
- atbrInputs ∷ !(Set TxIn)
- atbrOutputs ∷ !(StrictSeq (TxOut era))
- atbrCerts ∷ !(StrictSeq (TxCert era))
- atbrWithdrawals ∷ !Withdrawals
- atbrTxFee ∷ !Coin
- atbrValidityInterval ∷ !ValidityInterval
- atbrUpdate ∷ !(StrictMaybe (Update era))
- atbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash)
- atbrMint ∷ !ma
- data StrictMaybe a
- data ValidityInterval = ValidityInterval {}
Documentation
class EraTxBody era ⇒ AllegraEraTxBody era where Source #
Methods
vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval Source #
Instances
| AllegraEraTxBody AllegraEra Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source # | |
newtype AllegraTxBody e Source #
Constructors
| TxBodyConstr (MemoBytes (AllegraTxBodyRaw ()) e) |
Bundled Patterns
| pattern AllegraTxBody ∷ (EraTxOut era, EraTxCert era) ⇒ Set TxIn → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → ValidityInterval → StrictMaybe (Update era) → StrictMaybe TxAuxDataHash → 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 | |