cardano-ledger-alonzo-test-1.2.1.3: Tests for Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
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
Generic (TranslationInstance era) Source # 
Instance details

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

Associated Types

type Rep (TranslationInstance era) ∷ TypeType Source #

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

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

(Typeable era, DecCBOR (PParams era), DecCBOR (UTxO era), DecCBOR (Annotator (Tx era))) ⇒ DecCBOR (Annotator (TranslationInstance era)) Source # 
Instance details

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

(Typeable era, EncCBOR (PParams era), EncCBOR (UTxO era), EncCBOR (Tx era)) ⇒ EncCBOR (TranslationInstance era) Source # 
Instance details

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

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

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

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-test-1.2.1.3-inplace" 'False) (C1 ('MetaCons "TranslationInstance" 'PrefixI 'True) ((S1 ('MetaSel ('Just "tiProtVer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtVer) :*: S1 ('MetaSel ('Just "tiLanguage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Language)) :*: (S1 ('MetaSel ('Just "tiUtxo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxO era)) :*: (S1 ('MetaSel ('Just "tiTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Tx era)) :*: S1 ('MetaSel ('Just "tiResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VersionedTxInfo)))))

data VersionedTxInfo Source #

Instances

Instances details
Generic VersionedTxInfo Source # 
Instance details

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

Associated Types

type Rep VersionedTxInfoTypeType Source #

Show VersionedTxInfo Source # 
Instance details

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

DecCBOR VersionedTxInfo Source # 
Instance details

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

EncCBOR VersionedTxInfo Source # 
Instance details

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

Eq VersionedTxInfo Source # 
Instance details

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

Serialise VersionedTxInfo Source # 
Instance details

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

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-test-1.2.1.3-inplace" 'False) (C1 ('MetaCons "TxInfoPV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo)) :+: (C1 ('MetaCons "TxInfoPV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo)) :+: C1 ('MetaCons "TxInfoPV3" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo))))

Orphan instances

Serialise Address Source # 
Instance details

Serialise ScriptPurpose Source # 
Instance details

Serialise TxInInfo Source # 
Instance details

Serialise TxInfo Source # 
Instance details

Serialise Credential Source # 
Instance details

Serialise StakingCredential Source # 
Instance details

Serialise PubKeyHash Source # 
Instance details

Serialise DCert Source # 
Instance details

Serialise DatumHash Source # 
Instance details

Serialise ScriptHash Source # 
Instance details

Serialise POSIXTime Source # 
Instance details

Serialise TxId Source # 
Instance details

Serialise TxOut Source # 
Instance details

Serialise TxOutRef Source # 
Instance details

Serialise CurrencySymbol Source # 
Instance details

Serialise Lovelace Source # 
Instance details

Serialise TokenName Source # 
Instance details

Serialise Value Source # 
Instance details

Serialise TxInInfo Source # 
Instance details

Serialise TxInfo Source # 
Instance details

Serialise OutputDatum Source # 
Instance details

Serialise TxOut Source # 
Instance details

Serialise ChangedParameters Source # 
Instance details

Serialise ColdCommitteeCredential Source # 
Instance details

Serialise Committee Source # 
Instance details

Serialise Constitution Source # 
Instance details

Serialise DRep Source # 
Instance details

Serialise DRepCredential Source # 
Instance details

Serialise Delegatee Source # 
Instance details

Serialise GovernanceAction Source # 
Instance details

Serialise GovernanceActionId Source # 
Instance details

Serialise HotCommitteeCredential Source # 
Instance details

Serialise ProposalProcedure Source # 
Instance details

Serialise ProtocolVersion Source # 
Instance details

Serialise ScriptPurpose Source # 
Instance details

Serialise TxCert Source # 
Instance details

Serialise TxInInfo Source # 
Instance details

Serialise TxInfo Source # 
Instance details

Serialise Vote Source # 
Instance details

Serialise Voter Source # 
Instance details

Serialise TxId Source # 
Instance details

Serialise TxOutRef Source # 
Instance details

Serialise BuiltinData Source # 
Instance details

Serialise Rational Source # 
Instance details

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

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

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

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

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

Methods

encodeMap k v → Encoding Source #

decodeDecoder s (Map k v) Source #

encodeList ∷ [Map k v] → Encoding Source #

decodeListDecoder s [Map k v] Source #