cardano-ledger-conformance-9.9.9.9: 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 GovActionId Source # 
Instance details

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

Associated Types

type SpecRep GovActionId 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 Voter Source # 
Instance details

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

Associated Types

type SpecRep Voter 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 ConwayDelegCert Source # 
Instance details

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

Associated Types

type SpecRep ConwayDelegCert Source #

SpecTranslate ctx ConwayGovCert Source # 
Instance details

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

Associated Types

type SpecRep ConwayGovCert Source #

SpecTranslate ctx Addr Source # 
Instance details

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

Associated Types

type SpecRep Addr Source #

SpecTranslate ctx BootstrapAddress Source # 
Instance details

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

Associated Types

type SpecRep BootstrapAddress Source #

SpecTranslate ctx RewardAccount Source # 
Instance details

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

Associated Types

type SpecRep RewardAccount Source #

SpecTranslate ctx Withdrawals Source # 
Instance details

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

Associated Types

type SpecRep Withdrawals Source #

SpecTranslate ctx Anchor Source # 
Instance details

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

Associated Types

type SpecRep Anchor 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 PoolCert Source # 
Instance details

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

Associated Types

type SpecRep PoolCert Source #

SpecTranslate ctx StakeReference Source # 
Instance details

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

Associated Types

type SpecRep StakeReference Source #

SpecTranslate ctx DRep Source # 
Instance details

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

Associated Types

type SpecRep DRep Source #

SpecTranslate ctx ScriptHash Source # 
Instance details

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

Associated Types

type SpecRep ScriptHash Source #

SpecTranslate ctx TxAuxDataHash Source # 
Instance details

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

Associated Types

type SpecRep TxAuxDataHash 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 CommitteeAuthorization Source # 
Instance details

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

Associated Types

type SpecRep CommitteeAuthorization Source #

SpecTranslate ctx ChainAccountState Source # 
Instance details

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

Associated Types

type SpecRep ChainAccountState Source #

SpecTranslate ctx IndividualPoolStake Source # 
Instance details

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

Associated Types

type SpecRep IndividualPoolStake Source #

SpecTranslate ctx PoolDistr Source # 
Instance details

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

Associated Types

type SpecRep PoolDistr Source #

SpecTranslate ctx SnapShot Source # 
Instance details

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

Associated Types

type SpecRep SnapShot Source #

SpecTranslate ctx SnapShots Source # 
Instance details

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

Associated Types

type SpecRep SnapShots Source #

SpecTranslate ctx Stake Source # 
Instance details

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

Associated Types

type SpecRep Stake Source #

SpecTranslate ctx PoolParams Source # 
Instance details

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

Associated Types

type SpecRep PoolParams Source #

SpecTranslate ctx TxId Source # 
Instance details

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

Associated Types

type SpecRep TxId Source #

SpecTranslate ctx TxIn Source # 
Instance details

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

Associated Types

type SpecRep TxIn Source #

SpecTranslate ctx MaryValue Source # 
Instance details

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

Associated Types

type SpecRep MaryValue Source #

SpecTranslate ctx PulsingRewUpdate Source # 
Instance details

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

Associated Types

type SpecRep PulsingRewUpdate 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 () Source # 
Instance details

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

Associated Types

type SpecRep () Source #

Methods

toSpecRep ∷ () → SpecTransM ctx (SpecRep ()) 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, 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 #

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 #

(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 Coin, ConwayEraAccounts era) ⇒ SpecTranslate 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 #

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

SpecTranslate ctx (GovPurposeId r) Source # 
Instance details

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

Associated Types

