| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Allegra.TxBody
Contents
Synopsis
- class EraTxBody era ⇒ AllegraEraTxBody era where
- vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval
- data family TxBody 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
- atbrFee ∷ !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 Methods vldtTxBodyL ∷ Lens' (TxBody AllegraEra) ValidityInterval Source # | |
data family TxBody era Source #
The body of a transaction.
Instances
emptyAllegraTxBodyRaw ∷ Monoid ma ⇒ AllegraTxBodyRaw ma era Source #
data AllegraTxBodyRaw ma era Source #
Constructors
| AllegraTxBodyRaw | |
Fields
| |
Instances
| Generic (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody 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 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 | |
| (EraTxOut era, EraTxCert era, Eq ma, EncCBOR ma, Monoid ma) ⇒ EncCBOR (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody 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 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 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 | |
| type Rep (AllegraTxBodyRaw ma era) Source # | |
Defined in Cardano.Ledger.Allegra.TxBody type Rep (AllegraTxBodyRaw ma era) = D1 ('MetaData "AllegraTxBodyRaw" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.8.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 "atbrFee") '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 | |
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 | |