cardano-ledger-conformance-0.1.0.0: Testing utilities for conformance testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Synopsis

Documentation

class SpecTranslate ctx a where Source #

Associated Types

type SpecRep a ∷ Type Source #

Methods

toSpecRep ∷ a → SpecTransM ctx (SpecRep a) Source #

Instances

Instances details
SpecTranslate ctx Void Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Void Source #

SpecTranslate ctx Word16 Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Word16 Source #

SpecTranslate ctx Word32 Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Word32 Source #

SpecTranslate ctx Word64 Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Word64 Source #

SpecTranslate ctx ValidityInterval Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep ValidityInterval Source #

SpecTranslate ctx OrdExUnits Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep OrdExUnits Source #

SpecTranslate ctx IsValid Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep IsValid Source #

SpecTranslate ctx CoinPerByte Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep CoinPerByte Source #

SpecTranslate ctx GovActionIx Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep GovActionIx Source #

SpecTranslate ctx Vote Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Vote Source #

SpecTranslate ctx DRepVotingThresholds Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep DRepVotingThresholds Source #

SpecTranslate ctx PoolVotingThresholds Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep PoolVotingThresholds Source #

SpecTranslate ctx Network Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Network Source #

SpecTranslate ctx NonNegativeInterval Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep NonNegativeInterval Source #

SpecTranslate ctx ProtVer Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep ProtVer Source #

SpecTranslate ctx TxIx Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep TxIx Source #

SpecTranslate ctx UnitInterval Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep UnitInterval Source #

SpecTranslate ctx Url Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Url Source #

Methods

toSpecRepUrlSpecTransM ctx (SpecRep Url) Source #

SpecTranslate ctx Coin Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Coin Source #

SpecTranslate ctx DeltaCoin Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep DeltaCoin Source #

SpecTranslate ctx CostModels Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep CostModels Source #

SpecTranslate ctx ExUnits Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep ExUnits Source #

SpecTranslate ctx Prices Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Prices Source #

SpecTranslate ctx AccountState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep AccountState Source #

SpecTranslate ctx EpochInterval Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep EpochInterval Source #

SpecTranslate ctx EpochNo Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep EpochNo Source #

SpecTranslate ctx SlotNo Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep SlotNo Source #

SpecTranslate ctx Integer Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Integer Source #

SpecTranslate ctx Bool Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep Bool Source #

