Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Synopsis

type SpecTranslationError = Text
class SpecTranslate ctx a where
- type SpecRep a ∷ Type
- toSpecRep ∷ a → SpecTransM ctx (SpecRep a)
class FixupSpecRep a where
- fixup ∷ a → a
newtype OpaqueErrorString = OpaqueErrorString (NonEmpty Text)
data SpecTransM ctx a
runSpecTransM ∷ ctx → SpecTransM ctx a → Either SpecTranslationError a
askCtx ∷ ∀ b ctx. Inject ctx b ⇒ SpecTransM ctx b
withCtx ∷ ctx → SpecTransM ctx a → SpecTransM ctx' a
toTestRep ∷ (SpecTranslate ctx a, FixupSpecRep (SpecRep a)) ⇒ a → SpecTransM ctx (SpecRep a)
showOpaqueErrorString ∷ ToExpr a ⇒ a → OpaqueErrorString
unComputationResult ∷ ComputationResult Text a → Either OpaqueErrorString a
unComputationResult_ ∷ ComputationResult Void a → Either e a

Documentation

type SpecTranslationError = Text Source #

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 # Methods toSpecRep ∷ Void → SpecTransM ctx (SpecRep Void) Source #
SpecTranslate ctx Word16 Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Word16 Source # Methods toSpecRep ∷ Word16 → SpecTransM ctx (SpecRep Word16) Source #
SpecTranslate ctx Word32 Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Word32 Source # Methods toSpecRep ∷ Word32 → SpecTransM ctx (SpecRep Word32) Source #
SpecTranslate ctx Word64 Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Word64 Source # Methods toSpecRep ∷ Word64 → SpecTransM ctx (SpecRep Word64) Source #
SpecTranslate ctx ValidityInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ValidityInterval Source # Methods toSpecRep ∷ ValidityInterval → SpecTransM ctx (SpecRep ValidityInterval) Source #
SpecTranslate ctx OrdExUnits Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep OrdExUnits Source # Methods toSpecRep ∷ OrdExUnits → SpecTransM ctx (SpecRep OrdExUnits) Source #
SpecTranslate ctx IsValid Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep IsValid Source # Methods toSpecRep ∷ IsValid → SpecTransM ctx (SpecRep IsValid) Source #
SpecTranslate ctx CoinPerByte Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep CoinPerByte Source # Methods toSpecRep ∷ CoinPerByte → SpecTransM ctx (SpecRep CoinPerByte) Source #
SpecTranslate ctx GovActionId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep GovActionId Source # Methods toSpecRep ∷ GovActionId → SpecTransM ctx (SpecRep GovActionId) Source #
SpecTranslate ctx GovActionIx Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep GovActionIx Source # Methods toSpecRep ∷ GovActionIx → SpecTransM ctx (SpecRep GovActionIx) Source #
SpecTranslate ctx Vote Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Vote Source # Methods toSpecRep ∷ Vote → SpecTransM ctx (SpecRep Vote) Source #
SpecTranslate ctx Voter Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Voter Source # Methods toSpecRep ∷ Voter → SpecTransM ctx (SpecRep Voter) Source #
SpecTranslate ctx DRepVotingThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep DRepVotingThresholds Source # Methods toSpecRep ∷ DRepVotingThresholds → SpecTransM ctx (SpecRep DRepVotingThresholds) Source #
SpecTranslate ctx PoolVotingThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep PoolVotingThresholds Source # Methods toSpecRep ∷ PoolVotingThresholds → SpecTransM ctx (SpecRep PoolVotingThresholds) Source #
SpecTranslate ctx ConwayDelegCert Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg Associated Types type SpecRep ConwayDelegCert Source # Methods toSpecRep ∷ ConwayDelegCert → SpecTransM ctx (SpecRep ConwayDelegCert) Source #
SpecTranslate ctx ConwayGovCert Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert Associated Types type SpecRep ConwayGovCert Source # Methods toSpecRep ∷ ConwayGovCert → SpecTransM ctx (SpecRep ConwayGovCert) Source #
SpecTranslate ctx Addr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Addr Source # Methods toSpecRep ∷ Addr → SpecTransM ctx (SpecRep Addr) Source #
SpecTranslate ctx BootstrapAddress Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep BootstrapAddress Source # Methods toSpecRep ∷ BootstrapAddress → SpecTransM ctx (SpecRep BootstrapAddress) Source #
SpecTranslate ctx RewardAccount Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep RewardAccount Source # Methods toSpecRep ∷ RewardAccount → SpecTransM ctx (SpecRep RewardAccount) Source #
SpecTranslate ctx Withdrawals Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Withdrawals Source # Methods toSpecRep ∷ Withdrawals → SpecTransM ctx (SpecRep Withdrawals) Source #
SpecTranslate ctx Anchor Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Anchor Source # Methods toSpecRep ∷ Anchor → SpecTransM ctx (SpecRep Anchor) Source #
SpecTranslate ctx Network Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Network Source # Methods toSpecRep ∷ Network → SpecTransM ctx (SpecRep Network) Source #
SpecTranslate ctx NonNegativeInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep NonNegativeInterval Source # Methods toSpecRep ∷ NonNegativeInterval → SpecTransM ctx (SpecRep NonNegativeInterval) Source #
SpecTranslate ctx ProtVer Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ProtVer Source # Methods toSpecRep ∷ ProtVer → SpecTransM ctx (SpecRep ProtVer) Source #
SpecTranslate ctx TxIx Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxIx Source # Methods toSpecRep ∷ TxIx → SpecTransM ctx (SpecRep TxIx) Source #
SpecTranslate ctx UnitInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep UnitInterval Source # Methods toSpecRep ∷ UnitInterval → SpecTransM ctx (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 toSpecRep ∷ Url → SpecTransM ctx (SpecRep Url) Source #
SpecTranslate ctx CommitteeAuthorization Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep CommitteeAuthorization Source # Methods toSpecRep ∷ CommitteeAuthorization → SpecTransM ctx (SpecRep CommitteeAuthorization) Source #
SpecTranslate ctx Coin Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Coin Source # Methods toSpecRep ∷ Coin → SpecTransM ctx (SpecRep Coin) Source #
SpecTranslate ctx DeltaCoin Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep DeltaCoin Source # Methods toSpecRep ∷ DeltaCoin → SpecTransM ctx (SpecRep DeltaCoin) Source #
SpecTranslate ctx PoolCert Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool Associated Types type SpecRep PoolCert Source # Methods toSpecRep ∷ PoolCert → SpecTransM ctx (SpecRep PoolCert) Source #
SpecTranslate ctx StakeReference Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep StakeReference Source # Methods toSpecRep ∷ StakeReference → SpecTransM ctx (SpecRep StakeReference) Source #
SpecTranslate ctx DRep Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep DRep Source # Methods toSpecRep ∷ DRep → SpecTransM ctx (SpecRep DRep) Source #
SpecTranslate ctx SnapShot Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep SnapShot Source # Methods toSpecRep ∷ SnapShot → SpecTransM ctx (SpecRep SnapShot) Source #
SpecTranslate ctx SnapShots Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep SnapShots Source # Methods toSpecRep ∷ SnapShots → SpecTransM ctx (SpecRep SnapShots) Source #
SpecTranslate ctx Stake Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep Stake Source # Methods toSpecRep ∷ Stake → SpecTransM ctx (SpecRep Stake) Source #
SpecTranslate ctx ScriptHash Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ScriptHash Source # Methods toSpecRep ∷ ScriptHash → SpecTransM ctx (SpecRep ScriptHash) Source #
SpecTranslate ctx TxAuxDataHash Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxAuxDataHash Source # Methods toSpecRep ∷ TxAuxDataHash → SpecTransM ctx (SpecRep TxAuxDataHash) Source #
SpecTranslate ctx CostModels Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep CostModels Source # Methods toSpecRep ∷ CostModels → SpecTransM ctx (SpecRep CostModels) Source #
SpecTranslate ctx ExUnits Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ExUnits Source # Methods toSpecRep ∷ ExUnits → SpecTransM ctx (SpecRep ExUnits) Source #
SpecTranslate ctx Prices Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Prices Source # Methods toSpecRep ∷ Prices → SpecTransM ctx (SpecRep Prices) Source #
SpecTranslate ctx IndividualPoolStake Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep IndividualPoolStake Source # Methods toSpecRep ∷ IndividualPoolStake → SpecTransM ctx (SpecRep IndividualPoolStake) Source #
SpecTranslate ctx PoolDistr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep PoolDistr Source # Methods toSpecRep ∷ PoolDistr → SpecTransM ctx (SpecRep PoolDistr) Source #
SpecTranslate ctx PoolParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep PoolParams Source # Methods toSpecRep ∷ PoolParams → SpecTransM ctx (SpecRep PoolParams) Source #
SpecTranslate ctx TxId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxId Source # Methods toSpecRep ∷ TxId → SpecTransM ctx (SpecRep TxId) Source #
SpecTranslate ctx TxIn Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxIn Source # Methods toSpecRep ∷ TxIn → SpecTransM ctx (SpecRep TxIn) Source #
SpecTranslate ctx MaryValue Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep MaryValue Source # Methods toSpecRep ∷ MaryValue → SpecTransM ctx (SpecRep MaryValue) Source #
SpecTranslate ctx AccountState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep AccountState Source # Methods toSpecRep ∷ AccountState → SpecTransM ctx (SpecRep AccountState) Source #
SpecTranslate ctx PulsingRewUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep PulsingRewUpdate Source # Methods toSpecRep ∷ PulsingRewUpdate → SpecTransM ctx (SpecRep PulsingRewUpdate) Source #
SpecTranslate ctx DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep DepositPurpose Source # Methods toSpecRep ∷ DepositPurpose → SpecTransM ctx (SpecRep DepositPurpose) Source #
SpecTranslate ctx EpochInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep EpochInterval Source # Methods toSpecRep ∷ EpochInterval → SpecTransM ctx (SpecRep EpochInterval) Source #
SpecTranslate ctx EpochNo Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep EpochNo Source # Methods toSpecRep ∷ EpochNo → SpecTransM ctx (SpecRep EpochNo) Source #
SpecTranslate ctx SlotNo Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep SlotNo Source # Methods toSpecRep ∷ SlotNo → SpecTransM ctx (SpecRep SlotNo) Source #
SpecTranslate ctx Integer Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Integer Source # Methods toSpecRep ∷ Integer → SpecTransM ctx (SpecRep Integer) Source #
SpecTranslate ctx Bool Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Bool Source # Methods toSpecRep ∷ Bool → SpecTransM ctx (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 toSpecRep ∷ OSet 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 toSpecRep ∷ Timelock 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 # Methods toSpecRep ∷ AlonzoScript era → SpecTransM ctx (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 # Methods toSpecRep ∷ PlutusScript era → SpecTransM ctx (SpecRep (PlutusScript era)) Source #
(SpecTranslate ctx (TxWits era), SpecTranslate ctx (TxAuxData era), SpecTranslate ConwayTxBodyTransContext (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 toSpecRep ∷ AlonzoTx 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 # Methods toSpecRep ∷ AlonzoTxAuxData era → SpecTransM ctx (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 # Methods toSpecRep ∷ AlonzoTxWits era → SpecTransM ctx (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 toSpecRep ∷ Redeemers 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 toSpecRep ∷ TxDats 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 # Methods toSpecRep ∷ BabbageTxOut era → SpecTransM ctx (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 toSpecRep ∷ Sized 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 # Methods toSpecRep ∷ ConwayExecEnactEnv era → SpecTransM ctx (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 toSpecRep ∷ EnactState era → SpecTransM ctx (SpecRep (EnactState era)) Source #
Inject ctx Coin ⇒ SpecTranslate ctx (RatifyEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (RatifyEnv era) Source # Methods toSpecRep ∷ RatifyEnv 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 # Methods toSpecRep ∷ RatifySignal era → SpecTransM ctx (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 toSpecRep ∷ RatifyState 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 toSpecRep ∷ Committee 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 # Methods toSpecRep ∷ Constitution era → SpecTransM ctx (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 toSpecRep ∷ GovAction 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 # Methods toSpecRep ∷ GovActionState era → SpecTransM ctx (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 # Methods toSpecRep ∷ ProposalProcedure era → SpecTransM ctx (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 # Methods toSpecRep ∷ VotingProcedures era → SpecTransM ctx (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 toSpecRep ∷ Proposals 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 toSpecRep ∷ CertEnv 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 # Methods toSpecRep ∷ ConwayCertPredFailure era → SpecTransM ctx (SpecRep (ConwayCertPredFailure 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 toSpecRep ∷ CertsEnv 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 # Methods toSpecRep ∷ ConwayCertsPredFailure era → SpecTransM ctx (SpecRep (ConwayCertsPredFailure 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 # Methods toSpecRep ∷ ConwayDelegEnv era → SpecTransM ctx (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 # Methods toSpecRep ∷ ConwayDelegPredFailure era → SpecTransM ctx (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 toSpecRep ∷ EnactSignal 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 # Methods toSpecRep ∷ ConwayGovPredFailure era → SpecTransM ctx (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 toSpecRep ∷ GovEnv 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 toSpecRep ∷ GovSignal 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 # Methods toSpecRep ∷ ConwayGovCertEnv era → SpecTransM ctx (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 # Methods toSpecRep ∷ ConwayGovCertPredFailure era → SpecTransM ctx (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 # Methods toSpecRep ∷ ConwayLedgerPredFailure era → SpecTransM ctx (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 # Methods toSpecRep ∷ ConwayNewEpochPredFailure era → SpecTransM ctx (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 # Methods toSpecRep ∷ ConwayUtxoPredFailure era → SpecTransM ctx (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 # Methods toSpecRep ∷ ConwayUtxowPredFailure era → SpecTransM ctx (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), Inject ctx Integer, Inject ctx TxId, 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 # Methods toSpecRep ∷ ConwayTxBody era → SpecTransM ctx (SpecRep (ConwayTxBody 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 # Methods toSpecRep ∷ ConwayTxCert era → SpecTransM ctx (SpecRep (ConwayTxCert era)) 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 toSpecRep ∷ CertState era → SpecTransM ctx (SpecRep (CertState 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 # Methods toSpecRep ∷ CommitteeState era → SpecTransM ctx (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 toSpecRep ∷ DState 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 toSpecRep ∷ PState 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 toSpecRep ∷ VState 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 # Methods toSpecRep ∷ CompactForm a → SpecTransM ctx (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 toSpecRep ∷ PParams 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 # Methods toSpecRep ∷ PParamsUpdate era → SpecTransM ctx (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 # Methods toSpecRep ∷ Credential k → SpecTransM ctx (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 toSpecRep ∷ KeyHash 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 toSpecRep ∷ SafeHash 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 toSpecRep ∷ VKey k → SpecTransM ctx (SpecRep (VKey k)) Source #
Typeable k ⇒ SpecTranslate ctx (WitVKey k) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (WitVKey k) Source # Methods toSpecRep ∷ WitVKey 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 toSpecRep ∷ BinaryData 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 toSpecRep ∷ Data 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 toSpecRep ∷ Datum era → SpecTransM ctx (SpecRep (Datum 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 toSpecRep ∷ UTxO 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)) ⇒ SpecTranslate ctx (EpochState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (EpochState era) Source # Methods toSpecRep ∷ EpochState 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 toSpecRep ∷ LedgerState 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 # Methods toSpecRep ∷ NewEpochState era → SpecTransM ctx (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 toSpecRep ∷ UTxOState 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 toSpecRep ∷ LedgerEnv 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 # Methods toSpecRep ∷ ShelleyLedgersEnv era → SpecTransM ctx (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 # Methods toSpecRep ∷ ShelleyLedgersPredFailure era → SpecTransM ctx (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 toSpecRep ∷ PoolEnv 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 # Methods toSpecRep ∷ ShelleyPoolPredFailure era → SpecTransM ctx (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 toSpecRep ∷ UtxoEnv 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 # Methods toSpecRep ∷ EpochExecEnv era → SpecTransM ctx (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 # Methods toSpecRep ∷ StrictMaybe a → SpecTransM ctx (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 # Methods toSpecRep ∷ StrictSeq a → SpecTransM ctx (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 toSpecRep ∷ Seq 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 toSpecRep ∷ Set 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 toSpecRep ∷ Maybe 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 toSpecRep ∷ SignedDSIGN 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 toSpecRep ∷ Hash 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 toSpecRep ∷ OMap 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 # Methods toSpecRep ∷ AlonzoPlutusPurpose AsIx era → SpecTransM ctx (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 # Methods toSpecRep ∷ GovPurposeId r c → SpecTransM ctx (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 # Methods toSpecRep ∷ ConwayPParams Identity era → SpecTransM ctx (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 # Methods toSpecRep ∷ ConwayPParams StrictMaybe era → SpecTransM ctx (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 # Methods toSpecRep ∷ ConwayPlutusPurpose AsIx era → SpecTransM ctx (SpecRep (ConwayPlutusPurpose AsIx era)) 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 toSpecRep ∷ Map 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 toSpecRep ∷ THKD 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 fixup ∷ Void → Void Source #
FixupSpecRep OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ OpaqueErrorString → OpaqueErrorString Source #
FixupSpecRep BaseAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ BaseAddr → BaseAddr Source #
FixupSpecRep BootstrapAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ BootstrapAddr → BootstrapAddr Source #
FixupSpecRep Credential Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Credential → Credential Source #
FixupSpecRep RwdAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ RwdAddr → RwdAddr Source #
FixupSpecRep CertState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ CertState → CertState Source #
FixupSpecRep DState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ DState → DState Source #
FixupSpecRep DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ DepositPurpose → DepositPurpose Source #
FixupSpecRep GState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ GState → GState Source #
FixupSpecRep PState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ PState → PState Source #
FixupSpecRep PoolParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ PoolParams → PoolParams Source #
FixupSpecRep EnactState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ EnactState → EnactState Source #
FixupSpecRep GovAction Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ GovAction → GovAction Source #
FixupSpecRep EpochState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ EpochState → EpochState Source #
FixupSpecRep Snapshot Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Snapshot → Snapshot Source #
FixupSpecRep Snapshots Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Snapshots → Snapshots Source #
FixupSpecRep GovActionState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ GovActionState → GovActionState Source #
FixupSpecRep GovRole Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ GovRole → GovRole Source #
FixupSpecRep VDeleg Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ VDeleg → VDeleg Source #
FixupSpecRep Vote Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Vote → Vote Source #
FixupSpecRep LState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ LState → LState Source #
FixupSpecRep HsRewardUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ HsRewardUpdate → HsRewardUpdate Source #
FixupSpecRep NewEpochState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ NewEpochState → NewEpochState Source #
FixupSpecRep Acnt Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Acnt → Acnt Source #
FixupSpecRep DrepThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ DrepThresholds → DrepThresholds Source #
FixupSpecRep PParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ PParams → PParams Source #
FixupSpecRep PParamsUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ PParamsUpdate → PParamsUpdate Source #
FixupSpecRep PoolThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ PoolThresholds → PoolThresholds Source #
FixupSpecRep RatifyEnv Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ RatifyEnv → RatifyEnv Source #
FixupSpecRep RatifyState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ RatifyState → RatifyState Source #
FixupSpecRep StakeDistrs Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ StakeDistrs → StakeDistrs Source #
FixupSpecRep HashedTimelock Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ HashedTimelock → HashedTimelock Source #
FixupSpecRep Timelock Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Timelock → Timelock Source #
FixupSpecRep TxId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ TxId → TxId Source #
FixupSpecRep UTxOState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ UTxOState → UTxOState Source #
FixupSpecRep Rational Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Rational → Rational Source #
FixupSpecRep Text Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Text → Text 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 fixup ∷ Bool → Bool Source #
FixupSpecRep Char Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Char → Char Source #
(Ord a, FixupSpecRep a) ⇒ FixupSpecRep (HSSet a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ HSSet a → HSSet a Source #
FixupSpecRep a ⇒ FixupSpecRep (NonEmpty a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ NonEmpty a → NonEmpty a Source #
FixupSpecRep a ⇒ FixupSpecRep (Maybe a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Maybe 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 fixup ∷ Either 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 fixup ∷ HSMap 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 #

newtype OpaqueErrorString Source #

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

Constructors

OpaqueErrorString (NonEmpty Text)

Instances

Instances details

Semigroup OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods (<>) ∷ OpaqueErrorString → OpaqueErrorString → OpaqueErrorString Source # sconcat ∷ NonEmpty OpaqueErrorString → OpaqueErrorString Source # stimes ∷ Integral b ⇒ b → OpaqueErrorString → OpaqueErrorString Source #
Generic OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Associated Types type Rep OpaqueErrorString ∷ Type → Type Source # Methods from ∷ OpaqueErrorString → Rep OpaqueErrorString x Source # to ∷ Rep OpaqueErrorString x → OpaqueErrorString Source #
Show OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods showsPrec ∷ Int → OpaqueErrorString → ShowS Source # show ∷ OpaqueErrorString → String Source # showList ∷ [OpaqueErrorString] → ShowS Source #
FixupSpecRep OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ OpaqueErrorString → OpaqueErrorString Source #
NFData OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods rnf ∷ OpaqueErrorString → () Source #
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 Methods (==) ∷ OpaqueErrorString → OpaqueErrorString → Bool Source # (/=) ∷ OpaqueErrorString → OpaqueErrorString → Bool Source #
ToExpr OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods toExpr ∷ OpaqueErrorString → Expr Source # listToExpr ∷ [OpaqueErrorString] → Expr Source #
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 ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Text))))

data SpecTransM ctx a Source #

Instances

Instances details

MonadError SpecTranslationError (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods throwError ∷ SpecTranslationError → SpecTransM ctx a Source # catchError ∷ SpecTransM ctx a → (SpecTranslationError → SpecTransM ctx a) → SpecTransM ctx a Source #
MonadReader ctx (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods ask ∷ SpecTransM 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 #

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

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

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

toTestRep ∷ (SpecTranslate ctx a, FixupSpecRep (SpecRep a)) ⇒ a → SpecTransM ctx (SpecRep a) Source #

showOpaqueErrorString ∷ ToExpr a ⇒ a → OpaqueErrorString Source #

unComputationResult ∷ ComputationResult Text a → Either OpaqueErrorString a Source #

unComputationResult_ ∷ ComputationResult Void a → Either e a Source #