Safe Haskell	Safe-Inferred
Language	Haskell2010

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

Contents

Orphan instances

Synopsis

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

Documentation

committeeCredentialToStrictMaybe ∷ CommitteeAuthorization → StrictMaybe (Credential 'HotCommitteeRole) Source #

class SpecTranslate ctx a where Source #

Associated Types

type SpecRep a ∷ Type Source #

Methods

toSpecRep ∷ a → SpecTransM ctx (SpecRep a) Source #

Instances

Instances details

SpecTranslate ctx Void Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Void Source # Methods toSpecRep ∷ Void → SpecTransM ctx (SpecRep Void) Source #
SpecTranslate ctx Word16 Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Word16 Source # Methods toSpecRep ∷ Word16 → SpecTransM ctx (SpecRep Word16) Source #
SpecTranslate ctx Word32 Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Word32 Source # Methods toSpecRep ∷ Word32 → SpecTransM ctx (SpecRep Word32) Source #
SpecTranslate ctx Word64 Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Word64 Source # Methods toSpecRep ∷ Word64 → SpecTransM ctx (SpecRep Word64) Source #
SpecTranslate ctx ValidityInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ValidityInterval Source # Methods toSpecRep ∷ ValidityInterval → SpecTransM ctx (SpecRep ValidityInterval) Source #
SpecTranslate ctx OrdExUnits Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep OrdExUnits Source # Methods toSpecRep ∷ OrdExUnits → SpecTransM ctx (SpecRep OrdExUnits) Source #
SpecTranslate ctx IsValid Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep IsValid Source # Methods toSpecRep ∷ IsValid → SpecTransM ctx (SpecRep IsValid) Source #
SpecTranslate ctx CoinPerByte Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep CoinPerByte Source # Methods toSpecRep ∷ CoinPerByte → SpecTransM ctx (SpecRep CoinPerByte) Source #
SpecTranslate ctx GovActionId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep GovActionId Source # Methods toSpecRep ∷ GovActionId → SpecTransM ctx (SpecRep GovActionId) Source #
SpecTranslate ctx GovActionIx Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep GovActionIx Source # Methods toSpecRep ∷ GovActionIx → SpecTransM ctx (SpecRep GovActionIx) Source #
SpecTranslate ctx Vote Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Vote Source # Methods toSpecRep ∷ Vote → SpecTransM ctx (SpecRep Vote) Source #
SpecTranslate ctx Voter Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Voter Source # Methods toSpecRep ∷ Voter → SpecTransM ctx (SpecRep Voter) Source #
SpecTranslate ctx DRepVotingThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep DRepVotingThresholds Source # Methods toSpecRep ∷ DRepVotingThresholds → SpecTransM ctx (SpecRep DRepVotingThresholds) Source #
SpecTranslate ctx PoolVotingThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep PoolVotingThresholds Source # Methods toSpecRep ∷ PoolVotingThresholds → SpecTransM ctx (SpecRep PoolVotingThresholds) Source #
SpecTranslate ctx ConwayDelegCert Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg Associated Types type SpecRep ConwayDelegCert Source # Methods toSpecRep ∷ ConwayDelegCert → SpecTransM ctx (SpecRep ConwayDelegCert) Source #
SpecTranslate ctx ConwayGovCert Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert Associated Types type SpecRep ConwayGovCert Source # Methods toSpecRep ∷ ConwayGovCert → SpecTransM ctx (SpecRep ConwayGovCert) Source #
SpecTranslate ctx Addr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Addr Source # Methods toSpecRep ∷ Addr → SpecTransM ctx (SpecRep Addr) Source #
SpecTranslate ctx BootstrapAddress Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep BootstrapAddress Source # Methods toSpecRep ∷ BootstrapAddress → SpecTransM ctx (SpecRep BootstrapAddress) Source #
SpecTranslate ctx RewardAccount Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep RewardAccount Source # Methods toSpecRep ∷ RewardAccount → SpecTransM ctx (SpecRep RewardAccount) Source #
SpecTranslate ctx Withdrawals Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Withdrawals Source # Methods toSpecRep ∷ Withdrawals → SpecTransM ctx (SpecRep Withdrawals) Source #
SpecTranslate ctx Anchor Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Anchor Source # Methods toSpecRep ∷ Anchor → SpecTransM ctx (SpecRep Anchor) Source #
SpecTranslate ctx Network Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Network Source # Methods toSpecRep ∷ Network → SpecTransM ctx (SpecRep Network) Source #
SpecTranslate ctx NonNegativeInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep NonNegativeInterval Source # Methods toSpecRep ∷ NonNegativeInterval → SpecTransM ctx (SpecRep NonNegativeInterval) Source #
SpecTranslate ctx ProtVer Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ProtVer Source # Methods toSpecRep ∷ ProtVer → SpecTransM ctx (SpecRep ProtVer) Source #
SpecTranslate ctx TxIx Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxIx Source # Methods toSpecRep ∷ TxIx → SpecTransM ctx (SpecRep TxIx) Source #
SpecTranslate ctx UnitInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep UnitInterval Source # Methods toSpecRep ∷ UnitInterval → SpecTransM ctx (SpecRep UnitInterval) Source #
SpecTranslate ctx Url Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Url Source # Methods toSpecRep ∷ Url → SpecTransM ctx (SpecRep Url) Source #
SpecTranslate ctx CommitteeAuthorization Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep CommitteeAuthorization Source # Methods toSpecRep ∷ CommitteeAuthorization → SpecTransM ctx (SpecRep CommitteeAuthorization) Source #
SpecTranslate ctx Coin Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Coin Source # Methods toSpecRep ∷ Coin → SpecTransM ctx (SpecRep Coin) Source #
SpecTranslate ctx DeltaCoin Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep DeltaCoin Source # Methods toSpecRep ∷ DeltaCoin → SpecTransM ctx (SpecRep DeltaCoin) Source #
SpecTranslate ctx PoolCert Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool Associated Types type SpecRep PoolCert Source # Methods toSpecRep ∷ PoolCert → SpecTransM ctx (SpecRep PoolCert) Source #
SpecTranslate ctx StakeReference Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep StakeReference Source # Methods toSpecRep ∷ StakeReference → SpecTransM ctx (SpecRep StakeReference) Source #
SpecTranslate ctx DRep Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep DRep Source # Methods toSpecRep ∷ DRep → SpecTransM ctx (SpecRep DRep) Source #
SpecTranslate ctx SnapShot Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep SnapShot Source # Methods toSpecRep ∷ SnapShot → SpecTransM ctx (SpecRep SnapShot) Source #
SpecTranslate ctx SnapShots Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep SnapShots Source # Methods toSpecRep ∷ SnapShots → SpecTransM ctx (SpecRep SnapShots) Source #
SpecTranslate ctx Stake Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep Stake Source # Methods toSpecRep ∷ Stake → SpecTransM ctx (SpecRep Stake) Source #
SpecTranslate ctx ScriptHash Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ScriptHash Source # Methods toSpecRep ∷ ScriptHash → SpecTransM ctx (SpecRep ScriptHash) Source #
SpecTranslate ctx TxAuxDataHash Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxAuxDataHash Source # Methods toSpecRep ∷ TxAuxDataHash → SpecTransM ctx (SpecRep TxAuxDataHash) Source #
SpecTranslate ctx CostModels Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep CostModels Source # Methods toSpecRep ∷ CostModels → SpecTransM ctx (SpecRep CostModels) Source #
SpecTranslate ctx ExUnits Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ExUnits Source # Methods toSpecRep ∷ ExUnits → SpecTransM ctx (SpecRep ExUnits) Source #
SpecTranslate ctx Prices Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Prices Source # Methods toSpecRep ∷ Prices → SpecTransM ctx (SpecRep Prices) Source #
SpecTranslate ctx IndividualPoolStake Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep IndividualPoolStake Source # Methods toSpecRep ∷ IndividualPoolStake → SpecTransM ctx (SpecRep IndividualPoolStake) Source #
SpecTranslate ctx PoolDistr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep PoolDistr Source # Methods toSpecRep ∷ PoolDistr → SpecTransM ctx (SpecRep PoolDistr) Source #
SpecTranslate ctx PoolParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep PoolParams Source # Methods toSpecRep ∷ PoolParams → SpecTransM ctx (SpecRep PoolParams) Source #
SpecTranslate ctx TxId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxId Source # Methods toSpecRep ∷ TxId → SpecTransM ctx (SpecRep TxId) Source #
SpecTranslate ctx TxIn Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxIn Source # Methods toSpecRep ∷ TxIn → SpecTransM ctx (SpecRep TxIn) Source #
SpecTranslate ctx MaryValue Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep MaryValue Source # Methods toSpecRep ∷ MaryValue → SpecTransM ctx (SpecRep MaryValue) Source #
SpecTranslate ctx AccountState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep AccountState Source # Methods toSpecRep ∷ AccountState → SpecTransM ctx (SpecRep AccountState) Source #
SpecTranslate ctx PulsingRewUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep PulsingRewUpdate Source # Methods toSpecRep ∷ PulsingRewUpdate → SpecTransM ctx (SpecRep PulsingRewUpdate) Source #
SpecTranslate ctx DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep DepositPurpose Source # Methods toSpecRep ∷ DepositPurpose → SpecTransM ctx (SpecRep DepositPurpose) Source #
SpecTranslate ctx EpochInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep EpochInterval Source # Methods toSpecRep ∷ EpochInterval → SpecTransM ctx (SpecRep EpochInterval) Source #
SpecTranslate ctx EpochNo Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep EpochNo Source # Methods toSpecRep ∷ EpochNo → SpecTransM ctx (SpecRep EpochNo) Source #
SpecTranslate ctx SlotNo Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep SlotNo Source # Methods toSpecRep ∷ SlotNo → SpecTransM ctx (SpecRep SlotNo) Source #
SpecTranslate ctx Integer Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Integer Source # Methods toSpecRep ∷ Integer → SpecTransM ctx (SpecRep Integer) Source #
SpecTranslate ctx Bool Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Bool Source # Methods toSpecRep ∷ Bool → SpecTransM ctx (SpecRep Bool) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (OSet a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (OSet a) Source # Methods toSpecRep ∷ OSet a → SpecTransM ctx (SpecRep (OSet a)) Source #
(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate ctx (Timelock era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Timelock era) Source # Methods toSpecRep ∷ Timelock era → SpecTransM ctx (SpecRep (Timelock era)) Source #
(AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate ctx (AlonzoScript era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoScript era) Source # Methods toSpecRep ∷ AlonzoScript era → SpecTransM ctx (SpecRep (AlonzoScript era)) Source #
(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate ctx (PlutusScript era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (PlutusScript era) Source # Methods toSpecRep ∷ PlutusScript era → SpecTransM ctx (SpecRep (PlutusScript era)) Source #
(SpecTranslate ctx (TxWits era), SpecTranslate ctx (TxAuxData era), SpecTranslate ConwayTxBodyTransContext (TxBody era), SpecRep (TxWits era) ~ TxWitnesses, SpecRep (TxAuxData era) ~ AuxiliaryData, SpecRep (TxBody era) ~ TxBody, Tx era ~ AlonzoTx era, EraTx era, BabbageEraTxBody era) ⇒ SpecTranslate ctx (AlonzoTx era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoTx era) Source # Methods toSpecRep ∷ AlonzoTx era → SpecTransM ctx (SpecRep (AlonzoTx era)) Source #
Era era ⇒ SpecTranslate ctx (AlonzoTxAuxData era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoTxAuxData era) Source # Methods toSpecRep ∷ AlonzoTxAuxData era → SpecTransM ctx (SpecRep (AlonzoTxAuxData era)) Source #
(AlonzoEraScript era, SpecTranslate ctx (PlutusPurpose AsIx era), SpecRep (PlutusPurpose AsIx era) ~ RdmrPtr, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate ctx (AlonzoTxWits era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoTxWits era) Source # Methods toSpecRep ∷ AlonzoTxWits era → SpecTransM ctx (SpecRep (AlonzoTxWits era)) Source #
(AlonzoEraScript era, SpecTranslate ctx (PlutusPurpose AsIx era)) ⇒ SpecTranslate ctx (Redeemers era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Redeemers era) Source # Methods toSpecRep ∷ Redeemers era → SpecTransM ctx (SpecRep (Redeemers era)) Source #
Era era ⇒ SpecTranslate ctx (TxDats era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (TxDats era) Source # Methods toSpecRep ∷ TxDats era → SpecTransM ctx (SpecRep (TxDats era)) Source #
(EraTxOut era, SpecRep (Value era) ~ Coin, Script era ~ AlonzoScript era, SpecTranslate ctx (Value era), SpecTranslate ctx (Script era)) ⇒ SpecTranslate ctx (BabbageTxOut era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (BabbageTxOut era) Source # Methods toSpecRep ∷ BabbageTxOut era → SpecTransM ctx (SpecRep (BabbageTxOut era)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (Sized a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Sized a) Source # Methods toSpecRep ∷ Sized a → SpecTransM ctx (SpecRep (Sized a)) Source #
SpecTranslate ctx (ConwayExecEnactEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayExecEnactEnv era) Source # Methods toSpecRep ∷ ConwayExecEnactEnv era → SpecTransM ctx (SpecRep (ConwayExecEnactEnv era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (EnactState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (EnactState era) Source # Methods toSpecRep ∷ EnactState era → SpecTransM ctx (SpecRep (EnactState era)) Source #
Inject ctx Coin ⇒ SpecTranslate ctx (RatifyEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (RatifyEnv era) Source # Methods toSpecRep ∷ RatifyEnv era → SpecTransM ctx (SpecRep (RatifyEnv era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (RatifySignal era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (RatifySignal era) Source # Methods toSpecRep ∷ RatifySignal era → SpecTransM ctx (SpecRep (RatifySignal era)) Source #
(EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecTranslate ctx (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (RatifyState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (RatifyState era) Source # Methods toSpecRep ∷ RatifyState era → SpecTransM ctx (SpecRep (RatifyState era)) Source #
SpecTranslate ctx (Committee era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Committee era) Source # Methods toSpecRep ∷ Committee era → SpecTransM ctx (SpecRep (Committee era)) Source #
SpecTranslate ctx (Constitution era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Constitution era) Source # Methods toSpecRep ∷ Constitution era → SpecTransM ctx (SpecRep (Constitution era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovAction era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (GovAction era) Source # Methods toSpecRep ∷ GovAction era → SpecTransM ctx (SpecRep (GovAction era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovActionState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (GovActionState era) Source # Methods toSpecRep ∷ GovActionState era → SpecTransM ctx (SpecRep (GovActionState era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (ProposalProcedure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ProposalProcedure era) Source # Methods toSpecRep ∷ ProposalProcedure era → SpecTransM ctx (SpecRep (ProposalProcedure era)) Source #
SpecTranslate ctx (VotingProcedures era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (VotingProcedures era) Source # Methods toSpecRep ∷ VotingProcedures era → SpecTransM ctx (SpecRep (VotingProcedures era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (Proposals era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Proposals era) Source # Methods toSpecRep ∷ Proposals era → SpecTransM ctx (SpecRep (Proposals era)) Source #
(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map RewardAccount Coin)) ⇒ SpecTranslate ctx (CertEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (CertEnv era) Source # Methods toSpecRep ∷ CertEnv era → SpecTransM ctx (SpecRep (CertEnv era)) Source #
(ToExpr (PredicateFailure (EraRule "DELEG" era)), ToExpr (PredicateFailure (EraRule "GOVCERT" era)), ToExpr (PredicateFailure (EraRule "POOL" era))) ⇒ SpecTranslate ctx (ConwayCertPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayCertPredFailure era) Source # Methods toSpecRep ∷ ConwayCertPredFailure era → SpecTransM ctx (SpecRep (ConwayCertPredFailure era)) Source #
(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map RewardAccount Coin)) ⇒ SpecTranslate ctx (CertsEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs Associated Types type SpecRep (CertsEnv era) Source # Methods toSpecRep ∷ CertsEnv era → SpecTransM ctx (SpecRep (CertsEnv era)) Source #
ToExpr (PredicateFailure (EraRule "CERT" era)) ⇒ SpecTranslate ctx (ConwayCertsPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs Associated Types type SpecRep (ConwayCertsPredFailure era) Source # Methods toSpecRep ∷ ConwayCertsPredFailure era → SpecTransM ctx (SpecRep (ConwayCertsPredFailure era)) Source #
(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (Set (Credential 'DRepRole))) ⇒ SpecTranslate ctx (ConwayDelegEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg Associated Types type SpecRep (ConwayDelegEnv era) Source # Methods toSpecRep ∷ ConwayDelegEnv era → SpecTransM ctx (SpecRep (ConwayDelegEnv era)) Source #
SpecTranslate ctx (ConwayDelegPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg Associated Types type SpecRep (ConwayDelegPredFailure era) Source # Methods toSpecRep ∷ ConwayDelegPredFailure era → SpecTransM ctx (SpecRep (ConwayDelegPredFailure era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (EnactSignal era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (EnactSignal era) Source # Methods toSpecRep ∷ EnactSignal era → SpecTransM ctx (SpecRep (EnactSignal era)) Source #
(EraPParams era, ToExpr (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (ConwayGovPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayGovPredFailure era) Source # Methods toSpecRep ∷ ConwayGovPredFailure era → SpecTransM ctx (SpecRep (ConwayGovPredFailure era)) Source #
(SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (EnactState era), EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (CertState era), SpecRep (CertState era) ~ CertState) ⇒ SpecTranslate ctx (GovEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov Associated Types type SpecRep (GovEnv era) Source # Methods toSpecRep ∷ GovEnv era → SpecTransM ctx (SpecRep (GovEnv era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovSignal era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov Associated Types type SpecRep (GovSignal era) Source # Methods toSpecRep ∷ GovSignal era → SpecTransM ctx (SpecRep (GovSignal era)) Source #
(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map RewardAccount Coin)) ⇒ SpecTranslate ctx (ConwayGovCertEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert Associated Types type SpecRep (ConwayGovCertEnv era) Source # Methods toSpecRep ∷ ConwayGovCertEnv era → SpecTransM ctx (SpecRep (ConwayGovCertEnv era)) Source #
SpecTranslate ctx (ConwayGovCertPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert Associated Types type SpecRep (ConwayGovCertPredFailure era) Source # Methods toSpecRep ∷ ConwayGovCertPredFailure era → SpecTransM ctx (SpecRep (ConwayGovCertPredFailure era)) Source #
(ToExpr (PredicateFailure (EraRule "GOV" era)), ToExpr (PredicateFailure (EraRule "CERTS" era)), ToExpr (PredicateFailure (EraRule "UTXOW" era))) ⇒ SpecTranslate ctx (ConwayLedgerPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger Associated Types type SpecRep (ConwayLedgerPredFailure era) Source # Methods toSpecRep ∷ ConwayLedgerPredFailure era → SpecTransM ctx (SpecRep (ConwayLedgerPredFailure era)) Source #
SpecTranslate ctx (ConwayNewEpochPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (ConwayNewEpochPredFailure era) Source # Methods toSpecRep ∷ ConwayNewEpochPredFailure era → SpecTransM ctx (SpecRep (ConwayNewEpochPredFailure era)) Source #
(ToExpr (Value era), ToExpr (TxOut era), ToExpr (PredicateFailure (EraRule "UTXOS" era))) ⇒ SpecTranslate ctx (ConwayUtxoPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxo Associated Types type SpecRep (ConwayUtxoPredFailure era) Source # Methods toSpecRep ∷ ConwayUtxoPredFailure era → SpecTransM ctx (SpecRep (ConwayUtxoPredFailure era)) Source #
(Era era, ToExpr (PlutusPurpose AsIx era), ToExpr (PlutusPurpose AsItem era), ToExpr (PredicateFailure (EraRule "UTXO" era)), ToExpr (TxCert era)) ⇒ SpecTranslate ctx (ConwayUtxowPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxow Associated Types type SpecRep (ConwayUtxowPredFailure era) Source # Methods toSpecRep ∷ ConwayUtxowPredFailure era → SpecTransM ctx (SpecRep (ConwayUtxowPredFailure era)) Source #
(ConwayEraTxBody era, TxBody era ~ ConwayTxBody era, SpecRep (TxOut era) ~ TxOut, SpecRep (ConwayTxCert era) ~ DCert, SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, TxCert era ~ ConwayTxCert era, Share (TxOut era) ~ Interns (Credential 'Staking), Inject ctx Integer, Inject ctx TxId, SpecTranslate ctx (TxOut era), SpecTranslate ctx (ConwayTxCert era), SpecTranslate ctx (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (ConwayTxBody era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayTxBody era) Source # Methods toSpecRep ∷ ConwayTxBody era → SpecTransM ctx (SpecRep (ConwayTxBody era)) Source #
Era era ⇒ SpecTranslate ctx (ConwayTxCert era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (ConwayTxCert era) Source # Methods toSpecRep ∷ ConwayTxCert era → SpecTransM ctx (SpecRep (ConwayTxCert era)) Source #
SpecTranslate ctx (CertState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (CertState era) Source # Methods toSpecRep ∷ CertState era → SpecTransM ctx (SpecRep (CertState era)) Source #
SpecTranslate ctx (CommitteeState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (CommitteeState era) Source # Methods toSpecRep ∷ CommitteeState era → SpecTransM ctx (SpecRep (CommitteeState era)) Source #
SpecTranslate ctx (DState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg Associated Types type SpecRep (DState era) Source # Methods toSpecRep ∷ DState era → SpecTransM ctx (SpecRep (DState era)) Source #
SpecTranslate ctx (PState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool Associated Types type SpecRep (PState era) Source # Methods toSpecRep ∷ PState era → SpecTransM ctx (SpecRep (PState era)) Source #
SpecTranslate ctx (VState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert Associated Types type SpecRep (VState era) Source # Methods toSpecRep ∷ VState era → SpecTransM ctx (SpecRep (VState era)) Source #
(SpecTranslate ctx a, Compactible a) ⇒ SpecTranslate ctx (CompactForm a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (CompactForm a) Source # Methods toSpecRep ∷ CompactForm a → SpecTransM ctx (SpecRep (CompactForm a)) Source #
SpecTranslate ctx (PParamsHKD Identity era) ⇒ SpecTranslate ctx (PParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (PParams era) Source # Methods toSpecRep ∷ PParams era → SpecTransM ctx (SpecRep (PParams era)) Source #
SpecTranslate ctx (PParamsHKD StrictMaybe era) ⇒ SpecTranslate ctx (PParamsUpdate era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (PParamsUpdate era) Source # Methods toSpecRep ∷ PParamsUpdate era → SpecTransM ctx (SpecRep (PParamsUpdate era)) Source #
SpecTranslate ctx (Credential k) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Credential k) Source # Methods toSpecRep ∷ Credential k → SpecTransM ctx (SpecRep (Credential k)) Source #
SpecTranslate ctx (KeyHash r) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (KeyHash r) Source # Methods toSpecRep ∷ KeyHash r → SpecTransM ctx (SpecRep (KeyHash r)) Source #
SpecTranslate ctx (SafeHash a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (SafeHash a) Source # Methods toSpecRep ∷ SafeHash a → SpecTransM ctx (SpecRep (SafeHash a)) Source #
SpecTranslate ctx (VKey k) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (VKey k) Source # Methods toSpecRep ∷ VKey k → SpecTransM ctx (SpecRep (VKey k)) Source #
Typeable k ⇒ SpecTranslate ctx (WitVKey k) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (WitVKey k) Source # Methods toSpecRep ∷ WitVKey k → SpecTransM ctx (SpecRep (WitVKey k)) Source #
(SpecRep DataHash ~ DataHash, Era era) ⇒ SpecTranslate ctx (BinaryData era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (BinaryData era) Source # Methods toSpecRep ∷ BinaryData era → SpecTransM ctx (SpecRep (BinaryData era)) Source #
Era era ⇒ SpecTranslate ctx (Data era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Data era) Source # Methods toSpecRep ∷ Data era → SpecTransM ctx (SpecRep (Data era)) Source #
Era era ⇒ SpecTranslate ctx (Datum era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Datum era) Source # Methods toSpecRep ∷ Datum era → SpecTransM ctx (SpecRep (Datum era)) Source #
(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut) ⇒ SpecTranslate ctx (UTxO era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (UTxO era) Source # Methods toSpecRep ∷ UTxO era → SpecTransM ctx (SpecRep (UTxO era)) Source #
(EraPParams era, ConwayEraGov era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era)) ⇒ SpecTranslate ctx (EpochState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (EpochState era) Source # Methods toSpecRep ∷ EpochState era → SpecTransM ctx (SpecRep (EpochState era)) Source #
(ConwayEraGov era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era)) ⇒ SpecTranslate ctx (LedgerState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (LedgerState era) Source # Methods toSpecRep ∷ LedgerState era → SpecTransM ctx (SpecRep (LedgerState era)) Source #
(EraPParams era, ConwayEraGov era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era)) ⇒ SpecTranslate ctx (NewEpochState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (NewEpochState era) Source # Methods toSpecRep ∷ NewEpochState era → SpecTransM ctx (SpecRep (NewEpochState era)) Source #
(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, Inject ctx (CertState era)) ⇒ SpecTranslate ctx (UTxOState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (UTxOState era) Source # Methods toSpecRep ∷ UTxOState era → SpecTransM ctx (SpecRep (UTxOState era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (StrictMaybe ScriptHash), Inject ctx (EnactState era)) ⇒ SpecTranslate ctx (LedgerEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger Associated Types type SpecRep (LedgerEnv era) Source # Methods toSpecRep ∷ LedgerEnv era → SpecTransM ctx (SpecRep (LedgerEnv era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (EnactState era), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (ShelleyLedgersEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers Associated Types type SpecRep (ShelleyLedgersEnv era) Source # Methods toSpecRep ∷ ShelleyLedgersEnv era → SpecTransM ctx (SpecRep (ShelleyLedgersEnv era)) Source #
ToExpr (PredicateFailure (EraRule "LEDGER" era)) ⇒ SpecTranslate ctx (ShelleyLedgersPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers Associated Types type SpecRep (ShelleyLedgersPredFailure era) Source # Methods toSpecRep ∷ ShelleyLedgersPredFailure era → SpecTransM ctx (SpecRep (ShelleyLedgersPredFailure era)) Source #
(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (PoolEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool Associated Types type SpecRep (PoolEnv era) Source # Methods toSpecRep ∷ PoolEnv era → SpecTransM ctx (SpecRep (PoolEnv era)) Source #
SpecTranslate ctx (ShelleyPoolPredFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool Associated Types type SpecRep (ShelleyPoolPredFailure era) Source # Methods toSpecRep ∷ ShelleyPoolPredFailure era → SpecTransM ctx (SpecRep (ShelleyPoolPredFailure era)) Source #
(SpecRep (PParams era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (UtxoEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxo Associated Types type SpecRep (UtxoEnv era) Source # Methods toSpecRep ∷ UtxoEnv era → SpecTransM ctx (SpecRep (UtxoEnv era)) Source #
SpecTranslate ctx (EpochExecEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (EpochExecEnv era) Source # Methods toSpecRep ∷ EpochExecEnv era → SpecTransM ctx (SpecRep (EpochExecEnv era)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictMaybe a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (StrictMaybe a) Source # Methods toSpecRep ∷ StrictMaybe a → SpecTransM ctx (SpecRep (StrictMaybe a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictSeq a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (StrictSeq a) Source # Methods toSpecRep ∷ StrictSeq a → SpecTransM ctx (SpecRep (StrictSeq a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (Seq a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Seq a) Source # Methods toSpecRep ∷ Seq a → SpecTransM ctx (SpecRep (Seq a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (Set a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Set a) Source # Methods toSpecRep ∷ Set a → SpecTransM ctx (SpecRep (Set a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (Maybe a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Maybe a) Source # Methods toSpecRep ∷ Maybe a → SpecTransM ctx (SpecRep (Maybe a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx [a] Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep [a] Source # Methods toSpecRep ∷ [a] → SpecTransM ctx (SpecRep [a]) Source #
DSIGNAlgorithm v ⇒ SpecTranslate ctx (SignedDSIGN v a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (SignedDSIGN v a) Source # Methods toSpecRep ∷ SignedDSIGN v a → SpecTransM ctx (SpecRep (SignedDSIGN v a)) Source #
SpecTranslate ctx (Hash a b) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Hash a b) Source # Methods toSpecRep ∷ Hash a b → SpecTransM ctx (SpecRep (Hash a b)) Source #
(SpecTranslate ctx k, SpecTranslate ctx v, Ord k) ⇒ SpecTranslate ctx (OMap k v) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (OMap k v) Source # Methods toSpecRep ∷ OMap k v → SpecTransM ctx (SpecRep (OMap k v)) Source #
SpecTranslate ctx (AlonzoPlutusPurpose AsIx era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoPlutusPurpose AsIx era) Source # Methods toSpecRep ∷ AlonzoPlutusPurpose AsIx era → SpecTransM ctx (SpecRep (AlonzoPlutusPurpose AsIx era)) Source #
SpecTranslate ctx (GovPurposeId r c) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (GovPurposeId r c) Source # Methods toSpecRep ∷ GovPurposeId r c → SpecTransM ctx (SpecRep (GovPurposeId r c)) Source #
SpecTranslate ctx (ConwayPParams Identity era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayPParams Identity era) Source # Methods toSpecRep ∷ ConwayPParams Identity era → SpecTransM ctx (SpecRep (ConwayPParams Identity era)) Source #
SpecTranslate ctx (ConwayPParams StrictMaybe era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayPParams StrictMaybe era) Source # Methods toSpecRep ∷ ConwayPParams StrictMaybe era → SpecTransM ctx (SpecRep (ConwayPParams StrictMaybe era)) Source #
SpecTranslate ctx (ConwayPlutusPurpose AsIx era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayPlutusPurpose AsIx era) Source # Methods toSpecRep ∷ ConwayPlutusPurpose AsIx era → SpecTransM ctx (SpecRep (ConwayPlutusPurpose AsIx era)) Source #
(SpecTranslate ctx k, SpecTranslate ctx v) ⇒ SpecTranslate ctx (Map k v) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Map k v) Source # Methods toSpecRep ∷ Map k v → SpecTransM ctx (SpecRep (Map k v)) Source #
(SpecTranslate ctx a, SpecTranslate ctx b) ⇒ SpecTranslate ctx (a, b) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (a, b) Source # Methods toSpecRep ∷ (a, b) → SpecTransM ctx (SpecRep (a, b)) Source #
SpecTranslate ctx (HKD f a) ⇒ SpecTranslate ctx (THKD r f a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (THKD r f a) Source # Methods toSpecRep ∷ THKD r f a → SpecTransM ctx (SpecRep (THKD r f a)) Source #

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 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-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ConwayExecEnactEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "ceeeGid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GovActionId) :: (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 Source #

Constructors

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

Instances

Instances details

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

data ConwayTxBodyTransContext Source #

Constructors

ConwayTxBodyTransContext
Fields ctbtcSizeTx ∷ !Integer ctbtcTxId ∷ !TxId

Instances

Instances details

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

vkeyToInteger ∷ VKey kd → Integer Source #

vkeyFromInteger ∷ Integer → Maybe (VKey kd) 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 GovActionId Source #
Instance details Associated Types type SpecRep GovActionId Source # Methods toSpecRep ∷ GovActionId → SpecTransM ctx (SpecRep GovActionId) 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 Voter Source #
Instance details Associated Types type SpecRep Voter Source # Methods toSpecRep ∷ Voter → SpecTransM ctx (SpecRep Voter) 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 Addr Source #
Instance details Associated Types type SpecRep Addr Source # Methods toSpecRep ∷ Addr → SpecTransM ctx (SpecRep Addr) Source #
SpecTranslate ctx BootstrapAddress Source #
Instance details Associated Types type SpecRep BootstrapAddress Source # Methods toSpecRep ∷ BootstrapAddress → SpecTransM ctx (SpecRep BootstrapAddress) Source #
SpecTranslate ctx RewardAccount Source #
Instance details Associated Types type SpecRep RewardAccount Source # Methods toSpecRep ∷ RewardAccount → SpecTransM ctx (SpecRep RewardAccount) Source #
SpecTranslate ctx Withdrawals Source #
Instance details Associated Types type SpecRep Withdrawals Source # Methods toSpecRep ∷ Withdrawals → SpecTransM ctx (SpecRep Withdrawals) Source #
SpecTranslate ctx Anchor Source #
Instance details Associated Types type SpecRep Anchor Source # Methods toSpecRep ∷ Anchor → SpecTransM ctx (SpecRep Anchor) 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 CommitteeAuthorization Source #
Instance details Associated Types type SpecRep CommitteeAuthorization Source # Methods toSpecRep ∷ CommitteeAuthorization → SpecTransM ctx (SpecRep CommitteeAuthorization) Source #
SpecTranslate ctx Coin Source #
Instance details Associated Types type SpecRep Coin Source # Methods toSpecRep ∷ Coin → SpecTransM ctx (SpecRep Coin) Source #
SpecTranslate ctx StakeReference Source #
Instance details Associated Types type SpecRep StakeReference Source # Methods toSpecRep ∷ StakeReference → SpecTransM ctx (SpecRep StakeReference) Source #
SpecTranslate ctx DRep Source #
Instance details Associated Types type SpecRep DRep Source # Methods toSpecRep ∷ DRep → SpecTransM ctx (SpecRep DRep) Source #
SpecTranslate ctx ScriptHash Source #
Instance details Associated Types type SpecRep ScriptHash Source # Methods toSpecRep ∷ ScriptHash → SpecTransM ctx (SpecRep ScriptHash) Source #
SpecTranslate ctx TxAuxDataHash Source #
Instance details Associated Types type SpecRep TxAuxDataHash Source # Methods toSpecRep ∷ TxAuxDataHash → SpecTransM ctx (SpecRep TxAuxDataHash) 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 IndividualPoolStake Source #
Instance details Associated Types type SpecRep IndividualPoolStake Source # Methods toSpecRep ∷ IndividualPoolStake → SpecTransM ctx (SpecRep IndividualPoolStake) Source #
SpecTranslate ctx PoolDistr Source #
Instance details Associated Types type SpecRep PoolDistr Source # Methods toSpecRep ∷ PoolDistr → SpecTransM ctx (SpecRep PoolDistr) Source #
SpecTranslate ctx PoolParams Source #
Instance details Associated Types type SpecRep PoolParams Source # Methods toSpecRep ∷ PoolParams → SpecTransM ctx (SpecRep PoolParams) Source #
SpecTranslate ctx TxId Source #
Instance details Associated Types type SpecRep TxId Source # Methods toSpecRep ∷ TxId → SpecTransM ctx (SpecRep TxId) Source #
SpecTranslate ctx TxIn Source #
Instance details Associated Types type SpecRep TxIn Source # Methods toSpecRep ∷ TxIn → SpecTransM ctx (SpecRep TxIn) Source #
SpecTranslate ctx MaryValue Source #
Instance details Associated Types type SpecRep MaryValue Source # Methods toSpecRep ∷ MaryValue → SpecTransM ctx (SpecRep MaryValue) Source #
SpecTranslate ctx DepositPurpose Source #
Instance details Associated Types type SpecRep DepositPurpose Source # Methods toSpecRep ∷ DepositPurpose → SpecTransM ctx (SpecRep DepositPurpose) 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 (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 #
(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 (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), Inject ctx Integer, Inject ctx TxId, SpecTranslate ctx (TxOut era), SpecTranslate ctx (ConwayTxCert era), SpecTranslate ctx (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (ConwayTxBody era) Source #
Instance details Associated Types type SpecRep (ConwayTxBody era) Source # Methods toSpecRep ∷ ConwayTxBody era → SpecTransM ctx (SpecRep (ConwayTxBody era)) 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 (Credential k) Source #
Instance details Associated Types type SpecRep (Credential k) Source # Methods toSpecRep ∷ Credential k → SpecTransM ctx (SpecRep (Credential k)) Source #
SpecTranslate ctx (KeyHash r) Source #
Instance details Associated Types type SpecRep (KeyHash r) Source # Methods toSpecRep ∷ KeyHash r → SpecTransM ctx (SpecRep (KeyHash r)) Source #
SpecTranslate ctx (SafeHash a) Source #
Instance details Associated Types type SpecRep (SafeHash a) Source # Methods toSpecRep ∷ SafeHash a → SpecTransM ctx (SpecRep (SafeHash a)) Source #
SpecTranslate ctx (VKey k) Source #
Instance details Associated Types type SpecRep (VKey k) Source # Methods toSpecRep ∷ VKey k → SpecTransM ctx (SpecRep (VKey k)) Source #
Typeable k ⇒ SpecTranslate ctx (WitVKey k) Source #
Instance details Associated Types type SpecRep (WitVKey k) Source # Methods toSpecRep ∷ WitVKey k → SpecTransM ctx (SpecRep (WitVKey k)) Source #
(SpecRep DataHash ~ DataHash, Era era) ⇒ SpecTranslate ctx (BinaryData era) Source #
Instance details 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 (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 #
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 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 #
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 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 #
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 #