Documentation

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

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

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

newtype IsValid Source #

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

Constructors

IsValid Bool

Instances

Instances details

ToJSON IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toJSON ∷ IsValid → Value Source #

toEncoding ∷ IsValid → Encoding Source #

toJSONList ∷ [IsValid] → Value Source #

toEncodingList ∷ [IsValid] → Encoding Source #

omitField ∷ IsValid → Bool Source #

ToCBOR IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ IsValid → Encoding Source #

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

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

DecCBOR IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

decCBOR ∷ Decoder s IsValid Source #

dropCBOR ∷ Proxy IsValid → Decoder s () Source #

label ∷ Proxy IsValid → Text Source #

EncCBOR IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ IsValid → Encoding Source #

NFData IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ IsValid → () #

Generic IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep IsValid
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep IsValid = D1 ('MetaData "IsValid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "IsValid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from ∷ IsValid → Rep IsValid x #

to ∷ Rep IsValid x → IsValid #

Show IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → IsValid → ShowS #

show ∷ IsValid → String #

showList ∷ [IsValid] → ShowS #

Eq IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(==) ∷ IsValid → IsValid → Bool #

(/=) ∷ IsValid → IsValid → Bool #

NoThunks IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

showTypeOf ∷ Proxy IsValid → String Source #

type Rep IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep IsValid = D1 ('MetaData "IsValid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "IsValid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

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.15.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.15.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) , atIsValid ∷ !IsValid , 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 #
(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 #
(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 #

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.15.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.18.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.9.0.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.10.0.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.15.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.18.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.9.0.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.10.0.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) ⇒ AlonzoEraTx era where Source #

Methods

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

Instances

Instances details

AlonzoEraTx AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsValid 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)

isValidAlonzoTxL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (IsValid → f IsValid) → 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 #

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 #

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 #

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

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

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

Instance details

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

Instance details

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