SpecTranslate ctx Void Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx Word16 Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx Word32 Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx Word64 Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx ValidityInterval Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx OrdExUnits Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx IsValid Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx CoinPerByte Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx GovActionIx Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx Vote Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx DRepVotingThresholds Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx PoolVotingThresholds Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx Network Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx NonNegativeInterval Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx ProtVer Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx TxIx Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx UnitInterval Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx Url Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx Coin Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx DeltaCoin Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
SpecTranslate ctx CostModels Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx ExUnits Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx Prices Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx AccountState Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
SpecTranslate ctx EpochInterval Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx EpochNo Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx SlotNo Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx Integer Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx Bool Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx a ⇒ SpecTranslate ctx (OSet a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate ctx (Timelock era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate ctx (AlonzoScript era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate ctx (PlutusScript era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(SpecTranslate ctx (TxWits era), SpecTranslate ctx (TxAuxData era), SpecTranslate (ConwayTxBodyTransContext (EraCrypto era)) (TxBody era), SpecRep (TxWits era) ~ TxWitnesses, SpecRep (TxAuxData era) ~ AuxiliaryData, SpecRep (TxBody era) ~ TxBody, Tx era ~ AlonzoTx era, EraTx era, BabbageEraTxBody era) ⇒ SpecTranslate ctx (AlonzoTx era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
Era era ⇒ SpecTranslate ctx (AlonzoTxAuxData era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(AlonzoEraScript era, SpecTranslate ctx (PlutusPurpose AsIx era), SpecRep (PlutusPurpose AsIx era) ~ RdmrPtr, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate ctx (AlonzoTxWits era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(AlonzoEraScript era, SpecTranslate ctx (PlutusPurpose AsIx era)) ⇒ SpecTranslate ctx (Redeemers era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
Era era ⇒ SpecTranslate ctx (TxDats era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(EraTxOut era, SpecRep (Value era) ~ Coin, Script era ~ AlonzoScript era, SpecTranslate ctx (Value era), SpecTranslate ctx (Script era)) ⇒ SpecTranslate ctx (BabbageTxOut era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx a ⇒ SpecTranslate ctx (Sized a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (ConwayExecEnactEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (EnactState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
Inject ctx Coin ⇒ SpecTranslate ctx (RatifyEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (RatifySignal era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecTranslate ctx (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (RatifyState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (Committee era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (Constitution era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovAction era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (GovActionId c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovActionState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (ProposalProcedure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (Voter era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (VotingProcedures era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (Proposals era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map (RewardAccount (EraCrypto era)) Coin)) ⇒ SpecTranslate ctx (CertEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
(ToExpr (PredicateFailure (EraRule "DELEG" era)), ToExpr (PredicateFailure (EraRule "GOVCERT" era)), ToExpr (PredicateFailure (EraRule "POOL" era))) ⇒ SpecTranslate ctx (ConwayCertPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map (RewardAccount (EraCrypto era)) Coin)) ⇒ SpecTranslate ctx (CertsEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs |
ToExpr (PredicateFailure (EraRule "CERT" era)) ⇒ SpecTranslate ctx (ConwayCertsPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs |
(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (Set (Credential 'DRepRole (EraCrypto era)))) ⇒ SpecTranslate ctx (ConwayDelegEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg |
SpecTranslate ctx (ConwayDelegPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg |
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (EnactSignal era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (ConwayGovPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (EnactState era), EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (CertState era), SpecRep (CertState era) ~ CertState) ⇒ SpecTranslate ctx (GovEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov |
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovSignal era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov |
(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map (RewardAccount (EraCrypto era)) Coin)) ⇒ SpecTranslate ctx (ConwayGovCertEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert |
SpecTranslate ctx (ConwayGovCertPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert |
(ToExpr (PredicateFailure (EraRule "GOV" era)), ToExpr (PredicateFailure (EraRule "CERTS" era)), ToExpr (PredicateFailure (EraRule "UTXOW" era))) ⇒ SpecTranslate ctx (ConwayLedgerPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger |
SpecTranslate ctx (ConwayNewEpochPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
(ToExpr (Value era), ToExpr (TxOut era), ToExpr (PredicateFailure (EraRule "UTXOS" era))) ⇒ SpecTranslate ctx (ConwayUtxoPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxo |
(Era era, ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (PredicateFailure (EraRule "UTXO" era)), ToExpr (TxCert era)) ⇒ SpecTranslate ctx (ConwayUtxowPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxow |
(ConwayEraTxBody era, TxBody era ~ ConwayTxBody era, SpecRep (TxOut era) ~ TxOut, SpecRep (ConwayTxCert era) ~ DCert, SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, TxCert era ~ ConwayTxCert era, Share (TxOut era) ~ Interns (Credential 'Staking (EraCrypto era)), Inject ctx Integer, Inject ctx (TxId (EraCrypto era)), SpecTranslate ctx (TxOut era), SpecTranslate ctx (ConwayTxCert era), SpecTranslate ctx (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (ConwayTxBody era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (ConwayDelegCert c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg |
Crypto c ⇒ SpecTranslate ctx (ConwayGovCert c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert |
Era era ⇒ SpecTranslate ctx (ConwayTxCert era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
SpecTranslate ctx (Addr era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (BootstrapAddress era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (RewardAccount c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (Withdrawals era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (AuxiliaryDataHash c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (Anchor c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (CertState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
SpecTranslate ctx (CommitteeAuthorization c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (CommitteeState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (DState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg |
SpecTranslate ctx (PState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool |
SpecTranslate ctx (VState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert |
(SpecTranslate ctx a, Compactible a) ⇒ SpecTranslate ctx (CompactForm a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (PParamsHKD Identity era) ⇒ SpecTranslate ctx (PParams era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (PParamsHKD StrictMaybe era) ⇒ SpecTranslate ctx (PParamsUpdate era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (PoolCert c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool |
SpecTranslate ctx (StakeReference era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (DRep c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (SnapShot c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
SpecTranslate ctx (SnapShots c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
SpecTranslate ctx (Stake c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
SpecTranslate ctx (ScriptHash c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(SpecRep (DataHash (EraCrypto era)) ~ DataHash, Era era) ⇒ SpecTranslate ctx (BinaryData era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
Era era ⇒ SpecTranslate ctx (Data era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
Era era ⇒ SpecTranslate ctx (Datum era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (IndividualPoolStake c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (PoolDistr c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (PoolParams era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (TxId era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (TxIn era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut) ⇒ SpecTranslate ctx (UTxO era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
Crypto c ⇒ SpecTranslate ctx (MaryValue c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(EraPParams era, ConwayEraGov era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era)) ⇒ SpecTranslate ctx (EpochState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
(ConwayEraGov era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era)) ⇒ SpecTranslate ctx (LedgerState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
(EraPParams era, ConwayEraGov era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era)) ⇒ SpecTranslate ctx (NewEpochState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, Inject ctx (CertState era)) ⇒ SpecTranslate ctx (UTxOState era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
SpecTranslate ctx (PulsingRewUpdate c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert |
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (StrictMaybe (ScriptHash (EraCrypto era))), Inject ctx (EnactState era)) ⇒ SpecTranslate ctx (LedgerEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger |
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (EnactState era), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (ShelleyLedgersEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers |
ToExpr (PredicateFailure (EraRule "LEDGER" era)) ⇒ SpecTranslate ctx (ShelleyLedgersPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers |
(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (PoolEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool |
SpecTranslate ctx (ShelleyPoolPredFailure era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool |
(SpecRep (PParams era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (UtxoEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxo |
SpecTranslate ctx (EpochExecEnv era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (DepositPurpose c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictMaybe a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictSeq a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx a ⇒ SpecTranslate ctx (Seq a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx a ⇒ SpecTranslate ctx (Set a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx a ⇒ SpecTranslate ctx (Maybe a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx a ⇒ SpecTranslate ctx [a] Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
DSIGNAlgorithm v ⇒ SpecTranslate ctx (SignedDSIGN v a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (Hash a b) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(SpecTranslate ctx k, SpecTranslate ctx v, Ord k) ⇒ SpecTranslate ctx (OMap k v) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (AlonzoPlutusPurpose AsIx era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (GovPurposeId r c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (ConwayPParams Identity era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (ConwayPParams StrictMaybe era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (ConwayPlutusPurpose AsIx era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (Credential k c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (KeyHash r c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
Crypto c ⇒ SpecTranslate ctx (VKey k c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(Crypto c, Typeable k) ⇒ SpecTranslate ctx (WitVKey k c) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (SafeHash c a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(SpecTranslate ctx k, SpecTranslate ctx v) ⇒ SpecTranslate ctx (Map k v) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
(SpecTranslate ctx a, SpecTranslate ctx b) ⇒ SpecTranslate ctx (a, b) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
SpecTranslate ctx (HKD f a) ⇒ SpecTranslate ctx (THKD r f a) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |