| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Allegra.TxBody
Synopsis
- class EraTxBody era ⇒ AllegraEraTxBody era where
- vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval
- data AllegraTxBody e where
- 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 # | |
data AllegraTxBody e where Source #
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 | |