Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Synopsis

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

Documentation

class SpecTranslate ctx a where Source #

Associated Types

type SpecRep a Source #

Methods

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

Instances

Instances details

SpecTranslate ctx ValidityInterval Source #

Instance details

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

Associated Types

type SpecRep ValidityInterval
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ValidityInterval = (Maybe Integer, Maybe Integer)

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep OrdExUnits = SpecRep ExUnits

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep IsValid = Bool

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep CoinPerByte = SpecRep Coin

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep GovActionId = GovActionID

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep GovActionIx = Integer

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep Vote = Vote

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep Voter = GovVoter

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep DRepVotingThresholds = DrepThresholds

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep PoolVotingThresholds = PoolThresholds

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg type SpecRep ConwayDelegCert = DCert

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert type SpecRep ConwayGovCert = DCert

Methods

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

SpecTranslate ctx Addr Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep Addr
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep Addr = Addr

Methods

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

SpecTranslate ctx BootstrapAddress Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep BootstrapAddress
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep BootstrapAddress = BootstrapAddr

Methods

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

SpecTranslate ctx RewardAccount Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep RewardAccount
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep RewardAccount = RewardAddress

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep Withdrawals = Withdrawals

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep Anchor = Anchor

Methods

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

SpecTranslate ctx BlocksMade Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep BlocksMade
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep BlocksMade = HSMap Integer Integer

Methods

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

SpecTranslate ctx Network Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep Network
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep Network = Integer

Methods

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

SpecTranslate ctx NonNegativeInterval Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep NonNegativeInterval
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep NonNegativeInterval = Rational

Methods

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

SpecTranslate ctx ProtVer Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep ProtVer
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep ProtVer = (Integer, Integer)

Methods

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

SpecTranslate ctx TxIx Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep TxIx
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep TxIx = Integer

Methods

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

SpecTranslate ctx UnitInterval Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep UnitInterval
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep UnitInterval = Rational

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep Url = Text

Methods

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

SpecTranslate ctx Coin Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep Coin
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep Coin = SpecRep Integer

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep DeltaCoin = Integer

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool type SpecRep PoolCert = DCert

Methods

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

SpecTranslate ctx StakeReference Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep StakeReference
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep StakeReference = Maybe Credential

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep DRep = VDeleg

Methods

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

SpecTranslate ctx ScriptHash Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep ScriptHash
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep ScriptHash = Integer

Methods

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

SpecTranslate ctx TxAuxDataHash Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep TxAuxDataHash
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep TxAuxDataHash = DataHash

Methods

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

SpecTranslate ctx CostModels Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep CostModels
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep CostModels = ()

Methods

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

SpecTranslate ctx ExUnits Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep ExUnits
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep ExUnits = ExUnits

Methods

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

SpecTranslate ctx Prices Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep Prices
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep Prices = ()

Methods

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

