cardano-ledger-babbage-1.13.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Babbage.TxBody

Synopsis

Documentation

data BabbageTxOut era Source #

Constructors

TxOutCompactDatum !CompactAddr !(CompactForm (Value era)) !(BinaryData era) 
TxOutCompactRefScript !CompactAddr !(CompactForm (Value era)) !(Datum era) !(Script era) 

Bundled Patterns

pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era 
pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → BabbageTxOut era 
pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → BabbageTxOut era 

Instances

Instances details
(Era era, Val (Value era), ToJSON (Script era)) ⇒ ToJSON (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

toJSON ∷ BabbageTxOut era → Value Source #

toEncoding ∷ BabbageTxOut era → Encoding Source #

toJSONList ∷ [BabbageTxOut era] → Value Source #

toEncodingList ∷ [BabbageTxOut era] → Encoding Source #

omitField ∷ BabbageTxOut era → Bool Source #

(EraScript era, Val (Value era)) ⇒ FromCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

fromCBOR ∷ Decoder s (BabbageTxOut era) Source #

label ∷ Proxy (BabbageTxOut era) → Text Source #

(EraScript era, Val (Value era)) ⇒ ToCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

toCBOR ∷ BabbageTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (BabbageTxOut era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BabbageTxOut era] → Size Source #

(EraScript era, Val (Value era)) ⇒ DecCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

decCBOR ∷ Decoder s (BabbageTxOut era) Source #

dropCBOR ∷ Proxy (BabbageTxOut era) → Decoder s () Source #

label ∷ Proxy (BabbageTxOut era) → Text Source #

(EraScript era, Val (Value era), MemPack (Script era), MemPack (CompactForm (Value era))) ⇒ DecShareCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type Share (BabbageTxOut era) 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type Share (BabbageTxOut era) = Interns (Credential 'Staking)

Methods

getShare ∷ BabbageTxOut era → Share (BabbageTxOut era) Source #

decShareCBOR ∷ Share (BabbageTxOut era) → Decoder s (BabbageTxOut era) Source #

decSharePlusCBOR ∷ StateT (Share (BabbageTxOut era)) (Decoder s) (BabbageTxOut era) Source #

(EraScript era, Val (Value era)) ⇒ EncCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

encCBOR ∷ BabbageTxOut era → Encoding Source #

(Era era, Val (Value era), ToJSON (Script era)) ⇒ ToKeyValuePairs (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ BabbageTxOut era → [kv] Source #

NFData (BabbageTxOut era) Source #

Already in NF

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

rnf ∷ BabbageTxOut era → () #

Generic (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type Rep (BabbageTxOut era) 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type Rep (BabbageTxOut era) = D1 ('MetaData "BabbageTxOut" "Cardano.Ledger.Babbage.TxOut" "cardano-ledger-babbage-1.13.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: (C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (BinaryData era)))))) :+: (C1 ('MetaCons "TxOutCompactRefScript" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Datum era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Script era)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32))))))

Methods

from ∷ BabbageTxOut era → Rep (BabbageTxOut era) x #

to ∷ Rep (BabbageTxOut era) x → BabbageTxOut era #

(Era era, Show (Script era), Val (Value era)) ⇒ Show (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

showsPrec ∷ Int → BabbageTxOut era → ShowS #

show ∷ BabbageTxOut era → String #

showList ∷ [BabbageTxOut era] → ShowS #

(Era era, Eq (Script era), Eq (CompactForm (Value era))) ⇒ Eq (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

(==) ∷ BabbageTxOut era → BabbageTxOut era → Bool #

(/=) ∷ BabbageTxOut era → BabbageTxOut era → Bool #

(Era era, MemPack (Script era), MemPack (CompactForm (Value era))) ⇒ MemPack (BabbageTxOut era) Source #

This instance is backwards compatible in binary representation with TxOut instances for all previous era

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

typeName ∷ String Source #

packedByteCount ∷ BabbageTxOut era → Int Source #

packM ∷ BabbageTxOut era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (BabbageTxOut era) Source #

(Era era, NoThunks (Script era), Val (Value era)) ⇒ NoThunks (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

noThunks ∷ Context → BabbageTxOut era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BabbageTxOut era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BabbageTxOut era) → String Source #

type Share (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type Share (BabbageTxOut era) = Interns (Credential 'Staking)
type Rep (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type Rep (BabbageTxOut era) = D1 ('MetaData "BabbageTxOut" "Cardano.Ledger.Babbage.TxOut" "cardano-ledger-babbage-1.13.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: (C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (BinaryData era)))))) :+: (C1 ('MetaCons "TxOutCompactRefScript" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Datum era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Script era)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32))))))

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 AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