SpecTranslate ctx a ⇒ SpecTranslate ctx (OSet a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (OSet a) Source #

Methods

toSpecRepOSet a → SpecTransM ctx (SpecRep (OSet a)) Source #

(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate ctx (Timelock era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Timelock era) Source #

Methods

toSpecRepTimelock era → SpecTransM ctx (SpecRep (Timelock era)) Source #

(AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate ctx (AlonzoScript era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (AlonzoScript era) Source #

(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate ctx (PlutusScript era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (PlutusScript era) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (AlonzoTx era) Source #

Methods

toSpecRepAlonzoTx era → SpecTransM ctx (SpecRep (AlonzoTx era)) Source #

Era era ⇒ SpecTranslate ctx (AlonzoTxAuxData era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (AlonzoTxAuxData era) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (AlonzoTxWits era) Source #

(AlonzoEraScript era, SpecTranslate ctx (PlutusPurpose AsIx era)) ⇒ SpecTranslate ctx (Redeemers era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Redeemers era) Source #

Methods

toSpecRepRedeemers era → SpecTransM ctx (SpecRep (Redeemers era)) Source #

Era era ⇒ SpecTranslate ctx (TxDats era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (TxDats era) Source #

Methods

toSpecRepTxDats era → SpecTransM ctx (SpecRep (TxDats era)) Source #

(EraTxOut era, SpecRep (Value era) ~ Coin, Script era ~ AlonzoScript era, SpecTranslate ctx (Value era), SpecTranslate ctx (Script era)) ⇒ SpecTranslate ctx (BabbageTxOut era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (BabbageTxOut era) Source #

SpecTranslate ctx a ⇒ SpecTranslate ctx (Sized a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Sized a) Source #

Methods

toSpecRepSized a → SpecTransM ctx (SpecRep (Sized a)) Source #

SpecTranslate ctx (ConwayExecEnactEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (ConwayExecEnactEnv era) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (EnactState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (EnactState era) Source #

Methods

toSpecRepEnactState era → SpecTransM ctx (SpecRep (EnactState era)) Source #

Inject ctx CoinSpecTranslate ctx (RatifyEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (RatifyEnv era) Source #

Methods

toSpecRepRatifyEnv era → SpecTransM ctx (SpecRep (RatifyEnv era)) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (RatifySignal era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (RatifySignal era) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (RatifyState era) Source #

Methods

toSpecRepRatifyState era → SpecTransM ctx (SpecRep (RatifyState era)) Source #

SpecTranslate ctx (Committee era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Committee era) Source #

Methods

toSpecRepCommittee era → SpecTransM ctx (SpecRep (Committee era)) Source #

SpecTranslate ctx (Constitution era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Constitution era) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovAction era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (GovAction era) Source #

Methods

toSpecRepGovAction era → SpecTransM ctx (SpecRep (GovAction era)) Source #

SpecTranslate ctx (GovActionId c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (GovActionId c) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovActionState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (GovActionState era) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (ProposalProcedure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (ProposalProcedure era) Source #

SpecTranslate ctx (Voter era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Voter era) Source #

Methods

toSpecRepVoter era → SpecTransM ctx (SpecRep (Voter era)) Source #

SpecTranslate ctx (VotingProcedures era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (VotingProcedures era) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (Proposals era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Proposals era) Source #

Methods

toSpecRepProposals era → SpecTransM ctx (SpecRep (Proposals era)) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (CertEnv era) Source #

Methods

toSpecRepCertEnv era → SpecTransM ctx (SpecRep (CertEnv era)) Source #

(ToExpr (PredicateFailure (EraRule "DELEG" era)), ToExpr (PredicateFailure (EraRule "GOVCERT" era)), ToExpr (PredicateFailure (EraRule "POOL" era))) ⇒ SpecTranslate ctx (ConwayCertPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (ConwayCertPredFailure era) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs

Associated Types

type SpecRep (CertsEnv era) Source #

Methods

toSpecRepCertsEnv era → SpecTransM ctx (SpecRep (CertsEnv era)) Source #

ToExpr (PredicateFailure (EraRule "CERT" era)) ⇒ SpecTranslate ctx (ConwayCertsPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs

Associated Types

type SpecRep (ConwayCertsPredFailure era) Source #

(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (Set (Credential 'DRepRole (EraCrypto era)))) ⇒ SpecTranslate ctx (ConwayDelegEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg

Associated Types

type SpecRep (ConwayDelegEnv era) Source #

SpecTranslate ctx (ConwayDelegPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg

Associated Types

type SpecRep (ConwayDelegPredFailure era) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (EnactSignal era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (EnactSignal era) Source #

Methods

toSpecRepEnactSignal era → SpecTransM ctx (SpecRep (EnactSignal era)) Source #

(EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (ConwayGovPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (ConwayGovPredFailure era) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov

Associated Types

type SpecRep (GovEnv era) Source #

Methods

toSpecRepGovEnv era → SpecTransM ctx (SpecRep (GovEnv era)) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovSignal era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov

Associated Types

type SpecRep (GovSignal era) Source #

Methods

toSpecRepGovSignal era → SpecTransM ctx (SpecRep (GovSignal era)) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert

Associated Types

type SpecRep (ConwayGovCertEnv era) Source #

SpecTranslate ctx (ConwayGovCertPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert

Associated Types

type SpecRep (ConwayGovCertPredFailure era) Source #

(ToExpr (PredicateFailure (EraRule "GOV" era)), ToExpr (PredicateFailure (EraRule "CERTS" era)), ToExpr (PredicateFailure (EraRule "UTXOW" era))) ⇒ SpecTranslate ctx (ConwayLedgerPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger

Associated Types

type SpecRep (ConwayLedgerPredFailure era) Source #

SpecTranslate ctx (ConwayNewEpochPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (ConwayNewEpochPredFailure era) Source #

(ToExpr (Value era), ToExpr (TxOut era), ToExpr (PredicateFailure (EraRule "UTXOS" era))) ⇒ SpecTranslate ctx (ConwayUtxoPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxo

Associated Types

type SpecRep (ConwayUtxoPredFailure era) Source #

(Era era, ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (PredicateFailure (EraRule "UTXO" era)), ToExpr (TxCert era)) ⇒ SpecTranslate ctx (ConwayUtxowPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxow

Associated Types

type SpecRep (ConwayUtxowPredFailure era) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (ConwayTxBody era) Source #

SpecTranslate ctx (ConwayDelegCert c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg

Associated Types

type SpecRep (ConwayDelegCert c) Source #

Crypto c ⇒ SpecTranslate ctx (ConwayGovCert c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert

Associated Types

type SpecRep (ConwayGovCert c) Source #

Era era ⇒ SpecTranslate ctx (ConwayTxCert era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (ConwayTxCert era) Source #

SpecTranslate ctx (Addr era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Addr era) Source #

Methods

toSpecRepAddr era → SpecTransM ctx (SpecRep (Addr era)) Source #

SpecTranslate ctx (BootstrapAddress era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (BootstrapAddress era) Source #

SpecTranslate ctx (RewardAccount c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (RewardAccount c) Source #

SpecTranslate ctx (Withdrawals era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Withdrawals era) Source #

Methods

toSpecRepWithdrawals era → SpecTransM ctx (SpecRep (Withdrawals era)) Source #

SpecTranslate ctx (AuxiliaryDataHash c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (AuxiliaryDataHash c) Source #

SpecTranslate ctx (Anchor c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Anchor c) Source #

Methods

toSpecRepAnchor c → SpecTransM ctx (SpecRep (Anchor c)) Source #

SpecTranslate ctx (CertState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (CertState era) Source #

Methods

toSpecRepCertState era → SpecTransM ctx (SpecRep (CertState era)) Source #

SpecTranslate ctx (CommitteeAuthorization c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (CommitteeAuthorization c) Source #

SpecTranslate ctx (CommitteeState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (CommitteeState era) Source #

SpecTranslate ctx (DState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg

Associated Types

type SpecRep (DState era) Source #

Methods

toSpecRepDState era → SpecTransM ctx (SpecRep (DState era)) Source #

SpecTranslate ctx (PState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool

Associated Types

type SpecRep (PState era) Source #

Methods

toSpecRepPState era → SpecTransM ctx (SpecRep (PState era)) Source #

SpecTranslate ctx (VState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert

Associated Types

type SpecRep (VState era) Source #

Methods

toSpecRepVState era → SpecTransM ctx (SpecRep (VState era)) Source #

(SpecTranslate ctx a, Compactible a) ⇒ SpecTranslate ctx (CompactForm a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (CompactForm a) Source #

SpecTranslate ctx (PParamsHKD Identity era) ⇒ SpecTranslate ctx (PParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (PParams era) Source #

Methods

toSpecRepPParams era → SpecTransM ctx (SpecRep (PParams era)) Source #

SpecTranslate ctx (PParamsHKD StrictMaybe era) ⇒ SpecTranslate ctx (PParamsUpdate era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (PParamsUpdate era) Source #

SpecTranslate ctx (PoolCert c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool

Associated Types

type SpecRep (PoolCert c) Source #

Methods

toSpecRepPoolCert c → SpecTransM ctx (SpecRep (PoolCert c)) Source #

SpecTranslate ctx (StakeReference era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (StakeReference era) Source #

SpecTranslate ctx (DRep c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (DRep c) Source #

Methods

toSpecRepDRep c → SpecTransM ctx (SpecRep (DRep c)) Source #

SpecTranslate ctx (SnapShot c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (SnapShot c) Source #

Methods

toSpecRepSnapShot c → SpecTransM ctx (SpecRep (SnapShot c)) Source #

SpecTranslate ctx (SnapShots c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (SnapShots c) Source #

SpecTranslate ctx (Stake c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (Stake c) Source #

Methods

toSpecRepStake c → SpecTransM ctx (SpecRep (Stake c)) Source #

SpecTranslate ctx (ScriptHash c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (ScriptHash c) Source #

(SpecRep (DataHash (EraCrypto era)) ~ DataHash, Era era) ⇒ SpecTranslate ctx (BinaryData era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (BinaryData era) Source #

Methods

toSpecRepBinaryData era → SpecTransM ctx (SpecRep (BinaryData era)) Source #

Era era ⇒ SpecTranslate ctx (Data era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Data era) Source #

Methods

toSpecRepData era → SpecTransM ctx (SpecRep (Data era)) Source #

Era era ⇒ SpecTranslate ctx (Datum era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Datum era) Source #

Methods

toSpecRepDatum era → SpecTransM ctx (SpecRep (Datum era)) Source #

SpecTranslate ctx (IndividualPoolStake c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (IndividualPoolStake c) Source #

SpecTranslate ctx (PoolDistr c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (PoolDistr c) Source #

SpecTranslate ctx (PoolParams era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (PoolParams era) Source #

Methods

toSpecRepPoolParams era → SpecTransM ctx (SpecRep (PoolParams era)) Source #

SpecTranslate ctx (TxId era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (TxId era) Source #

Methods

toSpecRepTxId era → SpecTransM ctx (SpecRep (TxId era)) Source #

SpecTranslate ctx (TxIn era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (TxIn era) Source #

Methods

toSpecRepTxIn era → SpecTransM ctx (SpecRep (TxIn era)) Source #

(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut) ⇒ SpecTranslate ctx (UTxO era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (UTxO era) Source #

Methods

toSpecRepUTxO era → SpecTransM ctx (SpecRep (UTxO era)) Source #

Crypto c ⇒ SpecTranslate ctx (MaryValue c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (MaryValue c) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (EpochState era) Source #

Methods

toSpecRepEpochState era → SpecTransM ctx (SpecRep (EpochState era)) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (LedgerState era) Source #

Methods

toSpecRepLedgerState era → SpecTransM ctx (SpecRep (LedgerState era)) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (NewEpochState era) Source #

(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, Inject ctx (CertState era)) ⇒ SpecTranslate ctx (UTxOState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (UTxOState era) Source #

Methods

toSpecRepUTxOState era → SpecTransM ctx (SpecRep (UTxOState era)) Source #

SpecTranslate ctx (PulsingRewUpdate c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (PulsingRewUpdate c) Source #

(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 details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger

Associated Types

type SpecRep (LedgerEnv era) Source #

Methods

toSpecRepLedgerEnv era → SpecTransM ctx (SpecRep (LedgerEnv era)) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (EnactState era), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (ShelleyLedgersEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers

Associated Types

type SpecRep (ShelleyLedgersEnv era) Source #

ToExpr (PredicateFailure (EraRule "LEDGER" era)) ⇒ SpecTranslate ctx (ShelleyLedgersPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers

Associated Types

type SpecRep (ShelleyLedgersPredFailure era) Source #

(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (PoolEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool

Associated Types

type SpecRep (PoolEnv era) Source #

Methods

toSpecRepPoolEnv era → SpecTransM ctx (SpecRep (PoolEnv era)) Source #

SpecTranslate ctx (ShelleyPoolPredFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool

Associated Types

type SpecRep (ShelleyPoolPredFailure era) Source #

(SpecRep (PParams era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (UtxoEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxo

Associated Types

type SpecRep (UtxoEnv era) Source #

Methods

toSpecRepUtxoEnv era → SpecTransM ctx (SpecRep (UtxoEnv era)) Source #

SpecTranslate ctx (EpochExecEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (EpochExecEnv era) Source #

SpecTranslate ctx (DepositPurpose c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (DepositPurpose c) Source #

SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictMaybe a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (StrictMaybe a) Source #

SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictSeq a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (StrictSeq a) Source #

SpecTranslate ctx a ⇒ SpecTranslate ctx (Seq a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Seq a) Source #

Methods

toSpecRepSeq a → SpecTransM ctx (SpecRep (Seq a)) Source #

SpecTranslate ctx a ⇒ SpecTranslate ctx (Set a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Set a) Source #

Methods

toSpecRepSet a → SpecTransM ctx (SpecRep (Set a)) Source #

SpecTranslate ctx a ⇒ SpecTranslate ctx (Maybe a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Maybe a) Source #

Methods

toSpecRepMaybe a → SpecTransM ctx (SpecRep (Maybe a)) Source #

SpecTranslate ctx a ⇒ SpecTranslate ctx [a] Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep [a] Source #

Methods

toSpecRep ∷ [a] → SpecTransM ctx (SpecRep [a]) Source #

DSIGNAlgorithm v ⇒ SpecTranslate ctx (SignedDSIGN v a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (SignedDSIGN v a) Source #

Methods

toSpecRepSignedDSIGN v a → SpecTransM ctx (SpecRep (SignedDSIGN v a)) Source #

SpecTranslate ctx (Hash a b) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Hash a b) Source #

Methods

toSpecRepHash a b → SpecTransM ctx (SpecRep (Hash a b)) Source #

(SpecTranslate ctx k, SpecTranslate ctx v, Ord k) ⇒ SpecTranslate ctx (OMap k v) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (OMap k v) Source #

Methods

toSpecRepOMap k v → SpecTransM ctx (SpecRep (OMap k v)) Source #

SpecTranslate ctx (AlonzoPlutusPurpose AsIx era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (AlonzoPlutusPurpose AsIx era) Source #

SpecTranslate ctx (GovPurposeId r c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (GovPurposeId r c) Source #

SpecTranslate ctx (ConwayPParams Identity era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (ConwayPParams Identity era) Source #

SpecTranslate ctx (ConwayPParams StrictMaybe era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (ConwayPParams StrictMaybe era) Source #

SpecTranslate ctx (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (ConwayPlutusPurpose AsIx era) Source #

SpecTranslate ctx (Credential k c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Credential k c) Source #

Methods

toSpecRepCredential k c → SpecTransM ctx (SpecRep (Credential k c)) Source #

SpecTranslate ctx (KeyHash r c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (KeyHash r c) Source #

Methods

toSpecRepKeyHash r c → SpecTransM ctx (SpecRep (KeyHash r c)) Source #

Crypto c ⇒ SpecTranslate ctx (VKey k c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (VKey k c) Source #

Methods

toSpecRepVKey k c → SpecTransM ctx (SpecRep (VKey k c)) Source #

(Crypto c, Typeable k) ⇒ SpecTranslate ctx (WitVKey k c) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (WitVKey k c) Source #

Methods

toSpecRepWitVKey k c → SpecTransM ctx (SpecRep (WitVKey k c)) Source #

SpecTranslate ctx (SafeHash c a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (SafeHash c a) Source #

Methods

toSpecRepSafeHash c a → SpecTransM ctx (SpecRep (SafeHash c a)) Source #

(SpecTranslate ctx k, SpecTranslate ctx v) ⇒ SpecTranslate ctx (Map k v) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (Map k v) Source #

Methods

toSpecRepMap k v → SpecTransM ctx (SpecRep (Map k v)) Source #

(SpecTranslate ctx a, SpecTranslate ctx b) ⇒ SpecTranslate ctx (a, b) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (a, b) Source #

Methods

toSpecRep ∷ (a, b) → SpecTransM ctx (SpecRep (a, b)) Source #

SpecTranslate ctx (HKD f a) ⇒ SpecTranslate ctx (THKD r f a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base

Associated Types

type SpecRep (THKD r f a) Source #

Methods

toSpecRepTHKD r f a → SpecTransM ctx (SpecRep (THKD r f a)) Source #

class FixupSpecRep a where Source #

Minimal complete definition

Nothing

Methods

fixup ∷ a → a Source #

default fixup ∷ (Generic a, GFixupSpecRep (Rep a)) ⇒ a → a Source #

Instances

Instances details
FixupSpecRep Void Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupVoidVoid Source #

FixupSpecRep OpaqueErrorString Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep BaseAddr Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupBaseAddrBaseAddr Source #

FixupSpecRep BootstrapAddr Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep Credential Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep RwdAddr Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupRwdAddrRwdAddr Source #

FixupSpecRep CertState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep DState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupDStateDState Source #

FixupSpecRep DepositPurpose Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep GState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupGStateGState Source #

FixupSpecRep PState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupPStatePState Source #

FixupSpecRep PoolParams Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep EnactState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep GovAction Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep EpochState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep Snapshot Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupSnapshotSnapshot Source #

FixupSpecRep Snapshots Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep GovActionState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep GovRole Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupGovRoleGovRole Source #

FixupSpecRep VDeleg Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupVDelegVDeleg Source #

FixupSpecRep Vote Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupVoteVote Source #

FixupSpecRep LState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupLStateLState Source #

FixupSpecRep HsRewardUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep NewEpochState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep Acnt Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupAcntAcnt Source #

FixupSpecRep DrepThresholds Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep PParams Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupPParamsPParams Source #

FixupSpecRep PParamsUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep PoolThresholds Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep RatifyEnv Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep RatifyState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep StakeDistrs Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep HashedTimelock Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep Timelock Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupTimelockTimelock Source #

FixupSpecRep TxId Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupTxIdTxId Source #

FixupSpecRep UTxOState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep Rational Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupRationalRational Source #

FixupSpecRep () Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixup ∷ () → () Source #

FixupSpecRep Bool Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupBoolBool Source #

FixupSpecRep Char Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupCharChar Source #

(Ord a, FixupSpecRep a) ⇒ FixupSpecRep (HSSet a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupHSSet a → HSSet a Source #

FixupSpecRep a ⇒ FixupSpecRep (Maybe a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupMaybe a → Maybe a Source #

FixupSpecRep a ⇒ FixupSpecRep [a] Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixup ∷ [a] → [a] Source #

(FixupSpecRep a, FixupSpecRep b) ⇒ FixupSpecRep (Either a b) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupEither a b → Either a b Source #

(Eq v, Ord k, FixupSpecRep k, FixupSpecRep v) ⇒ FixupSpecRep (HSMap k v) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupHSMap k v → HSMap k v Source #

(FixupSpecRep a, FixupSpecRep b) ⇒ FixupSpecRep (a, b) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixup ∷ (a, b) → (a, b) Source #

data SpecTransM ctx a Source #

Instances

Instances details
MonadError SpecTranslationError (SpecTransM ctx) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

MonadReader ctx (SpecTransM ctx) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Methods

askSpecTransM ctx ctx Source #

local ∷ (ctx → ctx) → SpecTransM ctx a → SpecTransM ctx a Source #

reader ∷ (ctx → a) → SpecTransM ctx a Source #

Applicative (SpecTransM ctx) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Methods

pure ∷ a → SpecTransM ctx a Source #

(<*>)SpecTransM ctx (a → b) → SpecTransM ctx a → SpecTransM ctx b Source #

liftA2 ∷ (a → b → c) → SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx c Source #

(*>)SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx b Source #

(<*)SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx a Source #

Functor (SpecTransM ctx) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Methods

fmap ∷ (a → b) → SpecTransM ctx a → SpecTransM ctx b Source #

(<$) ∷ a → SpecTransM ctx b → SpecTransM ctx a Source #

Monad (SpecTransM ctx) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Methods

(>>=)SpecTransM ctx a → (a → SpecTransM ctx b) → SpecTransM ctx b Source #

(>>)SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx b Source #

return ∷ a → SpecTransM ctx a Source #

askCtx ∷ ∀ b ctx. Inject ctx b ⇒ SpecTransM ctx b Source #

withCtx ∷ ctx → SpecTransM ctx a → SpecTransM ctx' a Source #

newtype OpaqueErrorString Source #

OpaqueErrorString behaves like unit in comparisons, but contains an error string that can be displayed.

Instances

Instances details
Generic OpaqueErrorString Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type Rep OpaqueErrorStringTypeType Source #

Show OpaqueErrorString Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

FixupSpecRep OpaqueErrorString Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

NFData OpaqueErrorString Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Methods

rnfOpaqueErrorString → () Source #

Eq OpaqueErrorString Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

ToExpr OpaqueErrorString Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

type Rep OpaqueErrorString Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

type Rep OpaqueErrorString = D1 ('MetaData "OpaqueErrorString" "Test.Cardano.Ledger.Conformance.SpecTranslate.Core" "cardano-ledger-conformance-0.1.0.0-inplace" 'True) (C1 ('MetaCons "OpaqueErrorString" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))