Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.TxBody

Contents

Deprecations
Orphan instances

Synopsis

newtype ShelleyTxBody era where
- TxBodyConstr (MemoBytes ShelleyTxBodyRaw era)
- pattern ShelleyTxBody ∷ (EraTxOut era, EncCBOR (TxCert era)) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → SlotNo → StrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → 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 (EraCrypto era)))
- stbrOutputs ∷ !(StrictSeq (TxOut era))
- stbrCerts ∷ !(StrictSeq (TxCert era))
- stbrWithdrawals ∷ !(Withdrawals (EraCrypto era))
- stbrTxFee ∷ !Coin
- stbrTTL ∷ !SlotNo
- stbrUpdate ∷ !(StrictMaybe (Update era))
- stbrMDHash ∷ !(StrictMaybe (AuxiliaryDataHash (EraCrypto era)))
}
data EraIndependentTxBody
data RewardAccount c where
- RewardAccount {
  - raNetwork ∷ !Network
  - raCredential ∷ !(Credential 'Staking c)
  }
- pattern RewardAcnt ∷ Network → Credential 'Staking c → RewardAccount c
newtype Withdrawals c = Withdrawals {
- unWithdrawals ∷ Map (RewardAcnt c) Coin
}
getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody era → Int
type RewardAcnt = RewardAccount

Documentation

newtype ShelleyTxBody era Source #

Constructors

TxBodyConstr (MemoBytes ShelleyTxBodyRaw era)

Bundled Patterns

pattern ShelleyTxBody ∷ (EraTxOut era, EncCBOR (TxCert era)) ⇒ Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → SlotNo → StrictMaybe (Update era) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → 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 #
(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 #
SafeToHash (ShelleyTxBody era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods originalBytes ∷ ShelleyTxBody era → ByteString Source # originalBytesSize ∷ ShelleyTxBody era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → ShelleyTxBody era → SafeHash c index 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, c ~ EraCrypto era) ⇒ HashAnnotated (ShelleyTxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods indexProxy ∷ ShelleyTxBody era → Proxy EraIndependentTxBody Source # hashAnnotated ∷ ShelleyTxBody era → SafeHash c 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.11.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

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

data ShelleyTxBodyRaw era Source #

Constructors

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

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.11.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTxBodyRaw" 'PrefixI 'True) (((S1 ('MetaSel ('Just "stbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :: 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 (EraCrypto era))))) :: ((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 (AuxiliaryDataHash (EraCrypto era))))))))

data EraIndependentTxBody Source #

Instances

Instances details

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

data RewardAccount c Source #

An account based address for rewards

Constructors

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

Bundled Patterns

pattern RewardAcnt ∷ Network → Credential 'Staking c → RewardAccount c

Instances

Instances details

Crypto c ⇒ FromJSON (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods parseJSON ∷ Value → Parser (RewardAcnt c) Source # parseJSONList ∷ Value → Parser [RewardAcnt c] Source # omittedField ∷ Maybe (RewardAcnt c) Source #
Crypto c ⇒ FromJSONKey (RewardAccount c)
Instance details Defined in Cardano.Ledger.Address Methods fromJSONKey ∷ FromJSONKeyFunction (RewardAccount c) Source # fromJSONKeyList ∷ FromJSONKeyFunction [RewardAccount c] Source #
Crypto c ⇒ ToJSON (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods toJSON ∷ RewardAcnt c → Value Source # toEncoding ∷ RewardAcnt c → Encoding Source # toJSONList ∷ [RewardAcnt c] → Value Source # toEncodingList ∷ [RewardAcnt c] → Encoding Source # omitField ∷ RewardAcnt c → Bool Source #
Crypto c ⇒ ToJSONKey (RewardAccount c)
Instance details Defined in Cardano.Ledger.Address Methods toJSONKey ∷ ToJSONKeyFunction (RewardAccount c) Source # toJSONKeyList ∷ ToJSONKeyFunction [RewardAccount c] Source #
Generic (RewardAccount c)
Instance details Defined in Cardano.Ledger.Address Associated Types type Rep (RewardAccount c) ∷ Type → Type Source # Methods from ∷ RewardAccount c → Rep (RewardAccount c) x Source # to ∷ Rep (RewardAccount c) x → RewardAccount c Source #
Show (RewardAccount c)
Instance details Defined in Cardano.Ledger.Address Methods showsPrec ∷ Int → RewardAccount c → ShowS Source # show ∷ RewardAccount c → String Source # showList ∷ [RewardAccount c] → ShowS Source #
Crypto c ⇒ DecCBOR (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods decCBOR ∷ Decoder s (RewardAcnt c) Source # dropCBOR ∷ Proxy (RewardAcnt c) → Decoder s () Source # label ∷ Proxy (RewardAcnt c) → Text Source #
Crypto c ⇒ EncCBOR (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods encCBOR ∷ RewardAcnt c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (RewardAcnt c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [RewardAcnt c] → Size Source #
Crypto c ⇒ Default (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods def ∷ RewardAcnt c Source #
NFData (RewardAccount c)
Instance details Defined in Cardano.Ledger.Address Methods rnf ∷ RewardAccount c → () Source #
Eq (RewardAccount c)
Instance details Defined in Cardano.Ledger.Address Methods (==) ∷ RewardAccount c → RewardAccount c → Bool Source # (/=) ∷ RewardAccount c → RewardAccount c → Bool Source #
Ord (RewardAccount c)
Instance details Defined in Cardano.Ledger.Address Methods compare ∷ RewardAccount c → RewardAccount c → Ordering Source # (<) ∷ RewardAccount c → RewardAccount c → Bool Source # (<=) ∷ RewardAccount c → RewardAccount c → Bool Source # (>) ∷ RewardAccount c → RewardAccount c → Bool Source # (>=) ∷ RewardAccount c → RewardAccount c → Bool Source # max ∷ RewardAccount c → RewardAccount c → RewardAccount c Source # min ∷ RewardAccount c → RewardAccount c → RewardAccount c Source #
NoThunks (RewardAcnt c)
Instance details Defined in Cardano.Ledger.Address Methods noThunks ∷ Context → RewardAcnt c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RewardAcnt c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (RewardAcnt c) → String Source #
type Rep (RewardAccount c)
Instance details Defined in Cardano.Ledger.Address type Rep (RewardAccount c) = D1 ('MetaData "RewardAccount" "Cardano.Ledger.Address" "cardano-ledger-core-1.12.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 c))))

newtype Withdrawals c Source #

This is called wdrl in the spec.

Constructors

Withdrawals
Fields unWithdrawals ∷ Map (RewardAcnt c) Coin

Instances

Instances details

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