Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.TxBody

Contents

Orphan instances

Synopsis

newtype ShelleyTxBody era where
- TxBodyConstr (MemoBytes ShelleyTxBodyRaw era)
- pattern ShelleyTxBody ∷ (EraTxOut era, EncCBOR (TxCert era)) ⇒ Set TxIn → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → SlotNo → StrictMaybe (Update era) → StrictMaybe TxAuxDataHash → ShelleyTxBody era
class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where
- ttlTxBodyL ∷ ExactEra ShelleyEra era ⇒ Lens' (TxBody era) SlotNo
- updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era))
data ShelleyTxBodyRaw era = ShelleyTxBodyRaw {
- stbrInputs ∷ !(Set TxIn)
- stbrOutputs ∷ !(StrictSeq (TxOut era))
- stbrCerts ∷ !(StrictSeq (TxCert era))
- stbrWithdrawals ∷ !Withdrawals
- stbrTxFee ∷ !Coin
- stbrTTL ∷ !SlotNo
- stbrUpdate ∷ !(StrictMaybe (Update era))
- stbrMDHash ∷ !(StrictMaybe TxAuxDataHash)
}
data EraIndependentTxBody
data RewardAccount = RewardAccount {
- raNetwork ∷ !Network
- raCredential ∷ !(Credential 'Staking)
}
newtype Withdrawals = Withdrawals {
- unWithdrawals ∷ Map RewardAccount Coin
}
getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody era → Int

Documentation

newtype ShelleyTxBody era Source #

Constructors

TxBodyConstr (MemoBytes ShelleyTxBodyRaw era)

Bundled Patterns

pattern ShelleyTxBody ∷ (EraTxOut era, EncCBOR (TxCert era)) ⇒ Set TxIn → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals → Coin → SlotNo → StrictMaybe (Update era) → StrictMaybe TxAuxDataHash → ShelleyTxBody era

Pattern for use by external users

Instances

Instances details

Memoized ShelleyTxBody Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type RawType ShelleyTxBody = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ ShelleyTxBody era → MemoBytes (RawType ShelleyTxBody) era wrapMemoBytes ∷ MemoBytes (RawType ShelleyTxBody) era → ShelleyTxBody era
Generic (ShelleyTxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep (ShelleyTxBody era) ∷ Type → Type Source # Methods from ∷ ShelleyTxBody era → Rep (ShelleyTxBody era) x Source # to ∷ Rep (ShelleyTxBody era) x → ShelleyTxBody era Source #
EraTxBody era ⇒ Show (ShelleyTxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec ∷ Int → ShelleyTxBody era → ShowS Source # show ∷ ShelleyTxBody era → String Source # showList ∷ [ShelleyTxBody era] → ShowS Source #
Typeable era ⇒ ToCBOR (ShelleyTxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR ∷ ShelleyTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxBody era] → Size Source #
EraTxBody era ⇒ DecCBOR (Annotator (ShelleyTxBody era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods decCBOR ∷ Decoder s (Annotator (ShelleyTxBody era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTxBody era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTxBody era)) → Text Source #
Era era ⇒ EncCBOR (ShelleyTxBody era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods encCBOR ∷ ShelleyTxBody era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxBody era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxBody era] → Size Source #
SafeToHash (ShelleyTxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods originalBytes ∷ ShelleyTxBody era → ByteString Source # originalBytesSize ∷ ShelleyTxBody era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → ShelleyTxBody era → SafeHash i Source #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ EqRaw (ShelleyTxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods eqRaw ∷ ShelleyTxBody era → ShelleyTxBody era → Bool Source #
EraTxBody era ⇒ NFData (ShelleyTxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf ∷ ShelleyTxBody era → () Source #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (ShelleyTxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) ∷ ShelleyTxBody era → ShelleyTxBody era → Bool Source # (/=) ∷ ShelleyTxBody era → ShelleyTxBody era → Bool Source #
(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (ShelleyTxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks ∷ Context → ShelleyTxBody era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxBody era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxBody era) → String Source #
Era era ⇒ HashAnnotated (ShelleyTxBody era) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods hashAnnotated ∷ ShelleyTxBody era → SafeHash EraIndependentTxBody Source #
type RawType ShelleyTxBody Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType ShelleyTxBody = ShelleyTxBodyRaw
type Rep (ShelleyTxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (ShelleyTxBody era) = D1 ('MetaData "ShelleyTxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.16.0.0-inplace" 'True) (C1 ('MetaCons "TxBodyConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxBodyRaw era))))

class (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where Source #

Methods

ttlTxBodyL ∷ ExactEra ShelleyEra era ⇒ Lens' (TxBody era) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era)) Source #

Instances

Instances details

ShelleyEraTxBody ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods ttlTxBodyL ∷ Lens' (TxBody ShelleyEra) SlotNo Source # updateTxBodyL ∷ Lens' (TxBody ShelleyEra) (StrictMaybe (Update ShelleyEra)) Source #

data ShelleyTxBodyRaw era Source #

Constructors

ShelleyTxBodyRaw
Fields stbrInputs ∷ !(Set TxIn) stbrOutputs ∷ !(StrictSeq (TxOut era)) stbrCerts ∷ !(StrictSeq (TxCert era)) stbrWithdrawals ∷ !Withdrawals stbrTxFee ∷ !Coin stbrTTL ∷ !SlotNo stbrUpdate ∷ !(StrictMaybe (Update era)) stbrMDHash ∷ !(StrictMaybe TxAuxDataHash)

Instances

Instances details

Generic (ShelleyTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Rep (ShelleyTxBodyRaw era) ∷ Type → Type Source # Methods from ∷ ShelleyTxBodyRaw era → Rep (ShelleyTxBodyRaw era) x Source # to ∷ Rep (ShelleyTxBodyRaw era) x → ShelleyTxBodyRaw era Source #
(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (ShelleyTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec ∷ Int → ShelleyTxBodyRaw era → ShowS Source # show ∷ ShelleyTxBodyRaw era → String Source # showList ∷ [ShelleyTxBodyRaw era] → ShowS Source #
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (TxOut era), DecCBOR (TxCert era)) ⇒ DecCBOR (Annotator (ShelleyTxBodyRaw era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods decCBOR ∷ Decoder s (Annotator (ShelleyTxBodyRaw era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTxBodyRaw era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTxBodyRaw era)) → Text Source #
(Era era, DecCBOR (PParamsUpdate era), DecCBOR (TxOut era), DecCBOR (TxCert era)) ⇒ DecCBOR (ShelleyTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods decCBOR ∷ Decoder s (ShelleyTxBodyRaw era) Source # dropCBOR ∷ Proxy (ShelleyTxBodyRaw era) → Decoder s () Source # label ∷ Proxy (ShelleyTxBodyRaw era) → Text Source #
(Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (ShelleyTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods encCBOR ∷ ShelleyTxBodyRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxBodyRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxBodyRaw era] → Size Source #
(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (ShelleyTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf ∷ ShelleyTxBodyRaw era → () Source #
(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (ShelleyTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) ∷ ShelleyTxBodyRaw era → ShelleyTxBodyRaw era → Bool Source # (/=) ∷ ShelleyTxBodyRaw era → ShelleyTxBodyRaw era → Bool Source #
(NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (ShelleyTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks ∷ Context → ShelleyTxBodyRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxBodyRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxBodyRaw era) → String Source #
type MemoHashIndex ShelleyTxBodyRaw Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type MemoHashIndex ShelleyTxBodyRaw = EraIndependentTxBody
type Rep (ShelleyTxBodyRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (ShelleyTxBodyRaw era) = D1 ('MetaData "ShelleyTxBodyRaw" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTxBodyRaw" 'PrefixI 'True) (((S1 ('MetaSel ('Just "stbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set TxIn)) :: S1 ('MetaSel ('Just "stbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxOut era)))) :: (S1 ('MetaSel ('Just "stbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))) :: S1 ('MetaSel ('Just "stbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Withdrawals))) :: ((S1 ('MetaSel ('Just "stbrTxFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "stbrTTL") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :: (S1 ('MetaSel ('Just "stbrUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Update era))) :*: S1 ('MetaSel ('Just "stbrMDHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe TxAuxDataHash))))))

data EraIndependentTxBody Source #

Instances

Instances details

Era era ⇒ HashAnnotated (ShelleyTxBody era) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods hashAnnotated ∷ ShelleyTxBody era → SafeHash EraIndependentTxBody Source #

data RewardAccount Source #

An account based address for rewards

Constructors

RewardAccount
Fields raNetwork ∷ !Network raCredential ∷ !(Credential 'Staking)

Instances

Instances details

FromJSON RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods parseJSON ∷ Value → Parser RewardAccount Source # parseJSONList ∷ Value → Parser [RewardAccount] Source # omittedField ∷ Maybe RewardAccount Source #
FromJSONKey RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods fromJSONKey ∷ FromJSONKeyFunction RewardAccount Source # fromJSONKeyList ∷ FromJSONKeyFunction [RewardAccount] Source #
ToJSON RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods toJSON ∷ RewardAccount → Value Source # toEncoding ∷ RewardAccount → Encoding Source # toJSONList ∷ [RewardAccount] → Value Source # toEncodingList ∷ [RewardAccount] → Encoding Source # omitField ∷ RewardAccount → Bool Source #
ToJSONKey RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods toJSONKey ∷ ToJSONKeyFunction RewardAccount Source # toJSONKeyList ∷ ToJSONKeyFunction [RewardAccount] Source #
Generic RewardAccount
Instance details Defined in Cardano.Ledger.Address Associated Types type Rep RewardAccount ∷ Type → Type Source # Methods from ∷ RewardAccount → Rep RewardAccount x Source # to ∷ Rep RewardAccount x → RewardAccount Source #
Show RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods showsPrec ∷ Int → RewardAccount → ShowS Source # show ∷ RewardAccount → String Source # showList ∷ [RewardAccount] → ShowS Source #
DecCBOR RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods decCBOR ∷ Decoder s RewardAccount Source # dropCBOR ∷ Proxy RewardAccount → Decoder s () Source # label ∷ Proxy RewardAccount → Text Source #
EncCBOR RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods encCBOR ∷ RewardAccount → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy RewardAccount → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RewardAccount] → Size Source #
Default RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods def ∷ RewardAccount Source #
NFData RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods rnf ∷ RewardAccount → () Source #
Eq RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods (==) ∷ RewardAccount → RewardAccount → Bool Source # (/=) ∷ RewardAccount → RewardAccount → Bool Source #
Ord RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods compare ∷ RewardAccount → RewardAccount → Ordering Source # (<) ∷ RewardAccount → RewardAccount → Bool Source # (<=) ∷ RewardAccount → RewardAccount → Bool Source # (>) ∷ RewardAccount → RewardAccount → Bool Source # (>=) ∷ RewardAccount → RewardAccount → Bool Source # max ∷ RewardAccount → RewardAccount → RewardAccount Source # min ∷ RewardAccount → RewardAccount → RewardAccount Source #
NoThunks RewardAccount
Instance details Defined in Cardano.Ledger.Address Methods noThunks ∷ Context → RewardAccount → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RewardAccount → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RewardAccount → String Source #
type Rep RewardAccount
Instance details Defined in Cardano.Ledger.Address type Rep RewardAccount = D1 ('MetaData "RewardAccount" "Cardano.Ledger.Address" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "RewardAccount" 'PrefixI 'True) (S1 ('MetaSel ('Just "raNetwork") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just "raCredential") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking))))

newtype Withdrawals Source #

This is called wdrl in the spec.

Constructors

Withdrawals
Fields unWithdrawals ∷ Map RewardAccount Coin

Instances

Instances details

Generic Withdrawals
Instance details Defined in Cardano.Ledger.Address Associated Types type Rep Withdrawals ∷ Type → Type Source # Methods from ∷ Withdrawals → Rep Withdrawals x Source # to ∷ Rep Withdrawals x → Withdrawals Source #
Show Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods showsPrec ∷ Int → Withdrawals → ShowS Source # show ∷ Withdrawals → String Source # showList ∷ [Withdrawals] → ShowS Source #
DecCBOR Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods decCBOR ∷ Decoder s Withdrawals Source # dropCBOR ∷ Proxy Withdrawals → Decoder s () Source # label ∷ Proxy Withdrawals → Text Source #
EncCBOR Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods encCBOR ∷ Withdrawals → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Withdrawals → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Withdrawals] → Size Source #
NFData Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods rnf ∷ Withdrawals → () Source #
Eq Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods (==) ∷ Withdrawals → Withdrawals → Bool Source # (/=) ∷ Withdrawals → Withdrawals → Bool Source #
NoThunks Withdrawals
Instance details Defined in Cardano.Ledger.Address Methods noThunks ∷ Context → Withdrawals → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Withdrawals → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Withdrawals → String Source #
type Rep Withdrawals
Instance details Defined in Cardano.Ledger.Address type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin))))