| 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 ∷ ∀ era. (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 ∷ ∀ era. (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
| AllegraEraTxBody era ⇒ DecCBOR (Annotator (AllegraTxBodyRaw () era)) Source # | |
| Generic (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal Associated Types type Rep (AllegraTxBodyRaw ma era) ∷ Type → Type # Methods from ∷ AllegraTxBodyRaw ma era → Rep (AllegraTxBodyRaw ma era) x # to ∷ Rep (AllegraTxBodyRaw ma era) x → AllegraTxBodyRaw ma era # | |
| (Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era), Show ma) ⇒ Show (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods showsPrec ∷ Int → AllegraTxBodyRaw ma era → ShowS # show ∷ AllegraTxBodyRaw ma era → String # showList ∷ [AllegraTxBodyRaw ma era] → ShowS # | |
| (DecCBOR ma, Monoid ma, AllegraEraTxBody era) ⇒ DecCBOR (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal | |
| (EraTxOut era, EraTxCert era, Eq ma, EncCBOR ma, Monoid ma) ⇒ EncCBOR (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods encCBOR ∷ AllegraTxBodyRaw ma era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxBodyRaw ma era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxBodyRaw ma era] → Size Source # | |
| (Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era), NFData ma) ⇒ NFData (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods rnf ∷ AllegraTxBodyRaw ma era → () # | |
| (Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era), Eq ma) ⇒ Eq (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal Methods (==) ∷ AllegraTxBodyRaw ma era → AllegraTxBodyRaw ma era → Bool # (/=) ∷ AllegraTxBodyRaw ma era → AllegraTxBodyRaw ma era → Bool # | |
| (Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era), NoThunks ma) ⇒ NoThunks (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal | |
| type Rep (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal type Rep (AllegraTxBodyRaw ma era) = D1 ('MetaData "AllegraTxBodyRaw" "Cardano.Ledger.Allegra.TxBody.Internal" "cardano-ledger-allegra-1.7.0.0-inplace" 'False) (C1 ('MetaCons "AllegraTxBodyRaw" 'PrefixI 'True) (((S1 ('MetaSel ('Just "atbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :*: S1 ('MetaSel ('Just "atbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxOut era)))) :*: (S1 ('MetaSel ('Just "atbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))) :*: S1 ('MetaSel ('Just "atbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Withdrawals))) :*: ((S1 ('MetaSel ('Just "atbrTxFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "atbrValidityInterval") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval)) :*: (S1 ('MetaSel ('Just "atbrUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Update era))) :*: (S1 ('MetaSel ('Just "atbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe TxAuxDataHash)) :*: S1 ('MetaSel ('Just "atbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ma)))))) | |
| type MemoHashIndex (AllegraTxBodyRaw c era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody.Internal | |
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 | |