SpecTranslate ctx CommitteeAuthorization Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep CommitteeAuthorization
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep CommitteeAuthorization = SpecRep (Maybe (Credential 'HotCommitteeRole))

Methods

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

SpecTranslate ctx ChainAccountState Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep ChainAccountState
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep ChainAccountState = Acnt

Methods

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

SpecTranslate ctx IndividualPoolStake Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep IndividualPoolStake
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep IndividualPoolStake = SpecRep Coin

Methods

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

SpecTranslate ctx PoolDistr Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep PoolDistr
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep PoolDistr = HSMap (SpecRep (KeyHash 'StakePool)) Coin

Methods

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

SpecTranslate ctx SnapShot Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep SnapShot
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep SnapShot = Snapshot

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep SnapShots = Snapshots

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep Stake = HSMap Credential Coin

Methods

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

SpecTranslate ctx StakePoolParams Source #

Instance details

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

Associated Types

type SpecRep StakePoolParams
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep StakePoolParams = StakePoolParams

Methods

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

SpecTranslate ctx TxId Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep TxId
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep TxId = TxId

Methods

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

SpecTranslate ctx TxIn Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep TxIn
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep TxIn = TxIn

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
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep MaryValue = Coin

Methods

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

SpecTranslate ctx PulsingRewUpdate Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep PulsingRewUpdate
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep PulsingRewUpdate = HsRewardUpdate

Methods

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

SpecTranslate ctx EpochInterval Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep EpochInterval
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep EpochInterval = SpecRep Word32

Methods

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

SpecTranslate ctx EpochNo Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep EpochNo
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep EpochNo = SpecRep Word64

Methods

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

SpecTranslate ctx SlotNo Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep SlotNo
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep SlotNo = SpecRep Word64

Methods

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

SpecTranslate ctx Void Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep Void
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep Void = Void

Methods

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

SpecTranslate ctx Word16 Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep Word16
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep Word16 = Integer

Methods

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

SpecTranslate ctx Word32 Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep Word32
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep Word32 = Integer

Methods

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

SpecTranslate ctx Word64 Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep Word64
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep Word64 = Integer

Methods

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

SpecTranslate ctx Integer Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep Integer
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep Integer = Integer

Methods

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

SpecTranslate ctx () Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep ()
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep () = ()

Methods

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

SpecTranslate ctx Bool Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep Bool
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep Bool = Bool

Methods

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

SpecTranslate ctx a ⇒ SpecTranslate ctx (OSet a) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (OSet a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (OSet a) = [SpecRep a]

Methods

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

(AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate ctx (AlonzoScript era) Source #

Instance details

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

Associated Types

type SpecRep (AlonzoScript era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (AlonzoScript era) = Script

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (PlutusScript era) = HSPlutusScript

Methods

toSpecRep ∷ PlutusScript era → SpecTransM ctx (SpecRep (PlutusScript era)) Source #

Era era ⇒ SpecTranslate ctx (AlonzoTxAuxData era) Source #

Instance details

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

Associated Types

type SpecRep (AlonzoTxAuxData era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (AlonzoTxAuxData era) = AuxiliaryData

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (AlonzoTxWits era) = TxWitnesses

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (Redeemers era) = HSMap (SpecRep (PlutusPurpose AsIx era)) (Redeemer, ExUnits)

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (TxDats era) = HSSet Datum

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (BabbageTxOut era) = TxOut

Methods

toSpecRep ∷ BabbageTxOut era → SpecTransM ctx (SpecRep (BabbageTxOut era)) Source #

SpecTranslate ctx a ⇒ SpecTranslate ctx (Sized a) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (Sized a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (Sized a) = SpecRep a

Methods

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

(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (EnactState era) Source #

Instance details

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

Associated Types

type SpecRep (EnactState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (EnactState era) = EnactState

Methods

toSpecRep ∷ EnactState era → SpecTransM ctx (SpecRep (EnactState era)) Source #

(Inject ctx Coin, ConwayEraAccounts era) ⇒ SpecTranslate ctx (RatifyEnv era) Source #

Instance details

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

Associated Types

type SpecRep (RatifyEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (RatifyEnv era) = RatifyEnv

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (RatifySignal era) = SpecRep [(GovActionId, GovActionState era)]

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (RatifyState era) = RatifyState

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (Committee era) = (HSMap Credential Epoch, Rational)

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (Constitution era) = (DataHash, Maybe ScriptHash)

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (GovAction era) = GovAction

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (GovActionState era) = GovActionState

Methods

toSpecRep ∷ GovActionState era → SpecTransM ctx (SpecRep (GovActionState era)) Source #

SpecTranslate ctx (GovPurposeId r) Source #

Instance details

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

Associated Types

type SpecRep (GovPurposeId r)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (GovPurposeId r) = (TxId, Integer)

Methods

toSpecRep ∷ GovPurposeId r → SpecTransM ctx (SpecRep (GovPurposeId r)) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (ProposalProcedure era) Source #

Instance details

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

Associated Types

type SpecRep (ProposalProcedure era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (ProposalProcedure era) = GovProposal

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (VotingProcedures era) = [GovVote]

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (Proposals era) = GovState

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep (CertEnv era) = CertEnv

Methods

toSpecRep ∷ CertEnv era → SpecTransM ctx (SpecRep (CertEnv era)) Source #

(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map RewardAccount Coin)) ⇒ SpecTranslate ctx (CertsEnv era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs

Associated Types

type SpecRep (CertsEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs type SpecRep (CertsEnv era) = CertEnv

Methods

toSpecRep ∷ CertsEnv era → SpecTransM ctx (SpecRep (CertsEnv era)) Source #

(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (Set (Credential 'DRepRole))) ⇒ SpecTranslate ctx (ConwayDelegEnv era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg

Associated Types

type SpecRep (ConwayDelegEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg type SpecRep (ConwayDelegEnv era) = DelegEnv

Methods

toSpecRep ∷ ConwayDelegEnv era → SpecTransM ctx (SpecRep (ConwayDelegEnv era)) Source #

(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (EnactSignal era) Source #

Instance details

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

Associated Types

type SpecRep (EnactSignal era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (EnactSignal era) = SpecRep (GovAction era)

Methods

toSpecRep ∷ EnactSignal era → SpecTransM ctx (SpecRep (EnactSignal era)) Source #

(SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (EnactState era), EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (CertState era), SpecRep (CertState era) ~ CertState, EraCertState era) ⇒ SpecTranslate ctx (GovEnv era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov

Associated Types

type SpecRep (GovEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov type SpecRep (GovEnv era) = GovEnv

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov type SpecRep (GovSignal era) = [Either GovVote GovProposal]

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert type SpecRep (ConwayGovCertEnv era) = CertEnv

Methods

toSpecRep ∷ ConwayGovCertEnv era → SpecTransM ctx (SpecRep (ConwayGovCertEnv era)) Source #

ConwayEraAccounts era ⇒ SpecTranslate ctx (ConwayCertState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (ConwayCertState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep (ConwayCertState era) = CertState

Methods

toSpecRep ∷ ConwayCertState era → SpecTransM ctx (SpecRep (ConwayCertState era)) Source #

SpecTranslate ctx (VState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert

Associated Types

type SpecRep (VState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert type SpecRep (VState era) = GState

Methods

toSpecRep ∷ VState era → SpecTransM ctx (SpecRep (VState era)) Source #

Era era ⇒ SpecTranslate ctx (ConwayTxCert era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (ConwayTxCert era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep (ConwayTxCert era) = DCert

Methods

toSpecRep ∷ ConwayTxCert era → SpecTransM ctx (SpecRep (ConwayTxCert era)) Source #

(SpecTranslate ctx a, Compactible a) ⇒ SpecTranslate ctx (CompactForm a) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (CompactForm a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (CompactForm a) = SpecRep a

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.Core

Associated Types

type SpecRep (PParams era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (PParams era) = SpecRep (PParamsHKD Identity era)

Methods

toSpecRep ∷ PParams era → SpecTransM ctx (SpecRep (PParams era)) Source #

SpecTranslate ctx (PParamsHKD StrictMaybe era) ⇒ SpecTranslate ctx (PParamsUpdate era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (PParamsUpdate era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (PParamsUpdate era) = SpecRep (PParamsHKD StrictMaybe era)

Methods

toSpecRep ∷ PParamsUpdate era → SpecTransM ctx (SpecRep (PParamsUpdate era)) Source #

SpecTranslate ctx (Credential k) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (Credential k)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (Credential k) = Credential

Methods

toSpecRep ∷ Credential k → SpecTransM ctx (SpecRep (Credential k)) Source #

SpecTranslate ctx (KeyHash r) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (KeyHash r)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (KeyHash r) = Integer

Methods

toSpecRep ∷ KeyHash r → SpecTransM ctx (SpecRep (KeyHash r)) Source #

SpecTranslate ctx (SafeHash a) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (SafeHash a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (SafeHash a) = DataHash

Methods

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

SpecTranslate ctx (VKey k) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (VKey k)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (VKey k) = HSVKey

Methods

toSpecRep ∷ VKey k → SpecTransM ctx (SpecRep (VKey k)) Source #

SpecTranslate ctx (WitVKey k) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (WitVKey k)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (WitVKey k) = (SpecRep (VKey k), Integer)

Methods

toSpecRep ∷ WitVKey k → SpecTransM ctx (SpecRep (WitVKey k)) Source #

(SpecRep DataHash ~ DataHash, Era era) ⇒ SpecTranslate ctx (BinaryData era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (BinaryData era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (BinaryData era) = DataHash

Methods

toSpecRep ∷ BinaryData era → SpecTransM ctx (SpecRep (BinaryData era)) Source #

Era era ⇒ SpecTranslate ctx (Data era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (Data era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (Data era) = DataHash

Methods

toSpecRep ∷ Data era → SpecTransM ctx (SpecRep (Data era)) Source #

Era era ⇒ SpecTranslate ctx (Datum era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (Datum era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (Datum era) = Maybe (Either Datum DataHash)

Methods

toSpecRep ∷ Datum era → SpecTransM ctx (SpecRep (Datum era)) Source #

SpecTranslate ctx (CommitteeState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (CommitteeState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (CommitteeState era) = SpecRep (Map (Credential 'ColdCommitteeRole) CommitteeAuthorization)

Methods

toSpecRep ∷ CommitteeState era → SpecTransM ctx (SpecRep (CommitteeState era)) Source #

ConwayEraAccounts era ⇒ SpecTranslate ctx (DState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg

Associated Types

type SpecRep (DState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg type SpecRep (DState era) = DState

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool type SpecRep (PState era) = PState

Methods

toSpecRep ∷ PState era → SpecTransM ctx (SpecRep (PState era)) Source #

(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut) ⇒ SpecTranslate ctx (UTxO era) Source #

Instance details

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

Associated Types

type SpecRep (UTxO era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (UTxO era) = SpecRep (Map TxIn (TxOut era))

Methods

toSpecRep ∷ UTxO era → SpecTransM ctx (SpecRep (UTxO era)) Source #

(EraPParams era, ConwayEraGov era, SpecTranslate [GovActionState era] (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate [GovActionState era] (PParamsHKD StrictMaybe era), SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate ctx (EpochState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (EpochState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep (EpochState era) = EpochState

Methods

toSpecRep ∷ EpochState era → SpecTransM ctx (SpecRep (EpochState era)) Source #

(ConwayEraGov era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate ctx (LedgerState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (LedgerState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep (LedgerState era) = LState

Methods

toSpecRep ∷ LedgerState era → SpecTransM ctx (SpecRep (LedgerState era)) Source #

(EraPParams era, ConwayEraGov era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecTranslate [GovActionState era] (PParamsHKD Identity era), SpecTranslate [GovActionState era] (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate ctx (NewEpochState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (NewEpochState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep (NewEpochState era) = NewEpochState

Methods

toSpecRep ∷ NewEpochState era → SpecTransM ctx (SpecRep (NewEpochState era)) Source #

(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, Inject ctx (CertState era), ConwayEraCertState era) ⇒ SpecTranslate ctx (UTxOState era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert

Associated Types

type SpecRep (UTxOState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep (UTxOState era) = UTxOState

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger type SpecRep (LedgerEnv era) = LEnv

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers type SpecRep (ShelleyLedgersEnv era) = LEnv

Methods

toSpecRep ∷ ShelleyLedgersEnv era → SpecTransM ctx (SpecRep (ShelleyLedgersEnv era)) Source #

(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (PoolEnv era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool

Associated Types

type SpecRep (PoolEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool type SpecRep (PoolEnv era) = PParams

Methods

toSpecRep ∷ PoolEnv era → SpecTransM ctx (SpecRep (PoolEnv era)) Source #

(SpecRep (PParams era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (UtxoEnv era) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxo

Associated Types

type SpecRep (UtxoEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxo type SpecRep (UtxoEnv era) = UTxOEnv

Methods

toSpecRep ∷ UtxoEnv era → SpecTransM ctx (SpecRep (UtxoEnv era)) Source #

SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictMaybe a) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (StrictMaybe a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (StrictMaybe a) = Maybe (SpecRep a)

Methods

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

SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictSeq a) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (StrictSeq a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (StrictSeq a) = [SpecRep a]

Methods

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

SpecTranslate ctx a ⇒ SpecTranslate ctx (Seq a) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (Seq a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (Seq a) = [SpecRep a]

Methods

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

SpecTranslate ctx a ⇒ SpecTranslate ctx (Set a) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (Set a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (Set a) = HSSet (SpecRep a)

Methods

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

SpecTranslate ctx a ⇒ SpecTranslate ctx (Maybe a) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (Maybe a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (Maybe a) = Maybe (SpecRep a)

Methods

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

SpecTranslate ctx a ⇒ SpecTranslate ctx [a] Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep [a]
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep [a] = [SpecRep a]

Methods

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

DSIGNAlgorithm v ⇒ SpecTranslate ctx (SignedDSIGN v a) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (SignedDSIGN v a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (SignedDSIGN v a) = Integer

Methods

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

SpecTranslate ctx (Hash a b) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core

Associated Types

type SpecRep (Hash a b)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecRep (Hash a b) = Integer

Methods

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

(SpecTranslate ctx k, SpecTranslate ctx v, Ord k) ⇒ SpecTranslate ctx (OMap k v) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (OMap k v)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (OMap k v) = [(SpecRep k, SpecRep v)]

Methods

toSpecRep ∷ OMap k v → SpecTransM ctx (SpecRep (OMap k v)) Source #

(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate ctx (Timelock era) Source #

Instance details

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

Associated Types

type SpecRep (Timelock era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (Timelock era) = HSTimelock

Methods

toSpecRep ∷ Timelock era → SpecTransM ctx (SpecRep (Timelock era)) Source #

SpecTranslate ctx (AlonzoPlutusPurpose AsIx era) Source #

Instance details

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

Associated Types

type SpecRep (AlonzoPlutusPurpose AsIx era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (AlonzoPlutusPurpose AsIx era) = RdmrPtr

Methods

toSpecRep ∷ AlonzoPlutusPurpose AsIx era → SpecTransM ctx (SpecRep (AlonzoPlutusPurpose AsIx 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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (ConwayPParams StrictMaybe era) = PParamsUpdate

Methods

toSpecRep ∷ ConwayPParams StrictMaybe era → SpecTransM ctx (SpecRep (ConwayPParams StrictMaybe era)) Source #

(ConwayEraPParams era, PParamsHKD Identity era ~ ConwayPParams Identity era) ⇒ SpecTranslate ctx (ConwayPParams Identity era) Source #

Instance details

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

Associated Types

type SpecRep (ConwayPParams Identity era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (ConwayPParams Identity era) = PParams

Methods

toSpecRep ∷ ConwayPParams Identity era → SpecTransM ctx (SpecRep (ConwayPParams Identity era)) Source #

SpecTranslate ctx (ConwayPlutusPurpose AsIx era) Source #

Instance details

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

Associated Types

type SpecRep (ConwayPlutusPurpose AsIx era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (ConwayPlutusPurpose AsIx era) = RdmrPtr

Methods

toSpecRep ∷ ConwayPlutusPurpose AsIx era → SpecTransM ctx (SpecRep (ConwayPlutusPurpose AsIx era)) Source #

SpecTranslate ctx (Tx 'TopTx ConwayEra) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger

Associated Types

type SpecRep (Tx 'TopTx ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger type SpecRep (Tx 'TopTx ConwayEra) = Tx

Methods

toSpecRep ∷ Tx 'TopTx ConwayEra → SpecTransM ctx (SpecRep (Tx 'TopTx ConwayEra)) Source #

Inject ctx TxId ⇒ SpecTranslate ctx (TxBody 'TopTx ConwayEra) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger

Associated Types

type SpecRep (TxBody 'TopTx ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger type SpecRep (TxBody 'TopTx ConwayEra) = TxBody

Methods

toSpecRep ∷ TxBody 'TopTx ConwayEra → SpecTransM ctx (SpecRep (TxBody 'TopTx ConwayEra)) Source #

(SpecTranslate ctx k, SpecTranslate ctx v) ⇒ SpecTranslate ctx (Map k v) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (Map k v)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (Map k v) = HSMap (SpecRep k) (SpecRep v)

Methods

toSpecRep ∷ Map k v → SpecTransM ctx (SpecRep (Map k v)) Source #

(SpecTranslate ctx a, SpecTranslate ctx b) ⇒ SpecTranslate ctx (a, b) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type SpecRep (a, b)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecRep (a, b) = (SpecRep a, SpecRep b)

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)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep (THKD r f a) = SpecRep (HKD f a)

Methods

toSpecRep ∷ THKD r f a → SpecTransM ctx (SpecRep (THKD r f a)) Source #

class SpecNormalize a where Source #

Minimal complete definition

Nothing

Methods

specNormalize ∷ a → a Source #

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

Instances

Instances details

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

newtype OpaqueErrorString Source #

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

Constructors

OpaqueErrorString (NonEmpty Text)

Instances

Instances details

SpecNormalize OpaqueErrorString Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.Orphans

Methods

specNormalize ∷ OpaqueErrorString → OpaqueErrorString Source #

NFData OpaqueErrorString Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Methods

rnf ∷ OpaqueErrorString → () #

Semigroup OpaqueErrorString Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Methods

(<>) ∷ OpaqueErrorString → OpaqueErrorString → OpaqueErrorString #

sconcat ∷ NonEmpty OpaqueErrorString → OpaqueErrorString #

stimes ∷ Integral b ⇒ b → OpaqueErrorString → OpaqueErrorString #

Generic OpaqueErrorString Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Associated Types

type Rep OpaqueErrorString

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

type Rep OpaqueErrorString = D1 ('MetaData "OpaqueErrorString" "Test.Cardano.Ledger.Conformance.SpecTranslate.Base" "cardano-ledger-conformance-9.9.9.9-inplace" 'True) (C1 ('MetaCons "OpaqueErrorString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Text))))

Methods

from ∷ OpaqueErrorString → Rep OpaqueErrorString x #

to ∷ Rep OpaqueErrorString x → OpaqueErrorString #

Show OpaqueErrorString Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Methods

showsPrec ∷ Int → OpaqueErrorString → ShowS #

show ∷ OpaqueErrorString → String #

showList ∷ [OpaqueErrorString] → ShowS #

Eq OpaqueErrorString Source #

This implementation violates referential transparency. Do not rely on it unless you know what you're doing.

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Methods

(==) ∷ OpaqueErrorString → OpaqueErrorString → Bool #

(/=) ∷ OpaqueErrorString → OpaqueErrorString → Bool #

ToExpr OpaqueErrorString Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Methods

toExpr ∷ OpaqueErrorString → Expr Source #

listToExpr ∷ [OpaqueErrorString] → Expr Source #

type Rep OpaqueErrorString Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base

type Rep OpaqueErrorString = D1 ('MetaData "OpaqueErrorString" "Test.Cardano.Ledger.Conformance.SpecTranslate.Base" "cardano-ledger-conformance-9.9.9.9-inplace" 'True) (C1 ('MetaCons "OpaqueErrorString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Text))))

data SpecTransM ctx a Source #

Instances

Instances details

MonadError Text (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods throwError ∷ Text → SpecTransM ctx a # catchError ∷ SpecTransM ctx a → (Text → SpecTransM ctx a) → SpecTransM ctx a #
MonadReader ctx (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods ask ∷ SpecTransM ctx ctx # local ∷ (ctx → ctx) → SpecTransM ctx a → SpecTransM ctx a # reader ∷ (ctx → a) → SpecTransM ctx a #
Applicative (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods pure ∷ a → SpecTransM ctx a # (<>) ∷ SpecTransM ctx (a → b) → SpecTransM ctx a → SpecTransM ctx b # liftA2 ∷ (a → b → c) → SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx c # (>) ∷ SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx b # (<*) ∷ SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx a #
Functor (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods fmap ∷ (a → b) → SpecTransM ctx a → SpecTransM ctx b # (<$) ∷ a → SpecTransM ctx b → SpecTransM ctx a #
Monad (SpecTransM ctx) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods (>>=) ∷ SpecTransM ctx a → (a → SpecTransM ctx b) → SpecTransM ctx b # (>>) ∷ SpecTransM ctx a → SpecTransM ctx b → SpecTransM ctx b # return ∷ a → SpecTransM ctx a #

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

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

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

unComputationResult ∷ ComputationResult Text a → Either Text a Source #

unComputationResult_ ∷ ComputationResult Void a → Either e a Source #

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