cardano-ledger-alonzo-1.15.0.0: Cardano ledger introducing Plutus Core
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Synopsis

Documentation

data TranslationInstance era Source #

Represents arguments passed to alonzoTxInfo along with the produced result.

Constructors

TranslationInstance 

Fields

Instances

Instances details
(DecCBOR (PParams era), DecCBOR (UTxO era), DecCBOR (Tx 'TopTx era), EraPlutusContext era) ⇒ DecCBOR (TranslationInstance era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Methods

decCBOR ∷ Decoder s (TranslationInstance era) Source #

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

label ∷ Proxy (TranslationInstance era) → Text Source #

(Era era, EncCBOR (UTxO era), EncCBOR (Tx 'TopTx era)) ⇒ EncCBOR (TranslationInstance era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Methods

encCBOR ∷ TranslationInstance era → Encoding Source #

Generic (TranslationInstance era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Associated Types

type Rep (TranslationInstance era) 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

type Rep (TranslationInstance era) = D1 ('MetaData "TranslationInstance" "Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance" "cardano-ledger-alonzo-1.15.0.0-inplace-testlib" 'False) (C1 ('MetaCons "TranslationInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tiProtVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer) :*: S1 ('MetaSel ('Just "tiLanguage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SupportedLanguage era))) :*: (S1 ('MetaSel ('Just "tiUtxo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: (S1 ('MetaSel ('Just "tiTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx 'TopTx era)) :*: S1 ('MetaSel ('Just "tiResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VersionedTxInfo)))))

Methods

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

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

(Era era, Show (PParams era), Show (UTxO era), Show (Tx 'TopTx era)) ⇒ Show (TranslationInstance era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Methods

showsPrec ∷ Int → TranslationInstance era → ShowS #

show ∷ TranslationInstance era → String #

showList ∷ [TranslationInstance era] → ShowS #

(Era era, Eq (PParams era), Eq (UTxO era), Eq (Tx 'TopTx era)) ⇒ Eq (TranslationInstance era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Methods

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

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

type Rep (TranslationInstance era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

type Rep (TranslationInstance era) = D1 ('MetaData "TranslationInstance" "Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance" "cardano-ledger-alonzo-1.15.0.0-inplace-testlib" 'False) (C1 ('MetaCons "TranslationInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tiProtVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer) :*: S1 ('MetaSel ('Just "tiLanguage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SupportedLanguage era))) :*: (S1 ('MetaSel ('Just "tiUtxo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: (S1 ('MetaSel ('Just "tiTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx 'TopTx era)) :*: S1 ('MetaSel ('Just "tiResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VersionedTxInfo)))))

deserializeTranslationInstances ∷ (DecCBOR (PParams era), DecCBOR (UTxO era), DecCBOR (Tx 'TopTx era), EraPlutusContext era) ⇒ ByteString → Either DecoderError [TranslationInstance era] Source #

data VersionedTxInfo Source #

Constructors

TxInfoPV1 TxInfo 
TxInfoPV2 TxInfo 
TxInfoPV3 TxInfo 
TxInfoPV4 TxInfo 

Instances

Instances details
DecCBOR VersionedTxInfo Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Methods

decCBOR ∷ Decoder s VersionedTxInfo Source #

dropCBOR ∷ Proxy VersionedTxInfo → Decoder s () Source #

label ∷ Proxy VersionedTxInfo → Text Source #

EncCBOR VersionedTxInfo Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Methods

encCBOR ∷ VersionedTxInfo → Encoding Source #

Generic VersionedTxInfo Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Associated Types

type Rep VersionedTxInfo 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

type Rep VersionedTxInfo = D1 ('MetaData "VersionedTxInfo" "Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance" "cardano-ledger-alonzo-1.15.0.0-inplace-testlib" 'False) ((C1 ('MetaCons "TxInfoPV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo)) :+: C1 ('MetaCons "TxInfoPV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo))) :+: (C1 ('MetaCons "TxInfoPV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo)) :+: C1 ('MetaCons "TxInfoPV4" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo))))

Methods

from ∷ VersionedTxInfo → Rep VersionedTxInfo x #

to ∷ Rep VersionedTxInfo x → VersionedTxInfo #

Show VersionedTxInfo Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Methods

showsPrec ∷ Int → VersionedTxInfo → ShowS #

show ∷ VersionedTxInfo → String #

showList ∷ [VersionedTxInfo] → ShowS #

Eq VersionedTxInfo Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Methods

(==) ∷ VersionedTxInfo → VersionedTxInfo → Bool #

(/=) ∷ VersionedTxInfo → VersionedTxInfo → Bool #

Serialise VersionedTxInfo Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

Methods

encode ∷ VersionedTxInfo → Encoding Source #

decode ∷ Decoder s VersionedTxInfo Source #

encodeList ∷ [VersionedTxInfo] → Encoding Source #

decodeList ∷ Decoder s [VersionedTxInfo] Source #

type Rep VersionedTxInfo Source # 
Instance details

Defined in Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance

type Rep VersionedTxInfo = D1 ('MetaData "VersionedTxInfo" "Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance" "cardano-ledger-alonzo-1.15.0.0-inplace-testlib" 'False) ((C1 ('MetaCons "TxInfoPV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo)) :+: C1 ('MetaCons "TxInfoPV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo))) :+: (C1 ('MetaCons "TxInfoPV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo)) :+: C1 ('MetaCons "TxInfoPV4" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo))))

Orphan instances

Serialise Address Source # 
Instance details

Methods

encode ∷ Address → Encoding Source #

decode ∷ Decoder s Address Source #

encodeList ∷ [Address] → Encoding Source #

decodeList ∷ Decoder s [Address] Source #

Serialise ScriptPurpose Source # 
Instance details

Methods

encode ∷ ScriptPurpose → Encoding Source #

decode ∷ Decoder s ScriptPurpose Source #

encodeList ∷ [ScriptPurpose] → Encoding Source #

decodeList ∷ Decoder s [ScriptPurpose] Source #

Serialise TxInInfo Source # 
Instance details

Methods

encode ∷ TxInInfo → Encoding Source #

decode ∷ Decoder s TxInInfo Source #

encodeList ∷ [TxInInfo] → Encoding Source #

decodeList ∷ Decoder s [TxInInfo] Source #

Serialise TxInfo Source # 
Instance details

Methods

encode ∷ TxInfo → Encoding Source #

decode ∷ Decoder s TxInfo Source #

encodeList ∷ [TxInfo] → Encoding Source #

decodeList ∷ Decoder s [TxInfo] Source #

Serialise Credential Source # 
Instance details

Methods

encode ∷ Credential → Encoding Source #

decode ∷ Decoder s Credential Source #

encodeList ∷ [Credential] → Encoding Source #

decodeList ∷ Decoder s [Credential] Source #

Serialise StakingCredential Source # 
Instance details

Methods

encode ∷ StakingCredential → Encoding Source #

decode ∷ Decoder s StakingCredential Source #

encodeList ∷ [StakingCredential] → Encoding Source #

decodeList ∷ Decoder s [StakingCredential] Source #

Serialise PubKeyHash Source # 
Instance details

Methods

encode ∷ PubKeyHash → Encoding Source #

decode ∷ Decoder s PubKeyHash Source #

encodeList ∷ [PubKeyHash] → Encoding Source #

decodeList ∷ Decoder s [PubKeyHash] Source #

Serialise DCert Source # 
Instance details

Methods

encode ∷ DCert → Encoding Source #

decode ∷ Decoder s DCert Source #

encodeList ∷ [DCert] → Encoding Source #

decodeList ∷ Decoder s [DCert] Source #

Serialise DatumHash Source # 
Instance details

Methods

encode ∷ DatumHash → Encoding Source #

decode ∷ Decoder s DatumHash Source #

encodeList ∷ [DatumHash] → Encoding Source #

decodeList ∷ Decoder s [DatumHash] Source #

Serialise ScriptHash Source # 
Instance details

Methods

encode ∷ ScriptHash → Encoding Source #

decode ∷ Decoder s ScriptHash Source #

encodeList ∷ [ScriptHash] → Encoding Source #

decodeList ∷ Decoder s [ScriptHash] Source #

Serialise POSIXTime Source # 
Instance details

Methods

encode ∷ POSIXTime → Encoding Source #

decode ∷ Decoder s POSIXTime Source #

encodeList ∷ [POSIXTime] → Encoding Source #

decodeList ∷ Decoder s [POSIXTime] Source #

Serialise TxId Source # 
Instance details

Methods

encode ∷ TxId → Encoding Source #

decode ∷ Decoder s TxId Source #

encodeList ∷ [TxId] → Encoding Source #

decodeList ∷ Decoder s [TxId] Source #

Serialise TxOut Source # 
Instance details

Methods

encode ∷ TxOut → Encoding Source #

decode ∷ Decoder s TxOut Source #

encodeList ∷ [TxOut] → Encoding Source #

decodeList ∷ Decoder s [TxOut] Source #

Serialise TxOutRef Source # 
Instance details

Methods

encode ∷ TxOutRef → Encoding Source #

decode ∷ Decoder s TxOutRef Source #

encodeList ∷ [TxOutRef] → Encoding Source #

decodeList ∷ Decoder s [TxOutRef] Source #

Serialise CurrencySymbol Source # 
Instance details

Methods

encode ∷ CurrencySymbol → Encoding Source #

decode ∷ Decoder s CurrencySymbol Source #

encodeList ∷ [CurrencySymbol] → Encoding Source #

decodeList ∷ Decoder s [CurrencySymbol] Source #

Serialise Lovelace Source # 
Instance details

Methods

encode ∷ Lovelace → Encoding Source #

decode ∷ Decoder s Lovelace Source #

encodeList ∷ [Lovelace] → Encoding Source #

decodeList ∷ Decoder s [Lovelace] Source #

Serialise TokenName Source # 
Instance details

Methods

encode ∷ TokenName → Encoding Source #

decode ∷ Decoder s TokenName Source #

encodeList ∷ [TokenName] → Encoding Source #

decodeList ∷ Decoder s [TokenName] Source #

Serialise Value Source # 
Instance details

Methods

encode ∷ Value → Encoding Source #

decode ∷ Decoder s Value Source #

encodeList ∷ [Value] → Encoding Source #

decodeList ∷ Decoder s [Value] Source #

Serialise TxInInfo Source # 
Instance details

Methods

encode ∷ TxInInfo → Encoding Source #

decode ∷ Decoder s TxInInfo Source #

encodeList ∷ [TxInInfo] → Encoding Source #

decodeList ∷ Decoder s [TxInInfo] Source #

Serialise TxInfo Source # 
Instance details

Methods

encode ∷ TxInfo → Encoding Source #

decode ∷ Decoder s TxInfo Source #

encodeList ∷ [TxInfo] → Encoding Source #

decodeList ∷ Decoder s [TxInfo] Source #

Serialise OutputDatum Source # 
Instance details

Methods

encode ∷ OutputDatum → Encoding Source #

decode ∷ Decoder s OutputDatum Source #

encodeList ∷ [OutputDatum] → Encoding Source #

decodeList ∷ Decoder s [OutputDatum] Source #

Serialise TxOut Source # 
Instance details

Methods

encode ∷ TxOut → Encoding Source #

decode ∷ Decoder s TxOut Source #

encodeList ∷ [TxOut] → Encoding Source #

decodeList ∷ Decoder s [TxOut] Source #

Serialise ChangedParameters Source # 
Instance details

Methods

encode ∷ ChangedParameters → Encoding Source #

decode ∷ Decoder s ChangedParameters Source #

encodeList ∷ [ChangedParameters] → Encoding Source #

decodeList ∷ Decoder s [ChangedParameters] Source #

Serialise ColdCommitteeCredential Source # 
Instance details

Methods

encode ∷ ColdCommitteeCredential → Encoding Source #

decode ∷ Decoder s ColdCommitteeCredential Source #

encodeList ∷ [ColdCommitteeCredential] → Encoding Source #

decodeList ∷ Decoder s [ColdCommitteeCredential] Source #

Serialise Committee Source # 
Instance details

Methods

encode ∷ Committee → Encoding Source #

decode ∷ Decoder s Committee Source #

encodeList ∷ [Committee] → Encoding Source #

decodeList ∷ Decoder s [Committee] Source #

Serialise Constitution Source # 
Instance details

Methods

encode ∷ Constitution → Encoding Source #

decode ∷ Decoder s Constitution Source #

encodeList ∷ [Constitution] → Encoding Source #

decodeList ∷ Decoder s [Constitution] Source #

Serialise DRep Source # 
Instance details

Methods

encode ∷ DRep → Encoding Source #

decode ∷ Decoder s DRep Source #

encodeList ∷ [DRep] → Encoding Source #

decodeList ∷ Decoder s [DRep] Source #

Serialise DRepCredential Source # 
Instance details

Methods

encode ∷ DRepCredential → Encoding Source #

decode ∷ Decoder s DRepCredential Source #

encodeList ∷ [DRepCredential] → Encoding Source #

decodeList ∷ Decoder s [DRepCredential] Source #

Serialise Delegatee Source # 
Instance details

Methods

encode ∷ Delegatee → Encoding Source #

decode ∷ Decoder s Delegatee Source #

encodeList ∷ [Delegatee] → Encoding Source #

decodeList ∷ Decoder s [Delegatee] Source #

Serialise GovernanceAction Source # 
Instance details

Methods

encode ∷ GovernanceAction → Encoding Source #

decode ∷ Decoder s GovernanceAction Source #

encodeList ∷ [GovernanceAction] → Encoding Source #

decodeList ∷ Decoder s [GovernanceAction] Source #

Serialise GovernanceActionId Source # 
Instance details

Methods

encode ∷ GovernanceActionId → Encoding Source #

decode ∷ Decoder s GovernanceActionId Source #

encodeList ∷ [GovernanceActionId] → Encoding Source #

decodeList ∷ Decoder s [GovernanceActionId] Source #

Serialise HotCommitteeCredential Source # 
Instance details

Methods

encode ∷ HotCommitteeCredential → Encoding Source #

decode ∷ Decoder s HotCommitteeCredential Source #

encodeList ∷ [HotCommitteeCredential] → Encoding Source #

decodeList ∷ Decoder s [HotCommitteeCredential] Source #

Serialise ProposalProcedure Source # 
Instance details

Methods

encode ∷ ProposalProcedure → Encoding Source #

decode ∷ Decoder s ProposalProcedure Source #

encodeList ∷ [ProposalProcedure] → Encoding Source #

decodeList ∷ Decoder s [ProposalProcedure] Source #

Serialise ProtocolVersion Source # 
Instance details

Methods

encode ∷ ProtocolVersion → Encoding Source #

decode ∷ Decoder s ProtocolVersion Source #

encodeList ∷ [ProtocolVersion] → Encoding Source #

decodeList ∷ Decoder s [ProtocolVersion] Source #

Serialise ScriptPurpose Source # 
Instance details

Methods

encode ∷ ScriptPurpose → Encoding Source #

decode ∷ Decoder s ScriptPurpose Source #

encodeList ∷ [ScriptPurpose] → Encoding Source #

decodeList ∷ Decoder s [ScriptPurpose] Source #

Serialise TxCert Source # 
Instance details

Methods

encode ∷ TxCert → Encoding Source #

decode ∷ Decoder s TxCert Source #

encodeList ∷ [TxCert] → Encoding Source #

decodeList ∷ Decoder s [TxCert] Source #

Serialise TxInInfo Source # 
Instance details

Methods

encode ∷ TxInInfo → Encoding Source #

decode ∷ Decoder s TxInInfo Source #

encodeList ∷ [TxInInfo] → Encoding Source #

decodeList ∷ Decoder s [TxInInfo] Source #

Serialise TxInfo Source # 
Instance details

Methods

encode ∷ TxInfo → Encoding Source #

decode ∷ Decoder s TxInfo Source #

encodeList ∷ [TxInfo] → Encoding Source #

decodeList ∷ Decoder s [TxInfo] Source #

Serialise Vote Source # 
Instance details

Methods

encode ∷ Vote → Encoding Source #

decode ∷ Decoder s Vote Source #

encodeList ∷ [Vote] → Encoding Source #

decodeList ∷ Decoder s [Vote] Source #

Serialise Voter Source # 
Instance details

Methods

encode ∷ Voter → Encoding Source #

decode ∷ Decoder s Voter Source #

encodeList ∷ [Voter] → Encoding Source #

decodeList ∷ Decoder s [Voter] Source #

Serialise MintValue Source # 
Instance details

Methods

encode ∷ MintValue → Encoding Source #

decode ∷ Decoder s MintValue Source #

encodeList ∷ [MintValue] → Encoding Source #

decodeList ∷ Decoder s [MintValue] Source #

Serialise TxId Source # 
Instance details

Methods

encode ∷ TxId → Encoding Source #

decode ∷ Decoder s TxId Source #

encodeList ∷ [TxId] → Encoding Source #

decodeList ∷ Decoder s [TxId] Source #

Serialise TxOutRef Source # 
Instance details

Methods

encode ∷ TxOutRef → Encoding Source #

decode ∷ Decoder s TxOutRef Source #

encodeList ∷ [TxOutRef] → Encoding Source #

decodeList ∷ Decoder s [TxOutRef] Source #

Serialise BuiltinData Source # 
Instance details

Methods

encode ∷ BuiltinData → Encoding Source #

decode ∷ Decoder s BuiltinData Source #

encodeList ∷ [BuiltinData] → Encoding Source #

decodeList ∷ Decoder s [BuiltinData] Source #

Serialise Rational Source # 
Instance details

Methods

encode ∷ Rational → Encoding Source #

decode ∷ Decoder s Rational Source #

encodeList ∷ [Rational] → Encoding Source #

decodeList ∷ Decoder s [Rational] Source #

Serialise a ⇒ Serialise (Extended a) Source # 
Instance details

Methods

encode ∷ Extended a → Encoding Source #

decode ∷ Decoder s (Extended a) Source #

encodeList ∷ [Extended a] → Encoding Source #

decodeList ∷ Decoder s [Extended a] Source #

Serialise a ⇒ Serialise (Interval a) Source # 
Instance details

Methods

encode ∷ Interval a → Encoding Source #

decode ∷ Decoder s (Interval a) Source #

encodeList ∷ [Interval a] → Encoding Source #

decodeList ∷ Decoder s [Interval a] Source #

Serialise a ⇒ Serialise (LowerBound a) Source # 
Instance details

Methods

encode ∷ LowerBound a → Encoding Source #

decode ∷ Decoder s (LowerBound a) Source #

encodeList ∷ [LowerBound a] → Encoding Source #

decodeList ∷ Decoder s [LowerBound a] Source #

Serialise a ⇒ Serialise (UpperBound a) Source # 
Instance details

Methods

encode ∷ UpperBound a → Encoding Source #

decode ∷ Decoder s (UpperBound a) Source #

encodeList ∷ [UpperBound a] → Encoding Source #

decodeList ∷ Decoder s [UpperBound a] Source #

(Serialise k, Serialise v) ⇒ Serialise (Map k v) Source # 
Instance details

Methods

encode ∷ Map k v → Encoding Source #

decode ∷ Decoder s (Map k v) Source #

encodeList ∷ [Map k v] → Encoding Source #

decodeList ∷ Decoder s [Map k v] Source #