type RawType (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

from ∷ TxBody l ShelleyEra → Rep (TxBody l ShelleyEra) x #

to ∷ Rep (TxBody l ShelleyEra) x → TxBody l ShelleyEra #

Show (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

(==) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

(/=) ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

noThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l ShelleyEra) → String Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

type RawType (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

type Rep (TxBody l ShelleyEra) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

class (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) ⇒ ShelleyEraTxBody era where Source #

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx era) SlotNo Source #

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

Instances

Instances details

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

data ShelleyTxBodyRaw (l ∷ TxLevel) era where Source #

Constructors

ShelleyTxBodyRaw
Fields ∷ ∀ era. { stbrInputs ∷ !(Set TxIn) , stbrOutputs ∷ !(StrictSeq (TxOut era)) , stbrCerts ∷ !(StrictSeq (TxCert era)) , stbrWithdrawals ∷ !Withdrawals , stbrFee ∷ !Coin , stbrTtl ∷ !SlotNo , stbrUpdate ∷ !(StrictMaybe (Update era)) , stbrAuxDataHash ∷ !(StrictMaybe TxAuxDataHash) } → ShelleyTxBodyRaw 'TopTx era

Instances

Instances details

HasEraTxLevel ShelleyTxBodyRaw ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toSTxLevel ∷ ∀ (l ∷ TxLevel). ShelleyTxBodyRaw l ShelleyEra → STxLevel l ShelleyEra Source #
Typeable l ⇒ DecCBOR (Annotator (ShelleyTxBodyRaw l ShelleyEra)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods decCBOR ∷ Decoder s (Annotator (ShelleyTxBodyRaw l ShelleyEra)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTxBodyRaw l ShelleyEra)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTxBodyRaw l ShelleyEra)) → Text Source #
Typeable l ⇒ DecCBOR (ShelleyTxBodyRaw l ShelleyEra) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods decCBOR ∷ Decoder s (ShelleyTxBodyRaw l ShelleyEra) Source # dropCBOR ∷ Proxy (ShelleyTxBodyRaw l ShelleyEra) → Decoder s () Source # label ∷ Proxy (ShelleyTxBodyRaw l ShelleyEra) → Text Source #
EraTxBody era ⇒ EncCBOR (ShelleyTxBodyRaw l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods encCBOR ∷ ShelleyTxBodyRaw l era → Encoding Source #
EraTxBody era ⇒ NFData (ShelleyTxBodyRaw t era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf ∷ ShelleyTxBodyRaw t era → () #
EraTxBody era ⇒ Show (ShelleyTxBodyRaw l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec ∷ Int → ShelleyTxBodyRaw l era → ShowS # show ∷ ShelleyTxBodyRaw l era → String # showList ∷ [ShelleyTxBodyRaw l era] → ShowS #
EraTxBody era ⇒ Eq (ShelleyTxBodyRaw l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) ∷ ShelleyTxBodyRaw l era → ShelleyTxBodyRaw l era → Bool # (/=) ∷ ShelleyTxBodyRaw l era → ShelleyTxBodyRaw l era → Bool #
(Typeable era, Typeable l) ⇒ NoThunks (ShelleyTxBodyRaw l era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks ∷ Context → ShelleyTxBodyRaw l era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxBodyRaw l era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxBodyRaw l era) → String Source #
type MemoHashIndex (ShelleyTxBodyRaw t era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody type MemoHashIndex (ShelleyTxBodyRaw t era) = EraIndependentTxBody

data EraIndependentTxBody Source #

Instances

Instances details

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods hashAnnotated ∷ TxBody l ShelleyEra → 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 #

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 #

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 → () #

Generic RewardAccount

Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep RewardAccount

Instance details

Defined in Cardano.Ledger.Address

type Rep RewardAccount = D1 ('MetaData "RewardAccount" "Cardano.Ledger.Address" "cardano-ledger-core-1.19.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))))

Methods

from ∷ RewardAccount → Rep RewardAccount x #

to ∷ Rep RewardAccount x → RewardAccount #

Show RewardAccount

Instance details

Defined in Cardano.Ledger.Address

Methods

showsPrec ∷ Int → RewardAccount → ShowS #

show ∷ RewardAccount → String #

showList ∷ [RewardAccount] → ShowS #

Eq RewardAccount

Instance details

Defined in Cardano.Ledger.Address

Methods

(==) ∷ RewardAccount → RewardAccount → Bool #

(/=) ∷ RewardAccount → RewardAccount → Bool #

Ord RewardAccount

Instance details

Defined in Cardano.Ledger.Address

Methods

compare ∷ RewardAccount → RewardAccount → Ordering #

(<) ∷ RewardAccount → RewardAccount → Bool #

(<=) ∷ RewardAccount → RewardAccount → Bool #

(>) ∷ RewardAccount → RewardAccount → Bool #

(>=) ∷ RewardAccount → RewardAccount → Bool #

max ∷ RewardAccount → RewardAccount → RewardAccount #

min ∷ RewardAccount → RewardAccount → RewardAccount #

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.19.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

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 #

NFData Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Methods

rnf ∷ Withdrawals → () #

Generic Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Associated Types

type Rep Withdrawals
Instance details Defined in Cardano.Ledger.Address type Rep Withdrawals = D1 ('MetaData "Withdrawals" "Cardano.Ledger.Address" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin))))

Methods

from ∷ Withdrawals → Rep Withdrawals x #

to ∷ Rep Withdrawals x → Withdrawals #

Show Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Methods

showsPrec ∷ Int → Withdrawals → ShowS #

show ∷ Withdrawals → String #

showList ∷ [Withdrawals] → ShowS #

Eq Withdrawals

Instance details

Defined in Cardano.Ledger.Address

Methods

(==) ∷ Withdrawals → Withdrawals → Bool #

(/=) ∷ Withdrawals → Withdrawals → Bool #

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.19.0.0-inplace" 'True) (C1 ('MetaCons "Withdrawals" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWithdrawals") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map RewardAccount Coin))))

getShelleyGenesisKeyHashCountTxBody ∷ ShelleyEraTxBody era ⇒ TxBody 'TopTx era → Int Source #

Count number of Genesis keys supplied in the updateTxBodyL field.

Orphan instances

EraTxBody ShelleyEra Source #

Instance details

Associated Types

newtype TxBody l ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxBody newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l ShelleyEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxOut ShelleyEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx ShelleyEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l ShelleyEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx ShelleyEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l ShelleyEra) (StrictSeq (TxCert ShelleyEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody l ShelleyEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l ShelleyEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx ShelleyEra → Int Source #

HasEraTxLevel TxBody ShelleyEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l ShelleyEra → STxLevel l ShelleyEra Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l ShelleyEra)) → Text Source #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) Source #

Instance details

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l ShelleyEra] → Size Source #

EncCBOR (TxBody l ShelleyEra) Source #

Instance details

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l ShelleyEra) Source #

Instance details

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (TxBody l ShelleyEra) Source #

Instance details

Methods

eqRaw ∷ TxBody l ShelleyEra → TxBody l ShelleyEra → Bool Source #

Memoized (TxBody l ShelleyEra) Source #

Instance details

Associated Types

type RawType (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (TxBody l ShelleyEra) Source #

Instance details

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l ShelleyEra) Source #

Instance details

Associated Types

type Rep (TxBody l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))