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 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 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 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 Coin Source # 
Instance details

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

Associated Types

type SpecRep Coin 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 #

Script era ~ AlonzoScript era ⇒ SpecTranslate ctx (AlonzoScript era) Source # 
Instance details

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

Associated Types

type SpecRep (AlonzoScript era) Source #

(SpecTranslate ctx (TxWits era), SpecTranslate ctx (TxAuxData era), SpecTranslate ctx (TxOut era), SpecTranslate ctx (TxCert era), SpecRep (TxWits era) ~ TxWitnesses, SpecRep (TxAuxData era) ~ AuxiliaryData, SpecRep (TxOut era) ~ TxOut, SpecRep (TxCert era) ~ TxCert, 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 #

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) ⇒ 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 (Script era) ~ DataHash, SpecRep (Value era) ~ Coin, 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 (Network, Credential 'Staking (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 (Network, Credential 'Staking (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)) ⇒ 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 (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 (Network, Credential 'Staking (EraCrypto era)) Coin)) ⇒ SpecTranslate ctx (ConwayGovCertEnv era) Source # 
Instance details

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

Associated Types

type SpecRep (ConwayGovCertEnv era) Source #

SpecTranslate ctx (ConwayGovCertPredFailure era) Source # 
Instance details

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

Associated Types

type SpecRep (ConwayGovCertPredFailure 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.Base

Associated Types

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

SpecTranslate ctx (ConwayGovCert c) Source # 
Instance details

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

Associated Types

type SpecRep (ConwayGovCert c) Source #

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 (RewardAccount c) Source # 
Instance details

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

Associated Types

type SpecRep (RewardAccount 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.Base

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

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 (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, SpecTranslate ctx (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, SpecTranslate ctx (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, SpecTranslate ctx (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) ⇒ SpecTranslate ctx (UTxOState era) Source # 
Instance details

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

Associated Types

type SpecRep (UTxOState era) Source #

Methods

toSpecRepUTxOState era → SpecTransM ctx (SpecRep (UTxOState 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.Base

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 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 EraIndependentData) Source # 
Instance details

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

Associated Types

type SpecRep (SafeHash c EraIndependentData) Source #

SpecTranslate ctx (SafeHash c EraIndependentScriptIntegrity) Source # 
Instance details

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

SpecTranslate ctx (SafeHash c EraIndependentTxBody) Source # 
Instance details

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

Associated Types

type SpecRep (SafeHash c EraIndependentTxBody) 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 OpaqueErrorString 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 AgdaEmpty Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep CertState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep Credential 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 DrepThresholds Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep EnactState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep EpochState 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 GovAction 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 LedgerState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

FixupSpecRep NewEpochState 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 PState Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

fixupPStatePState Source #

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 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 StakeDistrs Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

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 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 Integer Source # 
Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

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

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

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 #

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)))