Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Synopsis

class SpecTranslate ctx a where
- type SpecRep a ∷ Type
- toSpecRep ∷ a → SpecTransM ctx (SpecRep a)
class SpecNormalize a where
- specNormalize ∷ a → a
newtype OpaqueErrorString = OpaqueErrorString (NonEmpty Text)
data SpecTransM ctx a
runSpecTransM ∷ ctx → SpecTransM ctx a → Either Text a
askCtx ∷ ∀ b ctx. Inject ctx b ⇒ SpecTransM ctx b
withCtx ∷ ctx → SpecTransM ctx a → SpecTransM ctx' a
unComputationResult ∷ ComputationResult Text a → Either Text a
unComputationResult_ ∷ ComputationResult Void a → Either e a
toSpecRep_ ∷ SpecTranslate () a ⇒ a → SpecRep a

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.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.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.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.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.Core 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.Core 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.Core 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.Core 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.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.Core 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.Core 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.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 Coin Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core 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.Core 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 ScriptHash Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core 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.Core 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.Core 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.Core 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.Core Associated Types type SpecRep Prices Source # Methods toSpecRep ∷ Prices → SpecTransM ctx (SpecRep Prices) Source #
SpecTranslate ctx CommitteeAuthorization Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Associated Types type SpecRep CommitteeAuthorization Source # Methods toSpecRep ∷ CommitteeAuthorization → SpecTransM ctx (SpecRep CommitteeAuthorization) Source #
SpecTranslate ctx ChainAccountState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep ChainAccountState Source # Methods toSpecRep ∷ ChainAccountState → SpecTransM ctx (SpecRep ChainAccountState) Source #
SpecTranslate ctx IndividualPoolStake Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core 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.Core Associated Types type SpecRep PoolDistr Source # Methods toSpecRep ∷ PoolDistr → SpecTransM ctx (SpecRep PoolDistr) 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 StakePoolParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep StakePoolParams Source # Methods toSpecRep ∷ StakePoolParams → SpecTransM ctx (SpecRep StakePoolParams) Source #
SpecTranslate ctx TxId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core 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.Core 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 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 EpochInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core 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.Core 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.Core 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.Base Associated Types type SpecRep Integer Source # Methods toSpecRep ∷ Integer → SpecTransM ctx (SpecRep Integer) Source #
SpecTranslate ctx () Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Associated Types type SpecRep () Source # Methods toSpecRep ∷ () → SpecTransM ctx (SpecRep ()) Source #
SpecTranslate ctx Bool Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.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.Base Associated Types type SpecRep (OSet a) Source # Methods toSpecRep ∷ OSet a → SpecTransM ctx (SpecRep (OSet a)) Source #
(AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate ctx (AlonzoScript era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoScript era) Source # 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 #
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.Base Associated Types type SpecRep (Sized a) Source # Methods toSpecRep ∷ Sized a → SpecTransM ctx (SpecRep (Sized a)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (EnactState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (EnactState era) Source # Methods toSpecRep ∷ EnactState era → SpecTransM ctx (SpecRep (EnactState era)) Source #
(Inject ctx Coin, ConwayEraAccounts era) ⇒ SpecTranslate ctx (RatifyEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (RatifyEnv era) Source # Methods 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 #
SpecTranslate ctx (GovPurposeId r) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (GovPurposeId r) Source # Methods toSpecRep ∷ GovPurposeId r → SpecTransM ctx (SpecRep (GovPurposeId r)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (ProposalProcedure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ProposalProcedure era) Source # 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 #
(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 #
(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 #
(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 #
(SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (EnactState era), EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (CertState era), SpecRep (CertState era) ~ CertState, EraCertState era) ⇒ SpecTranslate ctx (GovEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov Associated Types type SpecRep (GovEnv era) Source # Methods 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 #
ConwayEraAccounts era ⇒ SpecTranslate ctx (ConwayCertState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (ConwayCertState era) Source # Methods toSpecRep ∷ ConwayCertState era → SpecTransM ctx (SpecRep (ConwayCertState era)) Source #
SpecTranslate ctx (VState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert Associated Types type SpecRep (VState era) Source # Methods toSpecRep ∷ VState era → SpecTransM ctx (SpecRep (VState era)) Source #
Era era ⇒ SpecTranslate ctx (ConwayTxCert era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (ConwayTxCert era) Source # Methods toSpecRep ∷ ConwayTxCert era → SpecTransM ctx (SpecRep (ConwayTxCert era)) Source #
(SpecTranslate ctx a, Compactible a) ⇒ SpecTranslate ctx (CompactForm a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Associated Types type SpecRep (CompactForm a) Source # Methods toSpecRep ∷ CompactForm a → SpecTransM ctx (SpecRep (CompactForm a)) Source #
SpecTranslate ctx (Tx ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger Associated Types type SpecRep (Tx ConwayEra) Source # Methods toSpecRep ∷ Tx ConwayEra → SpecTransM ctx (SpecRep (Tx ConwayEra)) Source #
Inject ctx TxId ⇒ SpecTranslate ctx (TxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger Associated Types type SpecRep (TxBody ConwayEra) Source # Methods toSpecRep ∷ TxBody ConwayEra → SpecTransM ctx (SpecRep (TxBody ConwayEra)) Source #
SpecTranslate ctx (PParamsHKD Identity era) ⇒ SpecTranslate ctx (PParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core 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.Core 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.Core 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.Core 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.Core 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.Core Associated Types type SpecRep (VKey k) Source # Methods toSpecRep ∷ VKey k → SpecTransM ctx (SpecRep (VKey k)) Source #
SpecTranslate ctx (WitVKey k) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core 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.Core 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.Core 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.Core Associated Types type SpecRep (Datum era) Source # Methods toSpecRep ∷ Datum era → SpecTransM ctx (SpecRep (Datum era)) Source #
SpecTranslate ctx (CommitteeState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Associated Types type SpecRep (CommitteeState era) Source # Methods toSpecRep ∷ CommitteeState era → SpecTransM ctx (SpecRep (CommitteeState era)) Source #
ConwayEraAccounts era ⇒ SpecTranslate ctx (DState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg Associated Types type SpecRep (DState era) Source # Methods 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 (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 [GovActionState era] (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate [GovActionState era] (PParamsHKD StrictMaybe era), SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate ctx (EpochState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (EpochState era) Source # Methods 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), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate ctx (LedgerState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (LedgerState era) Source # Methods 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), SpecTranslate [GovActionState era] (PParamsHKD Identity era), SpecTranslate [GovActionState era] (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate ctx (NewEpochState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (NewEpochState era) Source # 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), ConwayEraCertState era) ⇒ SpecTranslate ctx (UTxOState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (UTxOState era) Source # Methods 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 #
(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 #
(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 a ⇒ SpecTranslate ctx (StrictMaybe a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.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.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.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.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.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.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.Core 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.Core 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.Base Associated Types type SpecRep (OMap k v) Source # Methods toSpecRep ∷ OMap k v → SpecTransM ctx (SpecRep (OMap k v)) Source #
(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate ctx (Timelock era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Timelock era) Source # Methods toSpecRep ∷ Timelock era → SpecTransM ctx (SpecRep (Timelock era)) Source #
SpecTranslate ctx (AlonzoPlutusPurpose AsIx era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoPlutusPurpose AsIx era) Source # Methods toSpecRep ∷ AlonzoPlutusPurpose AsIx era → SpecTransM ctx (SpecRep (AlonzoPlutusPurpose AsIx era)) Source #
(ConwayEraPParams era, PParamsHKD Identity era ~ ConwayPParams Identity era) ⇒ SpecTranslate ctx (ConwayPParams Identity era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayPParams Identity era) Source # 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.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.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 SpecNormalize a where Source #

Minimal complete definition

Nothing

Methods

specNormalize ∷ a → a Source #

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

Instances

Instances details

SpecNormalize Void Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Void → Void Source #
SpecNormalize OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ OpaqueErrorString → OpaqueErrorString Source #
SpecNormalize BaseAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ BaseAddr → BaseAddr Source #
SpecNormalize BootstrapAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ BootstrapAddr → BootstrapAddr Source #
SpecNormalize Credential Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Credential → Credential Source #
SpecNormalize RwdAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ RwdAddr → RwdAddr Source #
SpecNormalize CertState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ CertState → CertState Source #
SpecNormalize DState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ DState → DState Source #
SpecNormalize DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ DepositPurpose → DepositPurpose Source #
SpecNormalize GState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ GState → GState Source #
SpecNormalize PState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ PState → PState Source #
SpecNormalize StakePoolParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ StakePoolParams → StakePoolParams Source #
SpecNormalize EnactState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ EnactState → EnactState Source #
SpecNormalize EpochState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ EpochState → EpochState Source #
SpecNormalize GovActionState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ GovActionState → GovActionState Source #
SpecNormalize GovAction Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ GovAction → GovAction Source #
SpecNormalize GovRole Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ GovRole → GovRole Source #
SpecNormalize GovVotes Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ GovVotes → GovVotes Source #
SpecNormalize VDeleg Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ VDeleg → VDeleg Source #
SpecNormalize Vote Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Vote → Vote Source #
SpecNormalize LState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ LState → LState Source #
SpecNormalize NewEpochState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ NewEpochState → NewEpochState Source #
SpecNormalize Acnt Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Acnt → Acnt Source #
SpecNormalize DrepThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ DrepThresholds → DrepThresholds Source #
SpecNormalize PParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ PParams → PParams Source #
SpecNormalize PParamsUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ PParamsUpdate → PParamsUpdate Source #
SpecNormalize PoolThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ PoolThresholds → PoolThresholds Source #
SpecNormalize RatifyEnv Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ RatifyEnv → RatifyEnv Source #
SpecNormalize RatifyState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ RatifyState → RatifyState Source #
SpecNormalize StakeDistrs Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ StakeDistrs → StakeDistrs Source #
SpecNormalize HsRewardUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HsRewardUpdate → HsRewardUpdate Source #
SpecNormalize Snapshot Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Snapshot → Snapshot Source #
SpecNormalize Snapshots Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Snapshots → Snapshots Source #
SpecNormalize HSPlutusScript Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HSPlutusScript → HSPlutusScript Source #
SpecNormalize HSTimelock Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HSTimelock → HSTimelock Source #
SpecNormalize Timelock Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Timelock → Timelock Source #
SpecNormalize TxId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ TxId → TxId Source #
SpecNormalize UTxOState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ UTxOState → UTxOState Source #
SpecNormalize Rational Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Rational → Rational Source #
SpecNormalize Text Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Text → Text Source #
SpecNormalize () Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ () → () Source #
SpecNormalize Bool Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Bool → Bool Source #
SpecNormalize Char Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Char → Char Source #
SpecNormalize a ⇒ SpecNormalize (NonEmpty a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ NonEmpty a → NonEmpty a Source #
(Ord a, SpecNormalize a) ⇒ SpecNormalize (HSSet a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HSSet a → HSSet a Source #
SpecNormalize a ⇒ SpecNormalize (Maybe a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Maybe a → Maybe a Source #
SpecNormalize a ⇒ SpecNormalize [a] Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ [a] → [a] Source #
(SpecNormalize a, SpecNormalize b) ⇒ SpecNormalize (Either a b) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Either a b → Either a b Source #
(Eq v, Ord k, SpecNormalize k, SpecNormalize v) ⇒ SpecNormalize (HSMap k v) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HSMap k v → HSMap k v Source #
(SpecNormalize a, SpecNormalize b) ⇒ SpecNormalize (a, b) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ (a, b) → (a, b) Source #

newtype OpaqueErrorString Source #

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

Constructors

OpaqueErrorString (NonEmpty Text)

Instances

Instances details

Semigroup OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods (<>) ∷ OpaqueErrorString → OpaqueErrorString → OpaqueErrorString # sconcat ∷ NonEmpty OpaqueErrorString → OpaqueErrorString # stimes ∷ Integral b ⇒ b → OpaqueErrorString → OpaqueErrorString #
Generic OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Associated Types type Rep OpaqueErrorString ∷ Type → Type # Methods from ∷ OpaqueErrorString → Rep OpaqueErrorString x # to ∷ Rep OpaqueErrorString x → OpaqueErrorString #
Show OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods showsPrec ∷ Int → OpaqueErrorString → ShowS # show ∷ OpaqueErrorString → String # showList ∷ [OpaqueErrorString] → ShowS #
SpecNormalize OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ OpaqueErrorString → OpaqueErrorString Source #
NFData OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods rnf ∷ OpaqueErrorString → () #
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.Base Methods (==) ∷ OpaqueErrorString → OpaqueErrorString → Bool # (/=) ∷ OpaqueErrorString → OpaqueErrorString → Bool #
ToExpr OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods toExpr ∷ OpaqueErrorString → Expr Source # listToExpr ∷ [OpaqueErrorString] → Expr Source #
type Rep OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type Rep OpaqueErrorString = D1 ('MetaData "OpaqueErrorString" "Test.Cardano.Ledger.Conformance.SpecTranslate.Base" "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 Text (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods throwError ∷ Text → SpecTransM ctx a # catchError ∷ SpecTransM ctx a → (Text → SpecTransM ctx a) → SpecTransM ctx a #
MonadReader ctx (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods ask ∷ SpecTransM ctx ctx # local ∷ (ctx → ctx) → SpecTransM ctx a → SpecTransM ctx a # reader ∷ (ctx → a) → SpecTransM ctx a #
Applicative (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods pure ∷ a → SpecTransM ctx a # (<>) ∷ SpecTransM ctx (a → b) → SpecTransM ctx a → SpecTransM ctx b # liftA2 ∷ (a → b → c) → SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx c # (>) ∷ SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx b # (<*) ∷ SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx a #
Functor (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods fmap ∷ (a → b) → SpecTransM ctx a → SpecTransM ctx b # (<$) ∷ a → SpecTransM ctx b → SpecTransM ctx a #
Monad (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods (>>=) ∷ SpecTransM ctx a → (a → SpecTransM ctx b) → SpecTransM ctx b # (>>) ∷ SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx b # return ∷ a → SpecTransM ctx a #

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

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

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

unComputationResult ∷ ComputationResult Text a → Either Text a Source #

unComputationResult_ ∷ ComputationResult Void a → Either e a Source #

toSpecRep_ ∷ SpecTranslate () a ⇒ a → SpecRep a Source #