type SpecRep (GovPurposeId r) 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 (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 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 #

(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map RewardAccount 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 #

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

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

Associated Types

type SpecRep (ConwayDelegEnv 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 #

(SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (EnactState era), EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (CertState era), SpecRep (CertState era) ~ CertState, EraCertState era) ⇒ 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 Coin)) ⇒ SpecTranslate ctx (ConwayGovCertEnv era) Source # 
Instance details

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

Associated Types

type SpecRep (ConwayGovCertEnv era) Source #

ConwayEraAccounts era ⇒ SpecTranslate ctx (ConwayCertState era) Source # 
Instance details

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

Associated Types

type SpecRep (ConwayCertState 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 #

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 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 (Tx ConwayEra) Source # 
Instance details

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

Associated Types

type SpecRep (Tx ConwayEra) Source #

Inject ctx TxIdSpecTranslate ctx (TxBody ConwayEra) Source # 
Instance details

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

Associated Types

type SpecRep (TxBody ConwayEra) 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 (Credential k) Source # 
Instance details

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

Associated Types

type SpecRep (Credential k) Source #

SpecTranslate ctx (KeyHash r) Source # 
Instance details

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

Associated Types

type SpecRep (KeyHash r) Source #

Methods

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

SpecTranslate ctx (SafeHash a) Source # 
Instance details

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

Associated Types

type SpecRep (SafeHash a) Source #

Methods

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

SpecTranslate ctx (VKey k) Source # 
Instance details

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

Associated Types

type SpecRep (VKey k) Source #

Methods

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

SpecTranslate ctx (WitVKey k) Source # 
Instance details

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

Associated Types

type SpecRep (WitVKey k) Source #

Methods

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

(SpecRep DataHash ~ 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 (CommitteeState era) Source # 
Instance details

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

Associated Types

type SpecRep (CommitteeState era) Source #

ConwayEraAccounts era ⇒ 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 (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 #

(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), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState 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), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState 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), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState 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), ConwayEraCertState 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 #

(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (StrictMaybe ScriptHash), 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 #

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

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

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

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 #

(ConwayEraPParams era, PParamsHKD Identity era ~ ConwayPParams Identity era) ⇒ 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 k, SpecTranslate ctx v, Ord k) ⇒ 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 SpecNormalize a where Source #

Minimal complete definition

Nothing

Methods

specNormalize ∷ a → a Source #

default specNormalize ∷ (Generic a, GSpecNormalize (Rep a)) ⇒ a → a Source #

Instances

Instances details
SpecNormalize Void Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeVoidVoid Source #

SpecNormalize OpaqueErrorString Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize BaseAddr Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize BootstrapAddr Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize Credential Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize RwdAddr Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize CertState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize DState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize DepositPurpose Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize GState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize PState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize PoolParams Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize EnactState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize EpochState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize Snapshot Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize Snapshots Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize GovActionState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize GovAction Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize GovRole Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize VDeleg Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize Vote Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeVoteVote Source #

SpecNormalize LState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize HsRewardUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize NewEpochState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize Acnt Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeAcntAcnt Source #

SpecNormalize DrepThresholds Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize PParams Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize PParamsUpdate Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize PoolThresholds Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize RatifyEnv Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize RatifyState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize StakeDistrs Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize HSPlutusScript Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize HSTimelock Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize Timelock Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize TxId Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeTxIdTxId Source #

SpecNormalize UTxOState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize Rational Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

SpecNormalize Text Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeTextText Source #

SpecNormalize () Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalize ∷ () → () Source #

SpecNormalize Bool Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeBoolBool Source #

SpecNormalize Char Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeCharChar Source #

SpecNormalize a ⇒ SpecNormalize (NonEmpty a) Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

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

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeHSSet a → HSSet a Source #

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

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeMaybe a → Maybe a Source #

SpecNormalize a ⇒ SpecNormalize [a] Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalize ∷ [a] → [a] Source #

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

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeEither a b → Either a b Source #

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

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalizeHSMap k v → HSMap k v Source #

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

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

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

newtype OpaqueErrorString Source #

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

Instances

Instances details
Semigroup OpaqueErrorString Source # 
Instance details

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

Generic OpaqueErrorString Source # 
Instance details

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

Associated Types

type Rep OpaqueErrorStringTypeType #

Show OpaqueErrorString Source # 
Instance details

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

SpecNormalize 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 → () #

Eq OpaqueErrorString Source #

This implementation violates referential transparency. Do not rely on it unless you know what you're doing.

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-9.9.9.9-inplace" 'True) (C1 ('MetaCons "OpaqueErrorString" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Text))))

data SpecTransM ctx a Source #

Instances

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

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

Methods

throwErrorTextSpecTransM ctx a #

catchErrorSpecTransM ctx a → (TextSpecTransM ctx a) → SpecTransM ctx a #

MonadReader ctx (SpecTransM ctx) Source # 
Instance details

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

Methods

askSpecTransM ctx ctx #

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

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

Applicative (SpecTransM ctx) Source # 
Instance details

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

Methods

pure ∷ a → SpecTransM ctx a #

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

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

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

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

Functor (SpecTransM ctx) Source # 
Instance details

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

Methods

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

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

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 #

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

return ∷ a → SpecTransM ctx a #

runSpecTransM ∷ ctx → SpecTransM ctx a → Either Text a Source #

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

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

toSpecRep_SpecTranslate () a ⇒ a → SpecRep a Source #