HasEraTxLevel TxBody BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

HasEraTxLevel TxBody MaryEra 
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 #

EraTxBody era ⇒ HasOKey TxId (TxBody l era) 
Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ TxBody l era → TxId 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 AlonzoEra)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

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

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

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

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

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

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

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra)) 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

toCBOR ∷ TxBody l AlonzoEra → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Babbage.TxBody

Methods

toCBOR ∷ TxBody l BabbageEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l MaryEra) 
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 AlonzoEra)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding Source #

EncCBOR (TxBody l BabbageEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

encCBOR ∷ TxBody l BabbageEra → Encoding Source #

EncCBOR (TxBody l MaryEra) 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

originalBytes ∷ TxBody l AlonzoEra → ByteString Source #

originalBytesSize ∷ TxBody l AlonzoEra → Int Source #

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

SafeToHash (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

originalBytes ∷ TxBody l BabbageEra → ByteString Source #

originalBytesSize ∷ TxBody l BabbageEra → Int Source #

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

SafeToHash (TxBody l MaryEra) 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

EqRaw (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

EqRaw (TxBody l MaryEra) 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type RawType (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

Methods

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

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

Memoized (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type RawType (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra

Methods

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

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

Memoized (TxBody l MaryEra) 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

rnf ∷ TxBody l AlonzoEra → () #

NFData (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

rnf ∷ TxBody l BabbageEra → () #

NFData (TxBody l MaryEra) 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type Rep (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

Methods

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

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

Generic (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type Rep (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))

Methods

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

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

Generic (TxBody l MaryEra) 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Show (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

showsPrec ∷ Int → TxBody l BabbageEra → ShowS #

show ∷ TxBody l BabbageEra → String #

showList ∷ [TxBody l BabbageEra] → ShowS #

Show (TxBody l MaryEra) 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

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

Eq (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

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

Eq (TxBody l MaryEra) 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

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

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

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

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

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

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

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

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l BabbageEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

hashAnnotated ∷ TxBody l BabbageEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody 
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 AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))
newtype TxBody l BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

newtype TxBody l BabbageEra = MkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))
newtype TxBody l MaryEra 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra
type RawType (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra
type RawType (TxBody l MaryEra) 
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 AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))
type Rep (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))
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)))))
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)))))

allSizedOutputsBabbageTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody 'TopTx era) (StrictSeq (Sized (TxOut era))) Source #

babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin Source #

data BabbageTxBodyRaw (l ∷ TxLevel) era where Source #

Constructors

BabbageTxBodyRaw 

Fields

Instances

Instances details
HasEraTxLevel BabbageTxBodyRaw BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). BabbageTxBodyRaw l BabbageEra → STxLevel l BabbageEra Source #

Typeable l ⇒ DecCBOR (Annotator (BabbageTxBodyRaw l BabbageEra)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (BabbageTxBodyRaw l BabbageEra)) Source #

