Deprecated

Methods

toJSON ∷ CostModel → Value Source #

toEncoding ∷ CostModel → Encoding Source #

toJSONList ∷ [CostModel] → Value Source #

toEncodingList ∷ [CostModel] → Encoding Source #

omitField ∷ CostModel → Bool Source #

NFData CostModel

Instance details

Methods

rnf ∷ CostModel → () #

Generic CostModel

Instance details

Associated Types

type Rep CostModel

Instance details

type Rep CostModel = D1 ('MetaData "CostModel" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "CostModel" 'PrefixI 'True) (S1 ('MetaSel ('Just "cmLanguage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language) :*: (S1 ('MetaSel ('Just "cmValues") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Int64]) :*: S1 ('MetaSel ('Just "cmEvalCtx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EvaluationContext))))

Methods

from ∷ CostModel → Rep CostModel x #

to ∷ Rep CostModel x → CostModel #

Show CostModel

Instance details

Methods

showsPrec ∷ Int → CostModel → ShowS #

show ∷ CostModel → String #

showList ∷ [CostModel] → ShowS #

Eq CostModel

Note that this Eq instance ignores the evaluation context, which is entirely dependent on the cost model parameters and is guarded by the smart constructor mkCostModel.

Instance details

Methods

(==) ∷ CostModel → CostModel → Bool #

(/=) ∷ CostModel → CostModel → Bool #

Ord CostModel

Note that this Ord instance ignores the evaluation context, which is entirely dependent on the cost model parameters and is guarded by the smart constructor mkCostModel.

Instance details

Methods

compare ∷ CostModel → CostModel → Ordering #

(<) ∷ CostModel → CostModel → Bool #

(<=) ∷ CostModel → CostModel → Bool #

(>) ∷ CostModel → CostModel → Bool #

(>=) ∷ CostModel → CostModel → Bool #

max ∷ CostModel → CostModel → CostModel #

min ∷ CostModel → CostModel → CostModel #

NoThunks CostModel

Instance details

Methods

noThunks ∷ Context → CostModel → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CostModel → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy CostModel → String Source #

type Rep CostModel

Instance details

type Rep CostModel = D1 ('MetaData "CostModel" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.22.0.0-inplace" 'False) (C1 ('MetaCons "CostModel" 'PrefixI 'True) (S1 ('MetaSel ('Just "cmLanguage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language) :*: (S1 ('MetaSel ('Just "cmValues") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Int64]) :*: S1 ('MetaSel ('Just "cmEvalCtx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EvaluationContext))))

getLanguageView ∷ AlonzoEraPParams era ⇒ PParams era → Language → LangDepView Source #

data Data era Source #

Instances

Instances details

Era era ⇒ FromJSON (Data era)

Instance details

Methods

parseJSON ∷ Value → Parser (Data era) Source #

parseJSONList ∷ Value → Parser [Data era] Source #

omittedField ∷ Maybe (Data era) Source #

ToJSON (Data era)

Instance details

Methods

toJSON ∷ Data era → Value Source #

toEncoding ∷ Data era → Encoding Source #

toJSONList ∷ [Data era] → Value Source #

toEncodingList ∷ [Data era] → Encoding Source #

omitField ∷ Data era → Bool Source #

Typeable era ⇒ ToCBOR (Data era)

Instance details

Methods

toCBOR ∷ Data era → Encoding Source #

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

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

Era era ⇒ DecCBOR (Annotator (Data era))

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (Data era)) Source #

dropCBOR ∷ Proxy (Annotator (Data era)) → Decoder s () Source #

label ∷ Proxy (Annotator (Data era)) → Text Source #

Typeable era ⇒ DecCBOR (Data era)

Instance details

Methods

decCBOR ∷ Decoder s (Data era) Source #

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

label ∷ Proxy (Data era) → Text Source #

Typeable era ⇒ EncCBOR (Data era)

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ Data era → Encoding Source #

SafeToHash (Data era)

Instance details

Methods

originalBytes ∷ Data era → ByteString Source #

originalBytesSize ∷ Data era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → Data era → SafeHash i Source #

Memoized (Data era)

Instance details

Associated Types

type RawType (Data era)
Instance details Defined in Cardano.Ledger.Plutus.Data type RawType (Data era) = PlutusData era

Methods

getMemoBytes ∷ Data era → MemoBytes (RawType (Data era))

wrapMemoBytes ∷ MemoBytes (RawType (Data era)) → Data era

NFData (Data era)

Instance details

Methods

rnf ∷ Data era → () #

Generic (Data era)

Instance details

Associated Types

type Rep (Data era)
Instance details Defined in Cardano.Ledger.Plutus.Data type Rep (Data era) = D1 ('MetaData "Data" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "MkData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (PlutusData era)))))

Methods

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

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

Show (Data era)

Instance details

Methods

showsPrec ∷ Int → Data era → ShowS #

show ∷ Data era → String #

showList ∷ [Data era] → ShowS #

Eq (Data era)

Instance details

Methods

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

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

Ord (Data era)

Instance details

Methods

compare ∷ Data era → Data era → Ordering #

(<) ∷ Data era → Data era → Bool #

(<=) ∷ Data era → Data era → Bool #

(>) ∷ Data era → Data era → Bool #

(>=) ∷ Data era → Data era → Bool #

max ∷ Data era → Data era → Data era #

min ∷ Data era → Data era → Data era #

Typeable era ⇒ NoThunks (Data era)

Instance details

Methods

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

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

showTypeOf ∷ Proxy (Data era) → String Source #

HashAnnotated (Data era) EraIndependentData

Instance details

Methods

hashAnnotated ∷ Data era → SafeHash EraIndependentData Source #

type RawType (Data era)

Instance details

type RawType (Data era) = PlutusData era

type Rep (Data era)

Instance details

HasEraTxLevel TxBody AllegraEra

type Rep (Data era) = D1 ('MetaData "Data" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.22.0.0-inplace" 'True) (C1 ('MetaCons "MkData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (PlutusData era)))))

type DataHash = SafeHash EraIndependentData Source #

data IsPhase2Valid Source #

Tag indicating whether the non-native (phase-2) scripts in this transaction are expected to validate. This is added by the block creator when constructing the block.

Constructors

Phase2Invalid
Phase2Valid

Instances

Instances details

FromJSON IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

parseJSON ∷ Value → Parser IsPhase2Valid Source #

parseJSONList ∷ Value → Parser [IsPhase2Valid] Source #

omittedField ∷ Maybe IsPhase2Valid Source #

ToJSON IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toJSON ∷ IsPhase2Valid → Value Source #

toEncoding ∷ IsPhase2Valid → Encoding Source #

toJSONList ∷ [IsPhase2Valid] → Value Source #

toEncodingList ∷ [IsPhase2Valid] → Encoding Source #

omitField ∷ IsPhase2Valid → Bool Source #

ToCBOR IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ IsPhase2Valid → Encoding Source #

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

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

DecCBOR IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

decCBOR ∷ Decoder s IsPhase2Valid Source #

dropCBOR ∷ Proxy IsPhase2Valid → Decoder s () Source #

label ∷ Proxy IsPhase2Valid → Text Source #

EncCBOR IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ IsPhase2Valid → Encoding Source #

NFData IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ IsPhase2Valid → () #

Monoid IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

mempty ∷ IsPhase2Valid #

mappend ∷ IsPhase2Valid → IsPhase2Valid → IsPhase2Valid #

mconcat ∷ [IsPhase2Valid] → IsPhase2Valid #

Semigroup IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(<>) ∷ IsPhase2Valid → IsPhase2Valid → IsPhase2Valid #

sconcat ∷ NonEmpty IsPhase2Valid → IsPhase2Valid #

stimes ∷ Integral b ⇒ b → IsPhase2Valid → IsPhase2Valid #

Generic IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep IsPhase2Valid
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep IsPhase2Valid = D1 ('MetaData "IsPhase2Valid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "Phase2Invalid" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Phase2Valid" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ IsPhase2Valid → Rep IsPhase2Valid x #

to ∷ Rep IsPhase2Valid x → IsPhase2Valid #

Show IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → IsPhase2Valid → ShowS #

show ∷ IsPhase2Valid → String #

showList ∷ [IsPhase2Valid] → ShowS #

Eq IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(==) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

(/=) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

Ord IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

compare ∷ IsPhase2Valid → IsPhase2Valid → Ordering #

(<) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

(<=) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

(>) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

(>=) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

max ∷ IsPhase2Valid → IsPhase2Valid → IsPhase2Valid #

min ∷ IsPhase2Valid → IsPhase2Valid → IsPhase2Valid #

NoThunks IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

noThunks ∷ Context → IsPhase2Valid → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → IsPhase2Valid → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy IsPhase2Valid → String Source #

type Rep IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep IsPhase2Valid = D1 ('MetaData "IsPhase2Valid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "Phase2Invalid" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Phase2Valid" 'PrefixI 'False) (U1 ∷ Type → Type))

hashData ∷ Data era → DataHash Source #

nonNativeLanguages ∷ [Language] Source #

hashScriptIntegrity ∷ Era era ⇒ ScriptIntegrity era → ScriptIntegrityHash Source #

data EraIndependentScriptIntegrity Source #

Instances

Instances details

Era era ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods hashAnnotated ∷ ScriptIntegrity era → SafeHash EraIndependentScriptIntegrity Source #

data ScriptIntegrity era Source #

A ScriptIntegrityHash is the hash of three things. The first two come from the witnesses and the last comes from the Protocol Parameters.

Constructors

ScriptIntegrity !(Redeemers era) !(TxDats era) !(Set LangDepView)

Instances

Instances details

Era era ⇒ SafeToHash (ScriptIntegrity era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

originalBytes ∷ ScriptIntegrity era → ByteString Source #

originalBytesSize ∷ ScriptIntegrity era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → ScriptIntegrity era → SafeHash i Source #

Generic (ScriptIntegrity era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep (ScriptIntegrity era)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (ScriptIntegrity era) = D1 ('MetaData "ScriptIntegrity" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "ScriptIntegrity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Redeemers era)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxDats era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set LangDepView)))))

Methods

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

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

AlonzoEraScript era ⇒ Show (ScriptIntegrity era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → ScriptIntegrity era → ShowS #

show ∷ ScriptIntegrity era → String #

showList ∷ [ScriptIntegrity era] → ShowS #

AlonzoEraScript era ⇒ Eq (ScriptIntegrity era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

AlonzoEraScript era ⇒ NoThunks (ScriptIntegrity era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

showTypeOf ∷ Proxy (ScriptIntegrity era) → String Source #

Era era ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

hashAnnotated ∷ ScriptIntegrity era → SafeHash EraIndependentScriptIntegrity Source #

type Rep (ScriptIntegrity era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (ScriptIntegrity era) = D1 ('MetaData "ScriptIntegrity" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "ScriptIntegrity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Redeemers era)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxDats era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set LangDepView)))))

type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity Source #

data AlonzoTx (l ∷ TxLevel) era where Source #

Constructors

AlonzoTx
Fields ∷ ∀ era. { atBody ∷ !(TxBody 'TopTx era) , atWits ∷ !(TxWits era) , atIsPhase2Valid ∷ !IsPhase2Valid , atAuxData ∷ !(StrictMaybe (TxAuxData era)) } → AlonzoTx 'TopTx era

Instances

Instances details

(Typeable l, Era era, Typeable (TxBody l era), Typeable (TxWits era), Typeable (TxAuxData era), DecCBOR (Annotator (TxBody l era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) ⇒ DecCBOR (Annotator (AlonzoTx l era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods decCBOR ∷ Decoder s (Annotator (AlonzoTx l era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTx l era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTx l era)) → Text Source #
(FromJSON (TxBody 'TopTx era), FromJSON (TxWits era), FromJSON (TxAuxData era)) ⇒ FromJSON (AlonzoTx 'TopTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods parseJSON ∷ Value → Parser (AlonzoTx 'TopTx era) Source # parseJSONList ∷ Value → Parser [AlonzoTx 'TopTx era] Source # omittedField ∷ Maybe (AlonzoTx 'TopTx era) Source #
(ToJSON (TxBody 'TopTx era), ToJSON (TxWits era), ToJSON (TxAuxData era)) ⇒ ToJSON (AlonzoTx 'TopTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods toJSON ∷ AlonzoTx 'TopTx era → Value Source # toEncoding ∷ AlonzoTx 'TopTx era → Encoding Source # toJSONList ∷ [AlonzoTx 'TopTx era] → Value Source # toEncodingList ∷ [AlonzoTx 'TopTx era] → Encoding Source # omitField ∷ AlonzoTx 'TopTx era → Bool Source #
(Era era, EncCBOR (TxBody l era), EncCBOR (TxAuxData era), EncCBOR (TxWits era), Typeable l) ⇒ ToCBOR (AlonzoTx l era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods toCBOR ∷ AlonzoTx l era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTx l era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTx l era] → Size Source #
(Era era, EncCBOR (TxBody l era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) ⇒ EncCBOR (AlonzoTx l era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods encCBOR ∷ AlonzoTx l era → Encoding Source #
(ToJSON (TxBody 'TopTx era), ToJSON (TxWits era), ToJSON (TxAuxData era)) ⇒ ToKeyValuePairs (AlonzoTx 'TopTx era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods toKeyValuePairs ∷ KeyValue e kv ⇒ AlonzoTx 'TopTx era → [kv] Source #
(Era era, NFData (TxWits era), NFData (TxAuxData era), NFData (TxBody l era)) ⇒ NFData (AlonzoTx l era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods rnf ∷ AlonzoTx l era → () #
(Era era, Show (TxBody l era), Show (TxAuxData era), Show (Script era), Show (TxWits era)) ⇒ Show (AlonzoTx l era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods showsPrec ∷ Int → AlonzoTx l era → ShowS # show ∷ AlonzoTx l era → String # showList ∷ [AlonzoTx l era] → ShowS #
(Era era, Eq (TxBody l era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (AlonzoTx l era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods (==) ∷ AlonzoTx l era → AlonzoTx l era → Bool # (/=) ∷ AlonzoTx l era → AlonzoTx l era → Bool #
(Typeable era, Typeable l) ⇒ NoThunks (AlonzoTx l era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods noThunks ∷ Context → AlonzoTx l era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTx l era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTx l era) → String Source #

data family Tx (l ∷ TxLevel) era Source #

Instances

Instances details

HasEraTxLevel Tx AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

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

HasEraTxLevel Tx AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

HasEraTxLevel Tx MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

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

HasEraTxLevel Tx ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

TranslateEra AllegraEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AllegraEra → Tx 'TopTx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra (Tx 'TopTx)) (Tx 'TopTx AllegraEra) Source #

TranslateEra AlonzoEra (Tx 'TopTx) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AlonzoEra → Tx 'TopTx (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra (Tx 'TopTx)) (Tx 'TopTx AlonzoEra) Source #

TranslateEra MaryEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext MaryEra → Tx 'TopTx (PreviousEra MaryEra) → Except (TranslationError MaryEra (Tx 'TopTx)) (Tx 'TopTx MaryEra) Source #

EraTx era ⇒ HasOKey TxId (Tx l era)

Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ Tx l era → TxId Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l AlonzoEra)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

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

Typeable l ⇒ DecCBOR (Annotator (Tx l ShelleyEra))

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

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

Typeable t ⇒ DecCBOR (Annotator (Tx t AllegraEra))

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t AllegraEra)) → Text Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t MaryEra))

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t MaryEra)) → Text Source #

FromJSON (Tx 'TopTx AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx AllegraEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx AllegraEra] Source #

omittedField ∷ Maybe (Tx 'TopTx AllegraEra) Source #

FromJSON (Tx 'TopTx AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx AlonzoEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx AlonzoEra] Source #

omittedField ∷ Maybe (Tx 'TopTx AlonzoEra) Source #

FromJSON (Tx 'TopTx MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx MaryEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx MaryEra] Source #

omittedField ∷ Maybe (Tx 'TopTx MaryEra) Source #

FromJSON (Tx 'TopTx ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (Tx 'TopTx ShelleyEra) Source #

ToJSON (Tx 'TopTx AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toJSON ∷ Tx 'TopTx AllegraEra → Value Source #

toEncoding ∷ Tx 'TopTx AllegraEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx AllegraEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx AllegraEra] → Encoding Source #

omitField ∷ Tx 'TopTx AllegraEra → Bool Source #

ToJSON (Tx 'TopTx AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toJSON ∷ Tx 'TopTx AlonzoEra → Value Source #

toEncoding ∷ Tx 'TopTx AlonzoEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx AlonzoEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx AlonzoEra] → Encoding Source #

omitField ∷ Tx 'TopTx AlonzoEra → Bool Source #

ToJSON (Tx 'TopTx MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toJSON ∷ Tx 'TopTx MaryEra → Value Source #

toEncoding ∷ Tx 'TopTx MaryEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx MaryEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx MaryEra] → Encoding Source #

omitField ∷ Tx 'TopTx MaryEra → Bool Source #

ToJSON (Tx 'TopTx ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toJSON ∷ Tx 'TopTx ShelleyEra → Value Source #

toEncoding ∷ Tx 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ Tx 'TopTx ShelleyEra → Bool Source #

Typeable l ⇒ ToCBOR (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ Tx l AlonzoEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding Source #

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

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

Typeable t ⇒ ToCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toCBOR ∷ Tx t AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t AllegraEra) → Size Source #

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

Typeable t ⇒ ToCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toCBOR ∷ Tx t MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t MaryEra) → Size Source #

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

EncCBOR (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ Tx l AlonzoEra → Encoding Source #

EncCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EncCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

encCBOR ∷ Tx t AllegraEra → Encoding Source #

EncCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

encCBOR ∷ Tx t MaryEra → Encoding Source #

EqRaw (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

EqRaw (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

EqRaw (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

eqRaw ∷ Tx t AllegraEra → Tx t AllegraEra → Bool Source #

EqRaw (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

eqRaw ∷ Tx t MaryEra → Tx t MaryEra → Bool Source #

NFData (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ Tx l AlonzoEra → () #

NFData (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

NFData (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

rnf ∷ Tx t AllegraEra → () #

NFData (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

rnf ∷ Tx t MaryEra → () #

Generic (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep (Tx l AlonzoEra)
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))

Methods

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

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

Generic (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (Tx l ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

Methods

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

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

Generic (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

type Rep (Tx t AllegraEra)
Instance details Defined in Cardano.Ledger.Allegra.Tx type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.10.2.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

Methods

from ∷ Tx t AllegraEra → Rep (Tx t AllegraEra) x #

to ∷ Rep (Tx t AllegraEra) x → Tx t AllegraEra #

Generic (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

type Rep (Tx t MaryEra)
Instance details Defined in Cardano.Ledger.Mary.Tx type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

Methods

from ∷ Tx t MaryEra → Rep (Tx t MaryEra) x #

to ∷ Rep (Tx t MaryEra) x → Tx t MaryEra #

Show (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → Tx l AlonzoEra → ShowS #

show ∷ Tx l AlonzoEra → String #

showList ∷ [Tx l AlonzoEra] → ShowS #

Show (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Show (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

showsPrec ∷ Int → Tx t AllegraEra → ShowS #

show ∷ Tx t AllegraEra → String #

showList ∷ [Tx t AllegraEra] → ShowS #

Show (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

showsPrec ∷ Int → Tx t MaryEra → ShowS #

show ∷ Tx t MaryEra → String #

showList ∷ [Tx t MaryEra] → ShowS #

Eq (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

Eq (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

Eq (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

(==) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

(/=) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

Eq (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

(==) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

(/=) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

Typeable l ⇒ NoThunks (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

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

Typeable l ⇒ NoThunks (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

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

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

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

Typeable t ⇒ NoThunks (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

noThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t AllegraEra) → String Source #

Typeable t ⇒ NoThunks (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

noThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t MaryEra) → String Source #

newtype Tx l AlonzoEra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {

unAlonzoTx ∷ AlonzoTx l AlonzoEra

}

newtype Tx l ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {

unShelleyTx ∷ ShelleyTx l ShelleyEra

}

newtype Tx t AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {

unAllegraTx ∷ ShelleyTx t AllegraEra

}

newtype Tx t MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx t MaryEra = MkMaryTx {

unMaryTx ∷ ShelleyTx t MaryEra

}

type TranslationError AllegraEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

type TranslationError AlonzoEra (Tx 'TopTx) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

type TranslationError MaryEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (Tx 'TopTx) = DecoderError

type Rep (Tx l AlonzoEra) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))

type Rep (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

type Rep (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.10.2.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

type Rep (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.11.1.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era, AlonzoEraTxAuxData era) ⇒ AlonzoEraTx era where Source #

Minimal complete definition

isPhase2ValidTxL

Methods

isPhase2ValidTxL ∷ Lens' (Tx 'TopTx era) IsPhase2Valid Source #

isValidTxL ∷ Lens' (Tx 'TopTx era) IsPhase2Valid Source #

Deprecated: In favor of isPhase2ValidTxL

getTotalExUnits ∷ ∀ (l ∷ TxLevel). Tx l era → ExUnits Source #

Total declared execution units, including sub-transactions when supported. Earlier eras only have the transaction's own redeemers.

Instances

Instances details

AlonzoEraTx AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isPhase2ValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsPhase2Valid Source # isValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsPhase2Valid Source # getTotalExUnits ∷ ∀ (l ∷ TxLevel). Tx l AlonzoEra → ExUnits Source #

mkBasicAlonzoTx ∷ ∀ era (l ∷ TxLevel). (EraTx era, STxLevel l era ~ STxTopLevel l era) ⇒ TxBody l era → AlonzoTx l era Source #

bodyAlonzoTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (TxBody l era → f (TxBody l era)) → AlonzoTx l era → f (AlonzoTx l era) Source #

TxBody setter and getter for AlonzoTx.

witsAlonzoTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (TxWits era → f (TxWits era)) → AlonzoTx l era → f (AlonzoTx l era) Source #

TxWits setter and getter for AlonzoTx.

auxDataAlonzoTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe (TxAuxData era) → f (StrictMaybe (TxAuxData era))) → AlonzoTx l era → f (AlonzoTx l era) Source #

TxAuxData setter and getter for AlonzoTx.

sizeAlonzoTxF ∷ ∀ era (l ∷ TxLevel). (HasCallStack, EraTx era) ⇒ SimpleGetter (AlonzoTx l era) Word32 Source #

txsize computes the length of the serialised bytes (for estimations)

isPhase2ValidAlonzoTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (IsPhase2Valid → f IsPhase2Valid) → AlonzoTx l era → f (AlonzoTx l era) Source #

txrdmrs ∷ AlonzoEraScript era ⇒ AlonzoTxWits era → Redeemers era Source #

data family TxBody (l ∷ TxLevel) era Source #

The body of a transaction.

Instances

Instances details

Instance details

Methods

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

HasEraTxLevel TxBody AlonzoEra Source #

Instance details

Methods

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

HasEraTxLevel TxBody MaryEra

Instance details

HasEraTxLevel TxBody ShelleyEra

Methods

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

Instance details

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

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)) Source #

Instance details

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 MaryEra))

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 #

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

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 #

FromJSON (TxBody 'TopTx AllegraEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx AllegraEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx AllegraEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx AllegraEra) Source #

FromJSON (TxBody 'TopTx AlonzoEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx AlonzoEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx AlonzoEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx AlonzoEra) Source #

FromJSON (TxBody 'TopTx MaryEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx MaryEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx MaryEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx MaryEra) Source #

FromJSON (TxBody 'TopTx ShelleyEra)

Instance details

Methods

parseJSON ∷ Value → Parser (TxBody 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [TxBody 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (TxBody 'TopTx ShelleyEra) Source #

ToJSON (TxBody 'TopTx AllegraEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx AllegraEra → Value Source #

toEncoding ∷ TxBody 'TopTx AllegraEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx AllegraEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx AllegraEra] → Encoding Source #

omitField ∷ TxBody 'TopTx AllegraEra → Bool Source #

ToJSON (TxBody 'TopTx AlonzoEra) Source #

Instance details

Methods

toJSON ∷ TxBody 'TopTx AlonzoEra → Value Source #

toEncoding ∷ TxBody 'TopTx AlonzoEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx AlonzoEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx AlonzoEra] → Encoding Source #

omitField ∷ TxBody 'TopTx AlonzoEra → Bool Source #

ToJSON (TxBody 'TopTx MaryEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx MaryEra → Value Source #

toEncoding ∷ TxBody 'TopTx MaryEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx MaryEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx MaryEra] → Encoding Source #

omitField ∷ TxBody 'TopTx MaryEra → Bool Source #

ToJSON (TxBody 'TopTx ShelleyEra)

Instance details

Methods

toJSON ∷ TxBody 'TopTx ShelleyEra → Value Source #

toEncoding ∷ TxBody 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [TxBody 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [TxBody 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ TxBody 'TopTx ShelleyEra → Bool Source #

Typeable l ⇒ ToCBOR (TxBody l AllegraEra)

Instance details

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) Source #

Instance details

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 MaryEra)

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 #

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra)

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

Instance details

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

EncCBOR (TxBody l AlonzoEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding Source #

EncCBOR (TxBody l MaryEra)

Instance details

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra)

Instance details

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

ToKeyValuePairs (TxBody 'TopTx AllegraEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx AllegraEra → [kv] Source #

ToKeyValuePairs (TxBody 'TopTx AlonzoEra) Source #

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx AlonzoEra → [kv] Source #

ToKeyValuePairs (TxBody 'TopTx MaryEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx MaryEra → [kv] Source #

ToKeyValuePairs (TxBody 'TopTx ShelleyEra)

Instance details

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx ShelleyEra → [kv] Source #

SafeToHash (TxBody l AllegraEra)

Instance details

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) Source #

Instance details

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 MaryEra)

Instance details

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

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

Methods

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

EqRaw (TxBody l AlonzoEra) Source #

Instance details

Methods

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

EqRaw (TxBody l MaryEra)

Instance details

Methods

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

EqRaw (TxBody l ShelleyEra)

Instance details

Methods

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

Memoized (TxBody l AllegraEra)

Instance details

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) Source #

Instance details

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 MaryEra)

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

Memoized (TxBody l ShelleyEra)

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

Instance details

Methods

rnf ∷ TxBody l AllegraEra → () #

NFData (TxBody l AlonzoEra) Source #

Instance details

Methods

rnf ∷ TxBody l AlonzoEra → () #

NFData (TxBody l MaryEra)

Instance details

Methods

rnf ∷ TxBody l MaryEra → () #

NFData (TxBody l ShelleyEra)

Instance details

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l AllegraEra)

Instance details

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.10.2.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) Source #

Instance details

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.17.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 MaryEra)

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

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

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Show (TxBody l AlonzoEra) Source #

Instance details

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Show (TxBody l MaryEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Show (TxBody l ShelleyEra)

Instance details

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l AllegraEra)

Instance details

Methods

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

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

Eq (TxBody l AlonzoEra) Source #

Instance details

Methods

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

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

Eq (TxBody l MaryEra)

Instance details

Methods

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

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

Eq (TxBody l ShelleyEra)

Instance details

Methods

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

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

Typeable l ⇒ NoThunks (TxBody l AllegraEra)

Instance details

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) Source #

Instance details

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 MaryEra)

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 #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra)

Instance details

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

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody Source #

Instance details

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody

Instance details

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l AllegraEra

Instance details

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))

newtype TxBody l AlonzoEra Source #

Instance details

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

newtype TxBody l MaryEra

Instance details

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

newtype TxBody l ShelleyEra

Instance details

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

type RawType (TxBody l AllegraEra)

Instance details

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

type RawType (TxBody l AlonzoEra) Source #

Instance details

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

type RawType (TxBody l MaryEra)

Instance details

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

type RawType (TxBody l ShelleyEra)

Instance details

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

type Rep (TxBody l AllegraEra)

Instance details

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.10.2.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) Source #

Instance details

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.17.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 MaryEra)

Instance details

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.11.1.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