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
data SpecTransM ctx a
runSpecTransM ∷ ctx → SpecTransM ctx a → Either SpecTranslationError a
askCtx ∷ ∀ b ctx. Inject ctx b ⇒ SpecTransM ctx b
toTestRep ∷ (SpecTranslate ctx a, FixupSpecRep (SpecRep a)) ⇒ a → SpecTransM ctx (SpecRep a)
newtype OpaqueErrorString = OpaqueErrorString String

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 Associated Types type SpecRep Void Source # Methods toSpecRep ∷ Void → SpecTransM ctx (SpecRep Void) Source #
SpecTranslate ctx Word32 Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 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 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 Associated Types type SpecRep OrdExUnits Source # Methods toSpecRep ∷ OrdExUnits → SpecTransM ctx (SpecRep OrdExUnits) Source #
SpecTranslate ctx CoinPerByte Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep CoinPerByte Source # Methods toSpecRep ∷ CoinPerByte → SpecTransM ctx (SpecRep CoinPerByte) Source #
SpecTranslate ctx GovActionIx Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 Associated Types type SpecRep Vote Source # Methods toSpecRep ∷ Vote → SpecTransM ctx (SpecRep Vote) Source #
SpecTranslate ctx Network Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep Network Source # Methods toSpecRep ∷ Network → SpecTransM ctx (SpecRep Network) Source #
SpecTranslate ctx ProtVer Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 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 Associated Types type SpecRep UnitInterval Source # Methods toSpecRep ∷ UnitInterval → SpecTransM ctx (SpecRep UnitInterval) Source #
SpecTranslate ctx Coin Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep Coin Source # Methods toSpecRep ∷ Coin → SpecTransM ctx (SpecRep Coin) Source #
SpecTranslate ctx CostModels Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 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 Associated Types type SpecRep Prices Source # Methods toSpecRep ∷ Prices → SpecTransM ctx (SpecRep Prices) Source #
SpecTranslate ctx EpochInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 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 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 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 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 Associated Types type SpecRep (OSet a) Source # Methods toSpecRep ∷ OSet a → SpecTransM ctx (SpecRep (OSet a)) Source #
Script era ~ AlonzoScript era ⇒ SpecTranslate ctx (AlonzoScript era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (AlonzoScript era) Source # Methods toSpecRep ∷ AlonzoScript era → SpecTransM ctx (SpecRep (AlonzoScript era)) Source #
(SpecTranslate ctx (TxWits era), SpecTranslate ctx (TxAuxData era), SpecTranslate ctx (TxOut era), SpecTranslate ctx (TxCert era), SpecRep (TxWits era) ~ TxWitnesses, SpecRep (TxAuxData era) ~ AuxiliaryData, SpecRep (TxOut era) ~ TxOut, SpecRep (TxCert era) ~ TxCert, Tx era ~ AlonzoTx era, EraTx era, BabbageEraTxBody era) ⇒ SpecTranslate ctx (AlonzoTx era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (AlonzoTx era) Source # Methods toSpecRep ∷ AlonzoTx era → SpecTransM ctx (SpecRep (AlonzoTx era)) Source #
SpecTranslate ctx (AlonzoTxAuxData era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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) ⇒ SpecTranslate ctx (AlonzoTxWits era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 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 Associated Types type SpecRep (TxDats era) Source # Methods toSpecRep ∷ TxDats era → SpecTransM ctx (SpecRep (TxDats era)) Source #
(EraTxOut era, SpecRep (Script era) ~ DataHash, SpecRep (Value era) ~ Coin, SpecTranslate ctx (Value era), SpecTranslate ctx (Script era)) ⇒ SpecTranslate ctx (BabbageTxOut era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 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 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 Associated Types type SpecRep (RatifyEnv era) Source # Methods toSpecRep ∷ RatifyEnv era → SpecTransM ctx (SpecRep (RatifyEnv era)) Source #
EraPParams era ⇒ SpecTranslate ctx (RatifySignal era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 (Map (GovActionId (EraCrypto era)) (GovActionState era)), ToExpr (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (RatifyState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 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 Associated Types type SpecRep (Constitution era) Source # Methods toSpecRep ∷ Constitution era → SpecTransM ctx (SpecRep (Constitution era)) Source #
EraPParams era ⇒ SpecTranslate ctx (GovAction era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (GovAction era) Source # Methods toSpecRep ∷ GovAction era → SpecTransM ctx (SpecRep (GovAction era)) Source #
SpecTranslate ctx (GovActionId c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (GovActionId c) Source # Methods toSpecRep ∷ GovActionId c → SpecTransM ctx (SpecRep (GovActionId c)) Source #
EraPParams era ⇒ SpecTranslate ctx (GovActionState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (GovActionState era) Source # Methods toSpecRep ∷ GovActionState era → SpecTransM ctx (SpecRep (GovActionState era)) Source #
EraPParams era ⇒ SpecTranslate ctx (GovProcedures era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (GovProcedures era) Source # Methods toSpecRep ∷ GovProcedures era → SpecTransM ctx (SpecRep (GovProcedures era)) Source #
EraPParams era ⇒ SpecTranslate ctx (ProposalProcedure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (ProposalProcedure era) Source # Methods toSpecRep ∷ ProposalProcedure era → SpecTransM ctx (SpecRep (ProposalProcedure era)) Source #
SpecTranslate ctx (Voter era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (Voter era) Source # Methods toSpecRep ∷ Voter era → SpecTransM ctx (SpecRep (Voter era)) Source #
SpecTranslate ctx (VotingProcedures era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (VotingProcedures era) Source # Methods toSpecRep ∷ VotingProcedures era → SpecTransM ctx (SpecRep (VotingProcedures era)) Source #
EraPParams era ⇒ SpecTranslate ctx (Proposals era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 (Network, Credential 'Staking (EraCrypto era)) Coin)) ⇒ SpecTranslate ctx (CertEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 Associated Types type SpecRep (ConwayCertPredFailure era) Source # Methods toSpecRep ∷ ConwayCertPredFailure era → SpecTransM ctx (SpecRep (ConwayCertPredFailure era)) Source #
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (ConwayGovPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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), Inject ctx (Proposals era), EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (GovEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (GovEnv era) Source # Methods toSpecRep ∷ GovEnv era → SpecTransM ctx (SpecRep (GovEnv 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 Associated Types type SpecRep (ConwayUtxoPredFailure era) Source # Methods toSpecRep ∷ ConwayUtxoPredFailure era → SpecTransM ctx (SpecRep (ConwayUtxoPredFailure era)) Source #
SpecTranslate ctx (ConwayTxCert era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (ConwayTxCert era) Source # Methods toSpecRep ∷ ConwayTxCert era → SpecTransM ctx (SpecRep (ConwayTxCert era)) Source #
SpecTranslate ctx (Addr era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (Addr era) Source # Methods toSpecRep ∷ Addr era → SpecTransM ctx (SpecRep (Addr era)) Source #
SpecTranslate ctx (RewardAccount c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (RewardAccount c) Source # Methods toSpecRep ∷ RewardAccount c → SpecTransM ctx (SpecRep (RewardAccount c)) Source #
SpecTranslate ctx (Anchor c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (Anchor c) Source # Methods toSpecRep ∷ Anchor c → SpecTransM ctx (SpecRep (Anchor c)) Source #
SpecTranslate ctx (CertState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (CertState era) Source # Methods toSpecRep ∷ CertState era → SpecTransM ctx (SpecRep (CertState era)) Source #
SpecTranslate ctx (CommitteeAuthorization c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (CommitteeAuthorization c) Source # Methods toSpecRep ∷ CommitteeAuthorization c → SpecTransM ctx (SpecRep (CommitteeAuthorization c)) Source #
SpecTranslate ctx (CommitteeState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 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 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 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 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 Associated Types type SpecRep (PParams era) Source # Methods toSpecRep ∷ PParams era → SpecTransM ctx (SpecRep (PParams era)) Source #
SpecTranslate ctx (DRep c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (DRep c) Source # Methods toSpecRep ∷ DRep c → SpecTransM ctx (SpecRep (DRep c)) Source #
SpecTranslate ctx (ScriptHash c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (ScriptHash c) Source # Methods toSpecRep ∷ ScriptHash c → SpecTransM ctx (SpecRep (ScriptHash c)) Source #
(SpecRep (DataHash (EraCrypto era)) ~ DataHash, Era era) ⇒ SpecTranslate ctx (BinaryData era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (BinaryData era) Source # Methods toSpecRep ∷ BinaryData era → SpecTransM ctx (SpecRep (BinaryData era)) Source #
SpecTranslate ctx (Data era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 Associated Types type SpecRep (Datum era) Source # Methods toSpecRep ∷ Datum era → SpecTransM ctx (SpecRep (Datum era)) Source #
SpecTranslate ctx (PoolParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (PoolParams era) Source # Methods toSpecRep ∷ PoolParams era → SpecTransM ctx (SpecRep (PoolParams era)) Source #
SpecTranslate ctx (TxId era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (TxId era) Source # Methods toSpecRep ∷ TxId era → SpecTransM ctx (SpecRep (TxId era)) Source #
SpecTranslate ctx (TxIn era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (TxIn era) Source # Methods toSpecRep ∷ TxIn era → SpecTransM ctx (SpecRep (TxIn era)) Source #
(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut) ⇒ SpecTranslate ctx (UTxO era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (UTxO era) Source # Methods toSpecRep ∷ UTxO era → SpecTransM ctx (SpecRep (UTxO era)) Source #
Crypto c ⇒ SpecTranslate ctx (MaryValue c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (MaryValue c) Source # Methods toSpecRep ∷ MaryValue c → SpecTransM ctx (SpecRep (MaryValue c)) Source #
(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut) ⇒ SpecTranslate ctx (UTxOState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (UTxOState era) Source # Methods toSpecRep ∷ UTxOState era → SpecTransM ctx (SpecRep (UTxOState 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 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.Conway 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 Associated Types type SpecRep (StrictSeq a) Source # Methods toSpecRep ∷ StrictSeq a → SpecTransM ctx (SpecRep (StrictSeq a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (Set a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 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 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 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 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 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 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 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 Associated Types type SpecRep (ConwayPParams Identity era) Source # Methods toSpecRep ∷ ConwayPParams Identity era → SpecTransM ctx (SpecRep (ConwayPParams Identity era)) Source #
SpecTranslate ctx (ConwayPlutusPurpose AsIx era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (ConwayPlutusPurpose AsIx era) Source # Methods toSpecRep ∷ ConwayPlutusPurpose AsIx era → SpecTransM ctx (SpecRep (ConwayPlutusPurpose AsIx era)) Source #
SpecTranslate ctx (Credential k c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (Credential k c) Source # Methods toSpecRep ∷ Credential k c → SpecTransM ctx (SpecRep (Credential k c)) Source #
SpecTranslate ctx (KeyHash r c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (KeyHash r c) Source # Methods toSpecRep ∷ KeyHash r c → SpecTransM ctx (SpecRep (KeyHash r c)) Source #
Crypto c ⇒ SpecTranslate ctx (VKey k c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (VKey k c) Source # Methods toSpecRep ∷ VKey k c → SpecTransM ctx (SpecRep (VKey k c)) Source #
(Crypto c, Typeable k) ⇒ SpecTranslate ctx (WitVKey k c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (WitVKey k c) Source # Methods toSpecRep ∷ WitVKey k c → SpecTransM ctx (SpecRep (WitVKey k c)) Source #
SpecTranslate ctx (SafeHash c EraIndependentData) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (SafeHash c EraIndependentData) Source # Methods toSpecRep ∷ SafeHash c EraIndependentData → SpecTransM ctx (SpecRep (SafeHash c EraIndependentData)) Source #
SpecTranslate ctx (SafeHash c EraIndependentScriptIntegrity) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (SafeHash c EraIndependentScriptIntegrity) Source # Methods toSpecRep ∷ SafeHash c EraIndependentScriptIntegrity → SpecTransM ctx (SpecRep (SafeHash c EraIndependentScriptIntegrity)) Source #
SpecTranslate ctx (SafeHash c EraIndependentTxBody) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway Associated Types type SpecRep (SafeHash c EraIndependentTxBody) Source # Methods toSpecRep ∷ SafeHash c EraIndependentTxBody → SpecTransM ctx (SpecRep (SafeHash c EraIndependentTxBody)) Source #
(SpecTranslate ctx k, SpecTranslate ctx v) ⇒ SpecTranslate ctx (Map k v) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway 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 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 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 OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ OpaqueErrorString → OpaqueErrorString Source #
FixupSpecRep AgdaEmpty Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ AgdaEmpty → AgdaEmpty Source #
FixupSpecRep CertState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ CertState → CertState Source #
FixupSpecRep Credential Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Credential → Credential Source #
FixupSpecRep DState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ DState → DState Source #
FixupSpecRep EnactState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ EnactState → EnactState Source #
FixupSpecRep GState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ GState → GState Source #
FixupSpecRep GovAction Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ GovAction → GovAction 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 PParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ PParams → PParams Source #
FixupSpecRep PState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ PState → PState 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 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 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 Integer Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods fixup ∷ Integer → Integer 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 (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 #
(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 #

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 #

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

newtype OpaqueErrorString Source #

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

Constructors

OpaqueErrorString String

Instances

Instances details

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 #
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 #
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-0.1.0.0-inplace" 'True) (C1 ('MetaCons "OpaqueErrorString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))