dropCBOR ∷ Proxy (Annotator (BabbageTxBodyRaw l BabbageEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (BabbageTxBodyRaw l BabbageEra)) → Text Source #

Typeable l ⇒ DecCBOR (BabbageTxBodyRaw l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

decCBOR ∷ Decoder s (BabbageTxBodyRaw l BabbageEra) Source #

dropCBOR ∷ Proxy (BabbageTxBodyRaw l BabbageEra) → Decoder s () Source #

label ∷ Proxy (BabbageTxBodyRaw l BabbageEra) → Text Source #

EncCBOR (BabbageTxBodyRaw l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

encCBOR ∷ BabbageTxBodyRaw l BabbageEra → Encoding Source #

EqRaw (BabbageTxBodyRaw l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

eqRaw ∷ BabbageTxBodyRaw l BabbageEra → BabbageTxBodyRaw l BabbageEra → Bool Source #

NFData (BabbageTxBodyRaw l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

rnf ∷ BabbageTxBodyRaw l BabbageEra → () #

Show (BabbageTxBodyRaw l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

showsPrec ∷ Int → BabbageTxBodyRaw l BabbageEra → ShowS #

show ∷ BabbageTxBodyRaw l BabbageEra → String #

showList ∷ [BabbageTxBodyRaw l BabbageEra] → ShowS #

Eq (BabbageTxBodyRaw l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

(==) ∷ BabbageTxBodyRaw l BabbageEra → BabbageTxBodyRaw l BabbageEra → Bool #

(/=) ∷ BabbageTxBodyRaw l BabbageEra → BabbageTxBodyRaw l BabbageEra → Bool #

Typeable l ⇒ NoThunks (BabbageTxBodyRaw l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

noThunks ∷ Context → BabbageTxBodyRaw l BabbageEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → BabbageTxBodyRaw l BabbageEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (BabbageTxBodyRaw l BabbageEra) → String Source #

type MemoHashIndex (BabbageTxBodyRaw l era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type MemoHashIndex (BabbageTxBodyRaw l era) = EraIndependentTxBody

babbageAllInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody 'TopTx era) (Set TxIn) Source #

babbageSpendableInputsTxBodyF ∷ BabbageEraTxBody era ⇒ SimpleGetter (TxBody 'TopTx era) (Set TxIn) Source #

class (AlonzoEraTxBody era, BabbageEraTxOut era) ⇒ BabbageEraTxBody era where Source #

Methods

sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (StrictSeq (Sized (TxOut era))) Source #

referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (Set TxIn) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody 'TopTx era) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx era) (StrictMaybe (TxOut era)) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx era) (StrictMaybe (Sized (TxOut era))) Source #

allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (StrictSeq (Sized (TxOut era))) Source #

Instances

Instances details
BabbageEraTxBody BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source #

referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (Set TxIn) Source #

totalCollateralTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) (StrictMaybe Coin) Source #

collateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) (StrictMaybe (TxOut BabbageEra)) Source #

sizedCollateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) (StrictMaybe (Sized (TxOut BabbageEra))) Source #

allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (StrictSeq (Sized (TxOut BabbageEra))) Source #

getEitherAddrBabbageTxOut ∷ BabbageTxOut era → Either Addr CompactAddr Source #

data EraIndependentScriptIntegrity Source #

Instances

Instances details
Era era ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

hashAnnotated ∷ ScriptIntegrity era → SafeHash EraIndependentScriptIntegrity Source #

type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity Source #

Orphan instances

AllegraEraTxBody BabbageEra Source # 
Instance details

Methods

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

AlonzoEraTxBody BabbageEra Source # 
Instance details

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx BabbageEra) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" BabbageEra ⇒ Lens' (TxBody l BabbageEra) (Set (KeyHash 'Guard)) Source #

reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l BabbageEra) (Set (KeyHash 'Guard)) Source #

scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l BabbageEra) (StrictMaybe Network) Source #

redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l BabbageEra → PlutusPurpose AsItem BabbageEra → StrictMaybe (PlutusPurpose AsIx BabbageEra) Source #

redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l BabbageEra → PlutusPurpose AsIx BabbageEra → StrictMaybe (PlutusPurpose AsIxItem BabbageEra) Source #

EraTxBody BabbageEra Source # 
Instance details

Associated Types

newtype TxBody l BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

newtype TxBody l BabbageEra = MkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))

Methods

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

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

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

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

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

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

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

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

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

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

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

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx BabbageEra → Int Source #

MaryEraTxBody BabbageEra Source # 
Instance details

Methods

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

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

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

ShelleyEraTxBody BabbageEra Source # 
Instance details

Methods

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

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

HasEraTxLevel TxBody BabbageEra Source # 
Instance details

Methods

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

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

Methods

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

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

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

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

Methods

toCBOR ∷ TxBody l BabbageEra → Encoding Source #

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

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

EncCBOR (TxBody l BabbageEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l BabbageEra → Encoding Source #

SafeToHash (TxBody l BabbageEra) Source # 
Instance details

Methods

originalBytes ∷ TxBody l BabbageEra → ByteString Source #

originalBytesSize ∷ TxBody l BabbageEra → Int Source #

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

EqRaw (TxBody l BabbageEra) Source # 
Instance details

Methods

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

Memoized (TxBody l BabbageEra) Source # 
Instance details

Associated Types

type RawType (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra

Methods

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

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

NFData (TxBody l BabbageEra) Source # 
Instance details

Methods

rnf ∷ TxBody l BabbageEra → () #

Generic (TxBody l BabbageEra) Source # 
Instance details

Associated Types

type Rep (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))

Methods

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

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

Show (TxBody l BabbageEra) Source # 
Instance details

Methods

showsPrec ∷ Int → TxBody l BabbageEra → ShowS #

show ∷ TxBody l BabbageEra → String #

showList ∷ [TxBody l BabbageEra] → ShowS #

Eq (TxBody l BabbageEra) Source # 
Instance details

Methods

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

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

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

Methods

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

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

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

HashAnnotated (TxBody l BabbageEra) EraIndependentTxBody Source # 
Instance details

Methods

hashAnnotated ∷ TxBody l BabbageEra → SafeHash EraIndependentTxBody Source #