Modulecardano-ledger-allegra-1.10.1.0

Cardano.Ledger.Allegra.TxBody

3 types
1 class
10 values

Packagecardano-ledger-allegra-1.10.1.0
Exports17
LicenceApache-2.0

value

basicAllegraTxBody :: (EraTxBody era, Memoized (TxBody l era), RawType (TxBody l era) ~ AllegraTxBodyRaw ma l era, HasEraTxLevel (AllegraTxBodyRaw ma) era, STxLevel l era ~ STxTopLevel l era, Typeable l, EncCBOR ma, Monoid ma, Eq ma) => TxBody l era

valueemptyAllegraTxBodyRaw :: Monoid ma => AllegraTxBodyRaw ma TopTx era

datadata ValidityInterval

Constructors

ValidityInterval
- invalidBefore :: !StrictMaybe SlotNo
- invalidHereafter :: !StrictMaybe SlotNo

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Ord ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Show ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
Generic ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NFData ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
FromJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
ToJSON ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
NoThunks ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
DecCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
EncCBOR ValidityIntervalDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts
type Rep ValidityInterval = D1 ('MetaData "ValidityInterval" "Cardano.Ledger.Allegra.Scripts" "cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ" 'False) (C1 ('MetaCons "ValidityInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "invalidBefore") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo)) :*: S1 ('MetaSel ('Just "invalidHereafter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe SlotNo))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts

classclass EraTxBody era => AllegraEraTxBody era where

Methods

vldtTxBodyL :: Lens' (TxBody l era) ValidityInterval

Instances1AllegraEraTxBody

AllegraEraTxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody

datadata AllegraTxBodyRaw ma (l :: TxLevel) era where

Constructors

AllegraTxBodyRaw :: !Set TxIn -> !StrictSeq (TxOut era) -> !StrictSeq (TxCert era) -> !Withdrawals -> !Coin -> !ValidityInterval -> !StrictMaybe (Update era) -> !StrictMaybe TxAuxDataHash -> !ma -> AllegraTxBodyRaw ma TopTx era
- 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

Instances9HasEraTxLevel, Eq, Show, NFData, NoThunks, DecCBOR, …

(DecCBOR ma, Monoid ma, AllegraEraTxBody era, HasEraTxLevel (AllegraTxBodyRaw ma) era, STxLevel l era ~ STxTopLevel l era, Typeable l) => DecCBOR (Annotator (AllegraTxBodyRaw ma l era))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody
HasEraTxLevel (AllegraTxBodyRaw m) AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody
(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era), Eq ma) => Eq (AllegraTxBodyRaw ma l era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era), Show ma) => Show (AllegraTxBodyRaw ma l era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era), NFData ma) => NFData (AllegraTxBodyRaw ma l era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody
(Typeable era, Typeable ma, Typeable l) => NoThunks (AllegraTxBodyRaw ma l era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody
(DecCBOR ma, Monoid ma, AllegraEraTxBody era, HasEraTxLevel (AllegraTxBodyRaw ma) era, STxLevel l era ~ STxTopLevel l era, Typeable l) => DecCBOR (AllegraTxBodyRaw ma l era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody
(EraTxOut era, EraTxCert era, Eq ma, EncCBOR ma, Monoid ma) => EncCBOR (AllegraTxBodyRaw ma l era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody
type MemoHashIndex (AllegraTxBodyRaw c l era) = EraIndependentTxBodyDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody

familydata family TxBody (l :: TxLevel) era

Instances33HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …

HasEraTxLevel TxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
HasEraTxLevel TxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EraTxBody era => HasOKey TxId (TxBody l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core
Typeable l => DecCBOR (Annotator (TxBody l AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Typeable l => DecCBOR (Annotator (TxBody l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Eq (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Eq (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Show (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Show (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Generic (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Generic (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
NFData (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
NFData (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => NoThunks (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Typeable l => NoThunks (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Typeable l => ToCBOR (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Typeable l => ToCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EncCBOR (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
EncCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
SafeToHash (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
SafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
EqRaw (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
EqRaw (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
Memoized (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
Memoized (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
HashAnnotated (TxBody l AllegraEra) EraIndependentTxBodyDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
data TxBody l AllegraEra
- MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))
Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
data TxBody l ShelleyEra
- MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan

pattern

pattern AllegraTxBody :: (EraTxOut AllegraEra, EraTxCert AllegraEra) => Set TxIn -> StrictSeq (TxOut AllegraEra) -> StrictSeq (TxCert AllegraEra) -> Withdrawals -> Coin -> ValidityInterval -> StrictMaybe (Update AllegraEra) -> StrictMaybe TxAuxDataHash -> TxBody TopTx AllegraEra

constructorMkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))

valueatbAuxDataHash

:: (EraTxOut AllegraEra, EraTxCert AllegraEra)
=> TxBody TopTx AllegraEra
-> StrictMaybe TxAuxDataHash

valueatbCerts

:: (EraTxOut AllegraEra, EraTxCert AllegraEra)
=> TxBody TopTx AllegraEra
-> StrictSeq (TxCert AllegraEra)

valueatbInputs

:: (EraTxOut AllegraEra, EraTxCert AllegraEra)
=> TxBody TopTx AllegraEra
-> Set TxIn

valueatbOutputs

:: (EraTxOut AllegraEra, EraTxCert AllegraEra)
=> TxBody TopTx AllegraEra
-> StrictSeq (TxOut AllegraEra)

valueatbTxFee

:: (EraTxOut AllegraEra, EraTxCert AllegraEra)
=> TxBody TopTx AllegraEra
-> Coin

valueatbUpdate

:: (EraTxOut AllegraEra, EraTxCert AllegraEra)
=> TxBody TopTx AllegraEra
-> StrictMaybe (Update AllegraEra)

valueatbValidityInterval

:: (EraTxOut AllegraEra, EraTxCert AllegraEra)
=> TxBody TopTx AllegraEra
-> ValidityInterval

valueatbWithdrawals

:: (EraTxOut AllegraEra, EraTxCert AllegraEra)
=> TxBody TopTx AllegraEra
-> Withdrawals

datadata StrictMaybe a

Constructors

SNothing
SJust !a

Instances36Monad, Functor, MonadFail, Applicative, Foldable, Traversable, …

Monad StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Functor StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
MonadFail StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Applicative StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Foldable StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Traversable StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Alternative StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Eq1 StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Ord1 StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Read1 StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Show1 StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
HKDFunctor StrictMaybeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKD
HKDApplicative StrictMaybeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKD
Eq a => Eq (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Ord a => Ord (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Read a => Read (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Show a => Show (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Generic (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Semigroup a => Semigroup (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Semigroup a => Monoid (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
NFData a => NFData (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
FromJSON a => FromJSON (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
ToJSON a => ToJSON (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
Default (StrictMaybe t)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
NoThunks a => NoThunks (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
FromCBOR a => FromCBOR (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
ToCBOR a => ToCBOR (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict
DecCBOR a => DecCBOR (StrictMaybe a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
EncCBOR a => EncCBOR (StrictMaybe a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
Eq (ShelleyPParams StrictMaybe era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams
Ord (ShelleyPParams StrictMaybe era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams
Show (ShelleyPParams StrictMaybe era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams
NFData (ShelleyPParams StrictMaybe era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams
NoThunks (ShelleyPParams StrictMaybe era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams
Updatable (K1 t x a) (K1 t (StrictMaybe x) u)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "cardano-strict-containers-0.1.6.0-KgLpGvchdnF7RySowXvbKO" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict

Orphan instances

15 instances

EraTxBody AllegraEra
ShelleyEraTxBody AllegraEra
HasEraTxLevel TxBody AllegraEra
Typeable l => DecCBOR (Annotator (TxBody l AllegraEra))
Eq (TxBody l AllegraEra)
Show (TxBody l AllegraEra)
Generic (TxBody l AllegraEra)
NFData (TxBody l AllegraEra)
Typeable l => NoThunks (TxBody l AllegraEra)
Typeable l => ToCBOR (TxBody l AllegraEra)
EncCBOR (TxBody l AllegraEra)
SafeToHash (TxBody l AllegraEra)
EqRaw (TxBody l AllegraEra)
Memoized (TxBody l AllegraEra)
HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody