cardano-ledger-mary-1.10.0.0: Cardano ledger with multiasset support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Mary.TxBody

Synopsis

Documentation

class AllegraEraTxBody era ⇒ MaryEraTxBody era where Source #

Minimal complete definition

mintTxBodyL

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Value era) Source #

default mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). Value era ~ MaryValue ⇒ SimpleGetter (TxBody l era) (Value era) Source #

Instances

Instances details
MaryEraTxBody MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l MaryEra) (Value MaryEra) Source #

data family TxBody (l ∷ TxLevel) era Source #

The body of a transaction.

Instances

Instances details
HasEraTxLevel TxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

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

HasEraTxLevel TxBody MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

HasEraTxLevel TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra)) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

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

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

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

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra)) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

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

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

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

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 AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toCBOR ∷ TxBody l AllegraEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

toCBOR ∷ TxBody l MaryEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

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 AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

EncCBOR (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

originalBytes ∷ TxBody l AllegraEra → ByteString Source #

originalBytesSize ∷ TxBody l AllegraEra → Int Source #

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

SafeToHash (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

originalBytes ∷ TxBody l MaryEra → ByteString Source #

originalBytesSize ∷ TxBody l MaryEra → Int Source #

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

SafeToHash (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

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 AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

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

EqRaw (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

EqRaw (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

Memoized (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

Methods

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

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

Memoized (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type RawType (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

Methods

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

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

Memoized (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

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 AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

rnf ∷ TxBody l AllegraEra → () #

NFData (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

rnf ∷ TxBody l MaryEra → () #

NFData (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

Methods

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

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

Generic (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type Rep (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

Methods

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

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

Generic (TxBody l ShelleyEra) 
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 AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Show (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Show (TxBody l ShelleyEra) 
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 AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

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

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

Eq (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

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

Eq (TxBody l ShelleyEra) 
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 AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

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

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

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

Typeable l ⇒ NoThunks (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

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

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

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) 
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 AllegraEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))
newtype TxBody l MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))
newtype TxBody l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra
type RawType (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra
type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra
type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))
type Rep (TxBody l MaryEra) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))
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)))))

type MaryTxBodyRaw (l ∷ TxLevel) = AllegraTxBodyRaw MultiAsset l MaryEra Source #

Orphan instances

AllegraEraTxBody MaryEra Source # 
Instance details

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l MaryEra) ValidityInterval Source #

EraTxBody MaryEra Source # 
Instance details

Associated Types

newtype TxBody l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))

Methods

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

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

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

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

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

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

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

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

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

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

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

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx MaryEra → Int Source #

EraTxLevel MaryEra Source # 
Instance details

Associated Types

type STxLevel l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type STxLevel l MaryEra = STxTopLevel l MaryEra
ShelleyEraTxBody MaryEra Source # 
Instance details

Methods

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

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

HasEraTxLevel TxBody MaryEra Source # 
Instance details

Methods

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

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra)) Source # 
Instance details

Methods

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

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

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

HasEraTxLevel (AllegraTxBodyRaw ma) MaryEra Source # 
Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AllegraTxBodyRaw ma l MaryEra → STxLevel l MaryEra Source #

Typeable l ⇒ ToCBOR (TxBody l MaryEra) Source # 
Instance details

Methods

toCBOR ∷ TxBody l MaryEra → Encoding Source #

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

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

EncCBOR (TxBody l MaryEra) Source # 
Instance details

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

SafeToHash (TxBody l MaryEra) Source # 
Instance details

Methods

originalBytes ∷ TxBody l MaryEra → ByteString Source #

originalBytesSize ∷ TxBody l MaryEra → Int Source #

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

EqRaw (TxBody l MaryEra) Source # 
Instance details

Methods

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

Memoized (TxBody l MaryEra) Source # 
Instance details

Associated Types

type RawType (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

Methods

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

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

NFData (TxBody l MaryEra) Source # 
Instance details

Methods

rnf ∷ TxBody l MaryEra → () #

Generic (TxBody l MaryEra) Source # 
Instance details

Associated Types

type Rep (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

Methods

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

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

Show (TxBody l MaryEra) Source # 
Instance details

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Eq (TxBody l MaryEra) Source # 
Instance details

Methods

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

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

Typeable l ⇒ NoThunks (TxBody l MaryEra) Source # 
Instance details

Methods

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

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

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

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody Source # 
Instance details

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #