Safe Haskell	Safe-Inferred
Language	Haskell2010

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

Contents

Orphan instances

Synopsis

committeeCredentialToStrictMaybe ∷ CommitteeAuthorization c → StrictMaybe (Credential 'HotCommitteeRole c)
class SpecTranslate ctx a where
- type SpecRep a ∷ Type
- toSpecRep ∷ a → SpecTransM ctx (SpecRep a)
type SpecTranslationError = Text
data ConwayExecEnactEnv era = ConwayExecEnactEnv {
- ceeeGid ∷ !(GovActionId (EraCrypto era))
- ceeeTreasury ∷ !Coin
- ceeeEpoch ∷ !EpochNo
}
data DepositPurpose c
- = CredentialDeposit !(Credential 'Staking c)
- | PoolDeposit !(KeyHash 'StakePool c)
- | DRepDeposit !(Credential 'DRepRole c)
- | GovActionDeposit !(GovActionId c)
data ConwayTxBodyTransContext c = ConwayTxBodyTransContext {
- ctbtcSizeTx ∷ !Integer
- ctbtcTxId ∷ !(TxId c)
}
vkeyToInteger ∷ DSIGNAlgorithm (DSIGN c) ⇒ VKey kd c → Integer
vkeyFromInteger ∷ DSIGNAlgorithm (DSIGN c) ⇒ Integer → Maybe (VKey kd c)
signatureToInteger ∷ DSIGNAlgorithm v ⇒ SigDSIGN v → Integer
signatureFromInteger ∷ DSIGNAlgorithm v ⇒ Integer → Maybe (SigDSIGN v)

Documentation

committeeCredentialToStrictMaybe ∷ CommitteeAuthorization c → StrictMaybe (Credential 'HotCommitteeRole c) 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 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 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 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 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 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 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 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 (EraCrypto era)) (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 #
SpecTranslate ctx (GovActionId c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (GovActionId c) Source # Methods toSpecRep ∷ GovActionId c → SpecTransM ctx (SpecRep (GovActionId c)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovActionState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (GovActionState era) Source # 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 (Voter era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base 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.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 (EraCrypto era)) Coin)) ⇒ SpecTranslate ctx (CertEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (CertEnv era) Source # Methods 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 (EraCrypto era)) Coin)) ⇒ SpecTranslate ctx (CertsEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs Associated Types type SpecRep (CertsEnv era) Source # Methods 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 (EraCrypto era)))) ⇒ 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 (EraCrypto era)) 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 (EraCrypto era)), Inject ctx Integer, Inject ctx (TxId (EraCrypto era)), 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 #
SpecTranslate ctx (ConwayDelegCert c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg Associated Types type SpecRep (ConwayDelegCert c) Source # Methods toSpecRep ∷ ConwayDelegCert c → SpecTransM ctx (SpecRep (ConwayDelegCert c)) Source #
Crypto c ⇒ SpecTranslate ctx (ConwayGovCert c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert Associated Types type SpecRep (ConwayGovCert c) Source # Methods toSpecRep ∷ ConwayGovCert c → SpecTransM ctx (SpecRep (ConwayGovCert c)) 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 (Addr era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Addr era) Source # Methods toSpecRep ∷ Addr era → SpecTransM ctx (SpecRep (Addr era)) Source #
SpecTranslate ctx (BootstrapAddress era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (BootstrapAddress era) Source # Methods toSpecRep ∷ BootstrapAddress era → SpecTransM ctx (SpecRep (BootstrapAddress era)) Source #
SpecTranslate ctx (RewardAccount c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (RewardAccount c) Source # Methods toSpecRep ∷ RewardAccount c → SpecTransM ctx (SpecRep (RewardAccount c)) Source #
SpecTranslate ctx (Withdrawals era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Withdrawals era) Source # Methods toSpecRep ∷ Withdrawals era → SpecTransM ctx (SpecRep (Withdrawals era)) Source #
SpecTranslate ctx (AuxiliaryDataHash c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AuxiliaryDataHash c) Source # Methods toSpecRep ∷ AuxiliaryDataHash c → SpecTransM ctx (SpecRep (AuxiliaryDataHash c)) Source #
SpecTranslate ctx (Anchor c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Anchor c) Source # Methods toSpecRep ∷ Anchor c → SpecTransM ctx (SpecRep (Anchor c)) Source #
SpecTranslate ctx (CertState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (CertState era) Source # Methods toSpecRep ∷ CertState era → SpecTransM ctx (SpecRep (CertState era)) Source #
SpecTranslate ctx (CommitteeAuthorization c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (CommitteeAuthorization c) Source # 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.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 (PoolCert c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool Associated Types type SpecRep (PoolCert c) Source # Methods toSpecRep ∷ PoolCert c → SpecTransM ctx (SpecRep (PoolCert c)) Source #
SpecTranslate ctx (StakeReference era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (StakeReference era) Source # Methods toSpecRep ∷ StakeReference era → SpecTransM ctx (SpecRep (StakeReference era)) Source #
SpecTranslate ctx (DRep c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (DRep c) Source # Methods toSpecRep ∷ DRep c → SpecTransM ctx (SpecRep (DRep c)) Source #
SpecTranslate ctx (SnapShot c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (SnapShot c) Source # Methods toSpecRep ∷ SnapShot c → SpecTransM ctx (SpecRep (SnapShot c)) Source #
SpecTranslate ctx (SnapShots c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (SnapShots c) Source # Methods toSpecRep ∷ SnapShots c → SpecTransM ctx (SpecRep (SnapShots c)) Source #
SpecTranslate ctx (Stake c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (Stake c) Source # Methods toSpecRep ∷ Stake c → SpecTransM ctx (SpecRep (Stake c)) Source #
SpecTranslate ctx (ScriptHash c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ScriptHash c) Source # 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.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 (IndividualPoolStake c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (IndividualPoolStake c) Source # Methods toSpecRep ∷ IndividualPoolStake c → SpecTransM ctx (SpecRep (IndividualPoolStake c)) Source #
SpecTranslate ctx (PoolDistr c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (PoolDistr c) Source # Methods toSpecRep ∷ PoolDistr c → SpecTransM ctx (SpecRep (PoolDistr c)) Source #
SpecTranslate ctx (PoolParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (PoolParams era) Source # Methods toSpecRep ∷ PoolParams era → SpecTransM ctx (SpecRep (PoolParams era)) Source #
SpecTranslate ctx (TxId era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (TxId era) Source # Methods toSpecRep ∷ TxId era → SpecTransM ctx (SpecRep (TxId era)) Source #
SpecTranslate ctx (TxIn era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (TxIn era) Source # Methods 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.Base 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.Base Associated Types type SpecRep (MaryValue c) Source # Methods toSpecRep ∷ MaryValue c → SpecTransM ctx (SpecRep (MaryValue c)) Source #
(EraPParams era, ConwayEraGov era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, 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 #
SpecTranslate ctx (PulsingRewUpdate c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (PulsingRewUpdate c) Source # Methods toSpecRep ∷ PulsingRewUpdate c → SpecTransM ctx (SpecRep (PulsingRewUpdate c)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (StrictMaybe (ScriptHash (EraCrypto era))), 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 (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (DepositPurpose c) Source # Methods toSpecRep ∷ DepositPurpose c → SpecTransM ctx (SpecRep (DepositPurpose c)) 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 (Credential k c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base 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.Base 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.Base 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.Base Associated Types type SpecRep (WitVKey k c) Source # Methods toSpecRep ∷ WitVKey k c → SpecTransM ctx (SpecRep (WitVKey k c)) Source #
SpecTranslate ctx (SafeHash c a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (SafeHash c a) Source # Methods toSpecRep ∷ SafeHash c a → SpecTransM ctx (SpecRep (SafeHash c a)) 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 #

type SpecTranslationError = Text Source #

data ConwayExecEnactEnv era Source #

This type is used as the Env only in the Agda Spec

Constructors

ConwayExecEnactEnv
Fields ceeeGid ∷ !(GovActionId (EraCrypto era)) ceeeTreasury ∷ !Coin ceeeEpoch ∷ !EpochNo

Instances

Instances details

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 #
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type TypeSpec fn (ConwayExecEnactEnv era) Source # type Prerequisites fn (ConwayExecEnactEnv era) Source # Methods emptySpec ∷ TypeSpec fn (ConwayExecEnactEnv era) Source # combineSpec ∷ TypeSpec fn (ConwayExecEnactEnv era) → TypeSpec fn (ConwayExecEnactEnv era) → Specification fn (ConwayExecEnactEnv era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayExecEnactEnv era) → GenT m (ConwayExecEnactEnv era) Source # conformsTo ∷ ConwayExecEnactEnv era → TypeSpec fn (ConwayExecEnactEnv era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (ConwayExecEnactEnv era) → ConwayExecEnactEnv era → [ConwayExecEnactEnv era] Source # toPreds ∷ Term fn (ConwayExecEnactEnv era) → TypeSpec fn (ConwayExecEnactEnv era) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (ConwayExecEnactEnv era) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (ConwayExecEnactEnv era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (ConwayExecEnactEnv era) → BinaryShow Source # monadConformsTo ∷ ConwayExecEnactEnv era → TypeSpec fn (ConwayExecEnactEnv era) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (ConwayExecEnactEnv era) → [ConwayExecEnactEnv era] → Specification fn (ConwayExecEnactEnv era) Source # guardTypeSpec ∷ [String] → TypeSpec fn (ConwayExecEnactEnv era) → Specification fn (ConwayExecEnactEnv era) Source # prerequisites ∷ Evidence (Prerequisites fn (ConwayExecEnactEnv era)) Source #
Generic (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type Rep (ConwayExecEnactEnv era) ∷ Type → Type Source # Methods from ∷ ConwayExecEnactEnv era → Rep (ConwayExecEnactEnv era) x Source # to ∷ Rep (ConwayExecEnactEnv era) x → ConwayExecEnactEnv era Source #
Show (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods showsPrec ∷ Int → ConwayExecEnactEnv era → ShowS Source # show ∷ ConwayExecEnactEnv era → String Source # showList ∷ [ConwayExecEnactEnv era] → ShowS Source #
HasSimpleRep (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SimpleRep (ConwayExecEnactEnv era) Source # type TheSop (ConwayExecEnactEnv era) ∷ [Type] Source # Methods toSimpleRep ∷ ConwayExecEnactEnv era → SimpleRep (ConwayExecEnactEnv era) Source # fromSimpleRep ∷ SimpleRep (ConwayExecEnactEnv era) → ConwayExecEnactEnv era Source #
Era era ⇒ NFData (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods rnf ∷ ConwayExecEnactEnv era → () Source #
Eq (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods (==) ∷ ConwayExecEnactEnv era → ConwayExecEnactEnv era → Bool Source # (/=) ∷ ConwayExecEnactEnv era → ConwayExecEnactEnv era → Bool Source #
ToExpr (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods toExpr ∷ ConwayExecEnactEnv era → Expr Source # listToExpr ∷ [ConwayExecEnactEnv era] → Expr Source #
Inject (ConwayExecEnactEnv era) () Source #	Here we inject the Agda Spec Env into the STS rule Environment, which is ().
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods inject ∷ ConwayExecEnactEnv era → () Source #
type Prerequisites fn (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type Prerequisites fn (ConwayExecEnactEnv era) = ()
type TypeSpec fn (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type TypeSpec fn (ConwayExecEnactEnv era) = TypeSpec fn (SimpleRep (ConwayExecEnactEnv era))
type Rep (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type Rep (ConwayExecEnactEnv era) = D1 ('MetaData "ConwayExecEnactEnv" "Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base" "cardano-ledger-conformance-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ConwayExecEnactEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ceeeGid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovActionId (EraCrypto era))) :: (S1 ('MetaSel ('Just "ceeeTreasury") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :: S1 ('MetaSel ('Just "ceeeEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo))))
type SpecRep (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (ConwayExecEnactEnv era) = EnactEnv
type SimpleRep (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SimpleRep (ConwayExecEnactEnv era) = SOP (TheSop (ConwayExecEnactEnv era))
type TheSop (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type TheSop (ConwayExecEnactEnv era) = SOPOf (Rep (ConwayExecEnactEnv era))

data DepositPurpose c Source #

Constructors

CredentialDeposit !(Credential 'Staking c)
PoolDeposit !(KeyHash 'StakePool c)
DRepDeposit !(Credential 'DRepRole c)
GovActionDeposit !(GovActionId c)

Instances

Instances details

SpecTranslate ctx (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (DepositPurpose c) Source # Methods toSpecRep ∷ DepositPurpose c → SpecTransM ctx (SpecRep (DepositPurpose c)) Source #
(IsConwayUniv fn, Crypto c) ⇒ HasSpec fn (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type TypeSpec fn (DepositPurpose c) Source # type Prerequisites fn (DepositPurpose c) Source # Methods emptySpec ∷ TypeSpec fn (DepositPurpose c) Source # combineSpec ∷ TypeSpec fn (DepositPurpose c) → TypeSpec fn (DepositPurpose c) → Specification fn (DepositPurpose c) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (DepositPurpose c) → GenT m (DepositPurpose c) Source # conformsTo ∷ DepositPurpose c → TypeSpec fn (DepositPurpose c) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (DepositPurpose c) → DepositPurpose c → [DepositPurpose c] Source # toPreds ∷ Term fn (DepositPurpose c) → TypeSpec fn (DepositPurpose c) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (DepositPurpose c) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (DepositPurpose c) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (DepositPurpose c) → BinaryShow Source # monadConformsTo ∷ DepositPurpose c → TypeSpec fn (DepositPurpose c) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (DepositPurpose c) → [DepositPurpose c] → Specification fn (DepositPurpose c) Source # guardTypeSpec ∷ [String] → TypeSpec fn (DepositPurpose c) → Specification fn (DepositPurpose c) Source # prerequisites ∷ Evidence (Prerequisites fn (DepositPurpose c)) Source #
Crypto c ⇒ Arbitrary (DepositPurpose c)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods arbitrary ∷ Gen (DepositPurpose c) Source # shrink ∷ DepositPurpose c → [DepositPurpose c] Source #
Generic (DepositPurpose c)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Associated Types type Rep (DepositPurpose c) ∷ Type → Type Source # Methods from ∷ DepositPurpose c → Rep (DepositPurpose c) x Source # to ∷ Rep (DepositPurpose c) x → DepositPurpose c Source #
Show (DepositPurpose c)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods showsPrec ∷ Int → DepositPurpose c → ShowS Source # show ∷ DepositPurpose c → String Source # showList ∷ [DepositPurpose c] → ShowS Source #
Crypto c ⇒ DecCBOR (DepositPurpose c)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods decCBOR ∷ Decoder s (DepositPurpose c) Source # dropCBOR ∷ Proxy (DepositPurpose c) → Decoder s () Source # label ∷ Proxy (DepositPurpose c) → Text Source #
Crypto c ⇒ EncCBOR (DepositPurpose c)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods encCBOR ∷ DepositPurpose c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (DepositPurpose c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [DepositPurpose c] → Size Source #
HasSimpleRep (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SimpleRep (DepositPurpose c) Source # type TheSop (DepositPurpose c) ∷ [Type] Source # Methods toSimpleRep ∷ DepositPurpose c → SimpleRep (DepositPurpose c) Source # fromSimpleRep ∷ SimpleRep (DepositPurpose c) → DepositPurpose c Source #
Crypto c ⇒ NFData (DepositPurpose c)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods rnf ∷ DepositPurpose c → () Source #
Eq (DepositPurpose c)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods (==) ∷ DepositPurpose c → DepositPurpose c → Bool Source # (/=) ∷ DepositPurpose c → DepositPurpose c → Bool Source #
Ord (DepositPurpose c)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods compare ∷ DepositPurpose c → DepositPurpose c → Ordering Source # (<) ∷ DepositPurpose c → DepositPurpose c → Bool Source # (<=) ∷ DepositPurpose c → DepositPurpose c → Bool Source # (>) ∷ DepositPurpose c → DepositPurpose c → Bool Source # (>=) ∷ DepositPurpose c → DepositPurpose c → Bool Source # max ∷ DepositPurpose c → DepositPurpose c → DepositPurpose c Source # min ∷ DepositPurpose c → DepositPurpose c → DepositPurpose c Source #
ToExpr (DepositPurpose c)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo Methods toExpr ∷ DepositPurpose c → Expr Source # listToExpr ∷ [DepositPurpose c] → Expr Source #
c ~ EraCrypto era ⇒ Inject (ConwayCertExecContext era) (Map (DepositPurpose c) Coin) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base Methods inject ∷ ConwayCertExecContext era → Map (DepositPurpose c) Coin Source #
type Prerequisites fn (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type Prerequisites fn (DepositPurpose c) = ()
type TypeSpec fn (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type TypeSpec fn (DepositPurpose c) = TypeSpec fn (SimpleRep (DepositPurpose c))
type Rep (DepositPurpose c)
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.Utxo type Rep (DepositPurpose c) = D1 ('MetaData "DepositPurpose" "Test.Cardano.Ledger.Constrained.Conway.Utxo" "cardano-ledger-test-9.9.9.9-inplace" 'False) ((C1 ('MetaCons "CredentialDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking c))) :+: C1 ('MetaCons "PoolDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)))) :+: (C1 ('MetaCons "DRepDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole c))) :+: C1 ('MetaCons "GovActionDeposit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovActionId c)))))
type SpecRep (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (DepositPurpose c) = DepositPurpose
type SimpleRep (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SimpleRep (DepositPurpose c) = SOP (TheSop (DepositPurpose c))
type TheSop (DepositPurpose c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type TheSop (DepositPurpose c) = SOPOf (Rep (DepositPurpose c))

data ConwayTxBodyTransContext c Source #

Constructors

ConwayTxBodyTransContext
Fields ctbtcSizeTx ∷ !Integer ctbtcTxId ∷ !(TxId c)

Instances

Instances details

Inject (ConwayTxBodyTransContext c) Integer Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods inject ∷ ConwayTxBodyTransContext c → Integer Source #
Inject (ConwayTxBodyTransContext c) (TxId c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods inject ∷ ConwayTxBodyTransContext c → TxId c Source #

vkeyToInteger ∷ DSIGNAlgorithm (DSIGN c) ⇒ VKey kd c → Integer Source #

vkeyFromInteger ∷ DSIGNAlgorithm (DSIGN c) ⇒ Integer → Maybe (VKey kd c) Source #

signatureToInteger ∷ DSIGNAlgorithm v ⇒ SigDSIGN v → Integer Source #

signatureFromInteger ∷ DSIGNAlgorithm v ⇒ Integer → Maybe (SigDSIGN v) Source #

Orphan instances

SpecTranslate ctx Void Source #
Instance details Associated Types type SpecRep Void Source # Methods toSpecRep ∷ Void → SpecTransM ctx (SpecRep Void) Source #
SpecTranslate ctx Word16 Source #
Instance details Associated Types type SpecRep Word16 Source # Methods toSpecRep ∷ Word16 → SpecTransM ctx (SpecRep Word16) Source #
SpecTranslate ctx Word32 Source #
Instance details Associated Types type SpecRep Word32 Source # Methods toSpecRep ∷ Word32 → SpecTransM ctx (SpecRep Word32) Source #
SpecTranslate ctx Word64 Source #
Instance details Associated Types type SpecRep Word64 Source # Methods toSpecRep ∷ Word64 → SpecTransM ctx (SpecRep Word64) Source #
SpecTranslate ctx ValidityInterval Source #
Instance details Associated Types type SpecRep ValidityInterval Source # Methods toSpecRep ∷ ValidityInterval → SpecTransM ctx (SpecRep ValidityInterval) Source #
SpecTranslate ctx OrdExUnits Source #
Instance details Associated Types type SpecRep OrdExUnits Source # Methods toSpecRep ∷ OrdExUnits → SpecTransM ctx (SpecRep OrdExUnits) Source #
SpecTranslate ctx IsValid Source #
Instance details Associated Types type SpecRep IsValid Source # Methods toSpecRep ∷ IsValid → SpecTransM ctx (SpecRep IsValid) Source #
SpecTranslate ctx CoinPerByte Source #
Instance details Associated Types type SpecRep CoinPerByte Source # Methods toSpecRep ∷ CoinPerByte → SpecTransM ctx (SpecRep CoinPerByte) Source #
SpecTranslate ctx GovActionIx Source #
Instance details Associated Types type SpecRep GovActionIx Source # Methods toSpecRep ∷ GovActionIx → SpecTransM ctx (SpecRep GovActionIx) Source #
SpecTranslate ctx Vote Source #
Instance details Associated Types type SpecRep Vote Source # Methods toSpecRep ∷ Vote → SpecTransM ctx (SpecRep Vote) Source #
SpecTranslate ctx DRepVotingThresholds Source #
Instance details Associated Types type SpecRep DRepVotingThresholds Source # Methods toSpecRep ∷ DRepVotingThresholds → SpecTransM ctx (SpecRep DRepVotingThresholds) Source #
SpecTranslate ctx PoolVotingThresholds Source #
Instance details Associated Types type SpecRep PoolVotingThresholds Source # Methods toSpecRep ∷ PoolVotingThresholds → SpecTransM ctx (SpecRep PoolVotingThresholds) Source #
SpecTranslate ctx Network Source #
Instance details Associated Types type SpecRep Network Source # Methods toSpecRep ∷ Network → SpecTransM ctx (SpecRep Network) Source #
SpecTranslate ctx NonNegativeInterval Source #
Instance details Associated Types type SpecRep NonNegativeInterval Source # Methods toSpecRep ∷ NonNegativeInterval → SpecTransM ctx (SpecRep NonNegativeInterval) Source #
SpecTranslate ctx ProtVer Source #
Instance details Associated Types type SpecRep ProtVer Source # Methods toSpecRep ∷ ProtVer → SpecTransM ctx (SpecRep ProtVer) Source #
SpecTranslate ctx TxIx Source #
Instance details Associated Types type SpecRep TxIx Source # Methods toSpecRep ∷ TxIx → SpecTransM ctx (SpecRep TxIx) Source #
SpecTranslate ctx UnitInterval Source #
Instance details Associated Types type SpecRep UnitInterval Source # Methods toSpecRep ∷ UnitInterval → SpecTransM ctx (SpecRep UnitInterval) Source #
SpecTranslate ctx Url Source #
Instance details Associated Types type SpecRep Url Source # Methods toSpecRep ∷ Url → SpecTransM ctx (SpecRep Url) Source #
SpecTranslate ctx Coin Source #
Instance details Associated Types type SpecRep Coin Source # Methods toSpecRep ∷ Coin → SpecTransM ctx (SpecRep Coin) Source #
SpecTranslate ctx CostModels Source #
Instance details Associated Types type SpecRep CostModels Source # Methods toSpecRep ∷ CostModels → SpecTransM ctx (SpecRep CostModels) Source #
SpecTranslate ctx ExUnits Source #
Instance details Associated Types type SpecRep ExUnits Source # Methods toSpecRep ∷ ExUnits → SpecTransM ctx (SpecRep ExUnits) Source #
SpecTranslate ctx Prices Source #
Instance details Associated Types type SpecRep Prices Source # Methods toSpecRep ∷ Prices → SpecTransM ctx (SpecRep Prices) Source #
SpecTranslate ctx EpochInterval Source #
Instance details Associated Types type SpecRep EpochInterval Source # Methods toSpecRep ∷ EpochInterval → SpecTransM ctx (SpecRep EpochInterval) Source #
SpecTranslate ctx EpochNo Source #
Instance details Associated Types type SpecRep EpochNo Source # Methods toSpecRep ∷ EpochNo → SpecTransM ctx (SpecRep EpochNo) Source #
SpecTranslate ctx SlotNo Source #
Instance details Associated Types type SpecRep SlotNo Source # Methods toSpecRep ∷ SlotNo → SpecTransM ctx (SpecRep SlotNo) Source #
SpecTranslate ctx Integer Source #
Instance details Associated Types type SpecRep Integer Source # Methods toSpecRep ∷ Integer → SpecTransM ctx (SpecRep Integer) Source #
SpecTranslate ctx Bool Source #
Instance details Associated Types type SpecRep Bool Source # Methods toSpecRep ∷ Bool → SpecTransM ctx (SpecRep Bool) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (OSet a) Source #
Instance details 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 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 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 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 (EraCrypto era)) (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 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 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 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 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 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 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 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 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 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 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 Associated Types type SpecRep (RatifyState era) Source # Methods toSpecRep ∷ RatifyState era → SpecTransM ctx (SpecRep (RatifyState era)) Source #
SpecTranslate ctx (Committee era) Source #
Instance details Associated Types type SpecRep (Committee era) Source # Methods toSpecRep ∷ Committee era → SpecTransM ctx (SpecRep (Committee era)) Source #
SpecTranslate ctx (Constitution era) Source #
Instance details 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 Associated Types type SpecRep (GovAction era) Source # Methods toSpecRep ∷ GovAction era → SpecTransM ctx (SpecRep (GovAction era)) Source #
SpecTranslate ctx (GovActionId c) Source #
Instance details Associated Types type SpecRep (GovActionId c) Source # Methods toSpecRep ∷ GovActionId c → SpecTransM ctx (SpecRep (GovActionId c)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovActionState era) Source #
Instance details 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 Associated Types type SpecRep (ProposalProcedure era) Source # Methods toSpecRep ∷ ProposalProcedure era → SpecTransM ctx (SpecRep (ProposalProcedure era)) Source #
SpecTranslate ctx (Voter era) Source #
Instance details Associated Types type SpecRep (Voter era) Source # Methods toSpecRep ∷ Voter era → SpecTransM ctx (SpecRep (Voter era)) Source #
SpecTranslate ctx (VotingProcedures era) Source #
Instance details 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 Associated Types type SpecRep (Proposals era) Source # Methods toSpecRep ∷ Proposals era → SpecTransM ctx (SpecRep (Proposals era)) Source #
(ToExpr (PredicateFailure (EraRule "DELEG" era)), ToExpr (PredicateFailure (EraRule "GOVCERT" era)), ToExpr (PredicateFailure (EraRule "POOL" era))) ⇒ SpecTranslate ctx (ConwayCertPredFailure era) Source #
Instance details Associated Types type SpecRep (ConwayCertPredFailure era) Source # Methods toSpecRep ∷ ConwayCertPredFailure era → SpecTransM ctx (SpecRep (ConwayCertPredFailure era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (EnactSignal era) Source #
Instance details 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 Associated Types type SpecRep (ConwayGovPredFailure era) Source # Methods toSpecRep ∷ ConwayGovPredFailure era → SpecTransM ctx (SpecRep (ConwayGovPredFailure 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 (EraCrypto era)), Inject ctx Integer, Inject ctx (TxId (EraCrypto era)), SpecTranslate ctx (TxOut era), SpecTranslate ctx (ConwayTxCert era), SpecTranslate ctx (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (ConwayTxBody era) Source #
Instance details Associated Types type SpecRep (ConwayTxBody era) Source # Methods toSpecRep ∷ ConwayTxBody era → SpecTransM ctx (SpecRep (ConwayTxBody era)) Source #
SpecTranslate ctx (Addr era) Source #
Instance details Associated Types type SpecRep (Addr era) Source # Methods toSpecRep ∷ Addr era → SpecTransM ctx (SpecRep (Addr era)) Source #
SpecTranslate ctx (BootstrapAddress era) Source #
Instance details Associated Types type SpecRep (BootstrapAddress era) Source # Methods toSpecRep ∷ BootstrapAddress era → SpecTransM ctx (SpecRep (BootstrapAddress era)) Source #
SpecTranslate ctx (RewardAccount c) Source #
Instance details Associated Types type SpecRep (RewardAccount c) Source # Methods toSpecRep ∷ RewardAccount c → SpecTransM ctx (SpecRep (RewardAccount c)) Source #
SpecTranslate ctx (Withdrawals era) Source #
Instance details Associated Types type SpecRep (Withdrawals era) Source # Methods toSpecRep ∷ Withdrawals era → SpecTransM ctx (SpecRep (Withdrawals era)) Source #
SpecTranslate ctx (AuxiliaryDataHash c) Source #
Instance details Associated Types type SpecRep (AuxiliaryDataHash c) Source # Methods toSpecRep ∷ AuxiliaryDataHash c → SpecTransM ctx (SpecRep (AuxiliaryDataHash c)) Source #
SpecTranslate ctx (Anchor c) Source #
Instance details Associated Types type SpecRep (Anchor c) Source # Methods toSpecRep ∷ Anchor c → SpecTransM ctx (SpecRep (Anchor c)) Source #
SpecTranslate ctx (CommitteeAuthorization c) Source #
Instance details Associated Types type SpecRep (CommitteeAuthorization c) Source # Methods toSpecRep ∷ CommitteeAuthorization c → SpecTransM ctx (SpecRep (CommitteeAuthorization c)) Source #
SpecTranslate ctx (CommitteeState era) Source #
Instance details Associated Types type SpecRep (CommitteeState era) Source # Methods toSpecRep ∷ CommitteeState era → SpecTransM ctx (SpecRep (CommitteeState era)) Source #
(SpecTranslate ctx a, Compactible a) ⇒ SpecTranslate ctx (CompactForm a) Source #
Instance details 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 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 Associated Types type SpecRep (PParamsUpdate era) Source # Methods toSpecRep ∷ PParamsUpdate era → SpecTransM ctx (SpecRep (PParamsUpdate era)) Source #
SpecTranslate ctx (StakeReference era) Source #
Instance details Associated Types type SpecRep (StakeReference era) Source # Methods toSpecRep ∷ StakeReference era → SpecTransM ctx (SpecRep (StakeReference era)) Source #
SpecTranslate ctx (DRep c) Source #
Instance details Associated Types type SpecRep (DRep c) Source # Methods toSpecRep ∷ DRep c → SpecTransM ctx (SpecRep (DRep c)) Source #
SpecTranslate ctx (ScriptHash c) Source #
Instance details 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 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 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 Associated Types type SpecRep (Datum era) Source # Methods toSpecRep ∷ Datum era → SpecTransM ctx (SpecRep (Datum era)) Source #
SpecTranslate ctx (IndividualPoolStake c) Source #
Instance details Associated Types type SpecRep (IndividualPoolStake c) Source # Methods toSpecRep ∷ IndividualPoolStake c → SpecTransM ctx (SpecRep (IndividualPoolStake c)) Source #
SpecTranslate ctx (PoolDistr c) Source #
Instance details Associated Types type SpecRep (PoolDistr c) Source # Methods toSpecRep ∷ PoolDistr c → SpecTransM ctx (SpecRep (PoolDistr c)) Source #
SpecTranslate ctx (PoolParams era) Source #
Instance details Associated Types type SpecRep (PoolParams era) Source # Methods toSpecRep ∷ PoolParams era → SpecTransM ctx (SpecRep (PoolParams era)) Source #
SpecTranslate ctx (TxId era) Source #
Instance details Associated Types type SpecRep (TxId era) Source # Methods toSpecRep ∷ TxId era → SpecTransM ctx (SpecRep (TxId era)) Source #
SpecTranslate ctx (TxIn era) Source #
Instance details 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 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 Associated Types type SpecRep (MaryValue c) Source # Methods toSpecRep ∷ MaryValue c → SpecTransM ctx (SpecRep (MaryValue c)) Source #
SpecTranslate ctx (EpochExecEnv era) Source #
Instance details Associated Types type SpecRep (EpochExecEnv era) Source # Methods toSpecRep ∷ EpochExecEnv era → SpecTransM ctx (SpecRep (EpochExecEnv era)) Source #
SpecTranslate ctx (DepositPurpose c) Source #
Instance details Associated Types type SpecRep (DepositPurpose c) Source # Methods toSpecRep ∷ DepositPurpose c → SpecTransM ctx (SpecRep (DepositPurpose c)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictMaybe a) Source #
Instance details 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 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 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 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 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 Associated Types type SpecRep [a] Source # Methods toSpecRep ∷ [a] → SpecTransM ctx (SpecRep [a]) Source #
(IsConwayUniv fn, Era era) ⇒ HasSpec fn (EpochExecEnv era) Source #
Instance details Associated Types type TypeSpec fn (EpochExecEnv era) Source # type Prerequisites fn (EpochExecEnv era) Source # Methods emptySpec ∷ TypeSpec fn (EpochExecEnv era) Source # combineSpec ∷ TypeSpec fn (EpochExecEnv era) → TypeSpec fn (EpochExecEnv era) → Specification fn (EpochExecEnv era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (EpochExecEnv era) → GenT m (EpochExecEnv era) Source # conformsTo ∷ EpochExecEnv era → TypeSpec fn (EpochExecEnv era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (EpochExecEnv era) → EpochExecEnv era → [EpochExecEnv era] Source # toPreds ∷ Term fn (EpochExecEnv era) → TypeSpec fn (EpochExecEnv era) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (EpochExecEnv era) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (EpochExecEnv era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (EpochExecEnv era) → BinaryShow Source # monadConformsTo ∷ EpochExecEnv era → TypeSpec fn (EpochExecEnv era) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (EpochExecEnv era) → [EpochExecEnv era] → Specification fn (EpochExecEnv era) Source # guardTypeSpec ∷ [String] → TypeSpec fn (EpochExecEnv era) → Specification fn (EpochExecEnv era) Source # prerequisites ∷ Evidence (Prerequisites fn (EpochExecEnv era)) Source #
(IsConwayUniv fn, Crypto c) ⇒ HasSpec fn (DepositPurpose c) Source #
Instance details Associated Types type TypeSpec fn (DepositPurpose c) Source # type Prerequisites fn (DepositPurpose c) Source # Methods emptySpec ∷ TypeSpec fn (DepositPurpose c) Source # combineSpec ∷ TypeSpec fn (DepositPurpose c) → TypeSpec fn (DepositPurpose c) → Specification fn (DepositPurpose c) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (DepositPurpose c) → GenT m (DepositPurpose c) Source # conformsTo ∷ DepositPurpose c → TypeSpec fn (DepositPurpose c) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (DepositPurpose c) → DepositPurpose c → [DepositPurpose c] Source # toPreds ∷ Term fn (DepositPurpose c) → TypeSpec fn (DepositPurpose c) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (DepositPurpose c) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (DepositPurpose c) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (DepositPurpose c) → BinaryShow Source # monadConformsTo ∷ DepositPurpose c → TypeSpec fn (DepositPurpose c) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (DepositPurpose c) → [DepositPurpose c] → Specification fn (DepositPurpose c) Source # guardTypeSpec ∷ [String] → TypeSpec fn (DepositPurpose c) → Specification fn (DepositPurpose c) Source # prerequisites ∷ Evidence (Prerequisites fn (DepositPurpose c)) Source #
DSIGNAlgorithm v ⇒ SpecTranslate ctx (SignedDSIGN v a) Source #
Instance details 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 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 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 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 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 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 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 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 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 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 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 Associated Types type SpecRep (WitVKey k c) Source # Methods toSpecRep ∷ WitVKey k c → SpecTransM ctx (SpecRep (WitVKey k c)) Source #
SpecTranslate ctx (SafeHash c a) Source #
Instance details Associated Types type SpecRep (SafeHash c a) Source # Methods toSpecRep ∷ SafeHash c a → SpecTransM ctx (SpecRep (SafeHash c a)) Source #
(SpecTranslate ctx k, SpecTranslate ctx v) ⇒ SpecTranslate ctx (Map k v) Source #
Instance details 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 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 Associated Types type SpecRep (THKD r f a) Source # Methods toSpecRep ∷ THKD r f a → SpecTransM ctx (SpecRep (THKD r f a)) Source #
HasSimpleRep (EpochExecEnv era) Source #
Instance details Associated Types type SimpleRep (EpochExecEnv era) Source # type TheSop (EpochExecEnv era) ∷ [Type] Source # Methods toSimpleRep ∷ EpochExecEnv era → SimpleRep (EpochExecEnv era) Source # fromSimpleRep ∷ SimpleRep (EpochExecEnv era) → EpochExecEnv era Source #
HasSimpleRep (DepositPurpose c) Source #
Instance details Associated Types type SimpleRep (DepositPurpose c) Source # type TheSop (DepositPurpose c) ∷ [Type] Source # Methods toSimpleRep ∷ DepositPurpose c → SimpleRep (DepositPurpose c) Source # fromSimpleRep ∷ SimpleRep (DepositPurpose c) → DepositPurpose c Source #
Era era ⇒ NFData (EpochExecEnv era) Source #
Instance details Methods rnf ∷ EpochExecEnv era → () Source #
ToExpr (EpochExecEnv era) Source #
Instance details Methods toExpr ∷ EpochExecEnv era → Expr Source # listToExpr ∷ [EpochExecEnv era] → Expr Source #