Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Synopsis

class SpecTranslate a where
- type SpecRep a
- type SpecContext a
- toSpecRep ∷ a → SpecTransM (SpecContext a) (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
withSpecTransM ∷ (ctx → ctx') → SpecTransM ctx' a → SpecTransM ctx a
withCtxSpecTransM ∷ ctx → SpecTransM ctx a → SpecTransM ctx' a
askSpecTransM ∷ SpecTransM ctx ctx
unComputationResult ∷ ComputationResult Text a → Either Text a
unComputationResult_ ∷ ComputationResult Void a → Either e a
toSpecRepTuple ∷ (SpecTranslate a, SpecTranslate b, SpecContext a ~ ctx, SpecContext b ~ ctx) ⇒ (a, b) → SpecTransM ctx (SpecRep a, SpecRep b)
toSpecRepTupleGen ∷ (a → SpecTransM ctx c) → (b → SpecTransM ctx d) → (a, b) → SpecTransM ctx (c, d)
toSpecRepOMap ∷ (Ord k, SpecTranslate k, SpecTranslate v, SpecContext k ~ ctx, SpecContext v ~ ctx) ⇒ OMap k v → SpecTransM ctx [(SpecRep k, SpecRep v)]
toSpecRepMap ∷ (SpecTranslate k, SpecTranslate v, SpecContext k ~ ctx, SpecContext v ~ ctx) ⇒ Map k v → SpecTransM ctx (HSMap (SpecRep k) (SpecRep v))

Documentation

class SpecTranslate a where Source #

Associated Types

type SpecRep a Source #

type SpecContext a Source #

type SpecContext a = ()

Methods

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

Instances

Instances details

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

Methods

toSpecRep ∷ ValidityInterval → SpecTransM (SpecContext ValidityInterval) (SpecRep ValidityInterval) Source #

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

Methods

toSpecRep ∷ OrdExUnits → SpecTransM (SpecContext OrdExUnits) (SpecRep OrdExUnits) Source #

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

Methods

toSpecRep ∷ IsValid → SpecTransM (SpecContext IsValid) (SpecRep IsValid) Source #

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

Methods

toSpecRep ∷ GovActionId → SpecTransM (SpecContext GovActionId) (SpecRep GovActionId) Source #

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

Methods

toSpecRep ∷ GovActionIx → SpecTransM (SpecContext GovActionIx) (SpecRep GovActionIx) Source #

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

Methods

toSpecRep ∷ Vote → SpecTransM (SpecContext Vote) (SpecRep Vote) Source #

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

Methods

toSpecRep ∷ Voter → SpecTransM (SpecContext Voter) (SpecRep Voter) Source #

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

Methods

toSpecRep ∷ DRepVotingThresholds → SpecTransM (SpecContext DRepVotingThresholds) (SpecRep DRepVotingThresholds) Source #

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

Methods

toSpecRep ∷ PoolVotingThresholds → SpecTransM (SpecContext PoolVotingThresholds) (SpecRep PoolVotingThresholds) Source #

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

Methods

toSpecRep ∷ ConwayDelegCert → SpecTransM (SpecContext ConwayDelegCert) (SpecRep ConwayDelegCert) Source #

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

Methods

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

SpecTranslate AccountAddress Source #

Instance details

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

Associated Types

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

Methods

toSpecRep ∷ AccountAddress → SpecTransM (SpecContext AccountAddress) (SpecRep AccountAddress) Source #

SpecTranslate 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
type SpecContext Addr
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext Addr = ()

Methods

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

SpecTranslate 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
type SpecContext BootstrapAddress
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext BootstrapAddress = ()

Methods

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

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

Methods

toSpecRep ∷ Withdrawals → SpecTransM (SpecContext Withdrawals) (SpecRep Withdrawals) Source #

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

Methods

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

SpecTranslate 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
type SpecContext BlocksMade
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext BlocksMade = ()

Methods

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

SpecTranslate 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
type SpecContext Network
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext Network = ()

Methods

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

SpecTranslate 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
type SpecContext NonNegativeInterval
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext NonNegativeInterval = ()

Methods

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

SpecTranslate 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)
type SpecContext ProtVer
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext ProtVer = ()

Methods

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

SpecTranslate 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
type SpecContext TxIx
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext TxIx = ()

Methods

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

SpecTranslate 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
type SpecContext UnitInterval
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext UnitInterval = ()

Methods

toSpecRep ∷ UnitInterval → SpecTransM (SpecContext UnitInterval) (SpecRep UnitInterval) Source #

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

Methods

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

SpecTranslate 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
type SpecContext Coin
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext Coin = SpecContext Integer

Methods

toSpecRep ∷ Coin → SpecTransM (SpecContext Coin) (SpecRep Coin) Source #

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

Methods

toSpecRep ∷ CoinPerByte → SpecTransM (SpecContext CoinPerByte) (SpecRep CoinPerByte) Source #

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

Methods

toSpecRep ∷ DeltaCoin → SpecTransM (SpecContext DeltaCoin) (SpecRep DeltaCoin) Source #

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

Methods

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

SpecTranslate 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
type SpecContext StakeReference
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext StakeReference = ()

Methods

toSpecRep ∷ StakeReference → SpecTransM (SpecContext StakeReference) (SpecRep StakeReference) Source #

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

Methods

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

SpecTranslate 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
type SpecContext ScriptHash
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext ScriptHash = ()

Methods

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

SpecTranslate TxAuxDataHash Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate CostModels Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ExUnits Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate 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 = ()
type SpecContext Prices
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext Prices = ()

Methods

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

SpecTranslate Language Source #

Instance details

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

Associated Types

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

Methods

toSpecRep ∷ Language → SpecTransM (SpecContext Language) (SpecRep Language) Source #

SpecTranslate 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))
type SpecContext CommitteeAuthorization
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext CommitteeAuthorization = ()

Methods

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

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

Methods

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

SpecTranslate 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
type SpecContext IndividualPoolStake
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext IndividualPoolStake = ()

Methods

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

SpecTranslate 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
type SpecContext PoolDistr
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext PoolDistr = ()

Methods

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

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

Methods

toSpecRep ∷ SnapShot → SpecTransM (SpecContext SnapShot) (SpecRep SnapShot) Source #

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

Methods

toSpecRep ∷ SnapShots → SpecTransM (SpecContext SnapShots) (SpecRep SnapShots) Source #

SpecTranslate StakePoolSnapShot Source #

Instance details

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

Associated Types

type SpecRep StakePoolSnapShot
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep StakePoolSnapShot = StakePoolParams
type SpecContext StakePoolSnapShot
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecContext StakePoolSnapShot = ()

Methods

toSpecRep ∷ StakePoolSnapShot → SpecTransM (SpecContext StakePoolSnapShot) (SpecRep StakePoolSnapShot) Source #

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

Methods

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

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

Methods

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

SpecTranslate TxId Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate TxIn Source #

Instance details

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

Associated Types

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

Methods

toSpecRep ∷ TxIn → SpecTransM (SpecContext TxIn) (SpecRep TxIn) Source #

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

Methods

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

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

Methods

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

SpecTranslate 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
type SpecContext EpochInterval
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext EpochInterval = SpecContext Word32

Methods

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

SpecTranslate 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
type SpecContext EpochNo
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext EpochNo = SpecContext Word64

Methods

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

SpecTranslate 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
type SpecContext SlotNo
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext SlotNo = SpecContext Word64

Methods

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

SpecTranslate 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
type SpecContext Void
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext Void = ()

Methods

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

SpecTranslate 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
type SpecContext Word16
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext Word16 = ()

Methods

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

SpecTranslate 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
type SpecContext Word32
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext Word32 = ()

Methods

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

SpecTranslate 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
type SpecContext Word64
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext Word64 = ()

Methods

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

SpecTranslate 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
type SpecContext Integer
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext Integer = ()

Methods

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

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

Methods

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

SpecTranslate 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
type SpecContext Bool
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext Bool = ()

Methods

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

SpecTranslate a ⇒ SpecTranslate (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]
type SpecContext (OSet a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext (OSet a) = SpecContext a

Methods

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

(AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate (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
type SpecContext (AlonzoScript era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (AlonzoScript era) = ()

Methods

toSpecRep ∷ AlonzoScript era → SpecTransM (SpecContext (AlonzoScript era)) (SpecRep (AlonzoScript era)) Source #

(AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ SpecTranslate (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
type SpecContext (PlutusScript era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (PlutusScript era) = ()

Methods

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

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

Methods

toSpecRep ∷ AlonzoTxAuxData era → SpecTransM (SpecContext (AlonzoTxAuxData era)) (SpecRep (AlonzoTxAuxData era)) Source #

(AlonzoEraScript era, SpecTranslate (PlutusPurpose AsIx era), SpecRep (PlutusPurpose AsIx era) ~ RdmrPtr, SpecContext (PlutusPurpose AsIx era) ~ (), SpecRep (Data era) ~ Redeemer, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate (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
type SpecContext (AlonzoTxWits era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (AlonzoTxWits era) = ()

Methods

toSpecRep ∷ AlonzoTxWits era → SpecTransM (SpecContext (AlonzoTxWits era)) (SpecRep (AlonzoTxWits era)) Source #

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

Methods

toSpecRep ∷ Redeemers era → SpecTransM (SpecContext (Redeemers era)) (SpecRep (Redeemers era)) Source #

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

Methods

toSpecRep ∷ TxDats era → SpecTransM (SpecContext (TxDats era)) (SpecRep (TxDats era)) Source #

(EraTxOut era, SpecRep (Value era) ~ Coin, SpecContext (Value era) ~ (), Script era ~ AlonzoScript era, SpecTranslate (Value era), SpecTranslate (Script era)) ⇒ SpecTranslate (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
type SpecContext (BabbageTxOut era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (BabbageTxOut era) = ()

Methods

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

SpecTranslate a ⇒ SpecTranslate (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
type SpecContext (Sized a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext (Sized a) = SpecContext a

Methods

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

(EraPParams era, SpecTranslate (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecContext (PParamsHKD Identity era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (EnactState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (EnactState era) = ()

Methods

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

ConwayEraAccounts era ⇒ SpecTranslate (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
type SpecContext (RatifyEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (RatifyEnv era) = Coin

Methods

toSpecRep ∷ RatifyEnv era → SpecTransM (SpecContext (RatifyEnv era)) (SpecRep (RatifyEnv era)) Source #

(EraPParams era, SpecTranslate (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecContext (PParamsHKD StrictMaybe era) ~ ()) ⇒ SpecTranslate (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, SpecRep (GovActionState era))]
type SpecContext (RatifySignal era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (RatifySignal era) = ()

Methods

toSpecRep ∷ RatifySignal era → SpecTransM (SpecContext (RatifySignal era)) (SpecRep (RatifySignal era)) Source #

(EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecContext (PParamsHKD Identity era) ~ (), SpecTranslate (PParamsHKD Identity era), ToExpr (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecContext (PParamsHKD StrictMaybe era) ~ (), SpecTranslate (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate (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
type SpecContext (RatifyState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (RatifyState era) = [GovActionState era]

Methods

toSpecRep ∷ RatifyState era → SpecTransM (SpecContext (RatifyState era)) (SpecRep (RatifyState era)) Source #

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

Methods

toSpecRep ∷ Committee era → SpecTransM (SpecContext (Committee era)) (SpecRep (Committee era)) Source #

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

Methods

toSpecRep ∷ Constitution era → SpecTransM (SpecContext (Constitution era)) (SpecRep (Constitution era)) Source #

(EraPParams era, SpecTranslate (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecContext (PParamsHKD StrictMaybe era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (GovAction era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (GovAction era) = ()

Methods

toSpecRep ∷ GovAction era → SpecTransM (SpecContext (GovAction era)) (SpecRep (GovAction era)) Source #

(EraPParams era, SpecTranslate (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecContext (PParamsHKD StrictMaybe era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (GovActionState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (GovActionState era) = ()

Methods

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

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

Methods

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

(EraPParams era, SpecTranslate (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecContext (PParamsHKD StrictMaybe era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (ProposalProcedure era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (ProposalProcedure era) = ()

Methods

toSpecRep ∷ ProposalProcedure era → SpecTransM (SpecContext (ProposalProcedure era)) (SpecRep (ProposalProcedure era)) Source #

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

Methods

toSpecRep ∷ VotingProcedures era → SpecTransM (SpecContext (VotingProcedures era)) (SpecRep (VotingProcedures era)) Source #

(EraPParams era, SpecTranslate (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecContext (PParamsHKD StrictMaybe era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (Proposals era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (Proposals era) = ()

Methods

toSpecRep ∷ Proposals era → SpecTransM (SpecContext (Proposals era)) (SpecRep (Proposals era)) Source #

(SpecTranslate (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecContext (PParamsHKD Identity era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (CertEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecContext (CertEnv era) = (VotingProcedures era, Map AccountAddress Coin)

Methods

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

(SpecTranslate (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecContext (PParamsHKD Identity era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (CertsEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs type SpecContext (CertsEnv era) = (VotingProcedures era, Map AccountAddress Coin)

Methods

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

(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate (PParamsHKD Identity era), SpecContext (PParamsHKD Identity era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (ConwayDelegEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg type SpecContext (ConwayDelegEnv era) = Set (Credential 'DRepRole)

Methods

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

(EraPParams era, SpecTranslate (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecContext (PParamsHKD StrictMaybe era) ~ ()) ⇒ SpecTranslate (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)
type SpecContext (EnactSignal era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (EnactSignal era) = ()

Methods

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

(SpecTranslate (PParamsHKD Identity era), SpecContext (PParamsHKD Identity era) ~ (), EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate (CertState era), SpecContext (CertState era) ~ (), SpecRep (CertState era) ~ CertState, EraCertState era) ⇒ SpecTranslate (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
type SpecContext (GovEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov type SpecContext (GovEnv era) = EnactState era

Methods

toSpecRep ∷ GovEnv era → SpecTransM (SpecContext (GovEnv era)) (SpecRep (GovEnv era)) Source #

(EraPParams era, SpecTranslate (PParamsHKD StrictMaybe era), SpecContext (PParamsHKD StrictMaybe era) ~ (), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate (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]
type SpecContext (GovSignal era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov type SpecContext (GovSignal era) = ()

Methods

toSpecRep ∷ GovSignal era → SpecTransM (SpecContext (GovSignal era)) (SpecRep (GovSignal era)) Source #

(SpecTranslate (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecContext (PParamsHKD Identity era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (ConwayGovCertEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert type SpecContext (ConwayGovCertEnv era) = (VotingProcedures era, Map AccountAddress Coin)

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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

(SpecTranslate a, Compactible a) ⇒ SpecTranslate (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
type SpecContext (CompactForm a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext (CompactForm a) = SpecContext a

Methods

toSpecRep ∷ CompactForm a → SpecTransM (SpecContext (CompactForm a)) (SpecRep (CompactForm a)) Source #

SpecTranslate (PParamsHKD Identity era) ⇒ SpecTranslate (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)
type SpecContext (PParams era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext (PParams era) = SpecContext (PParamsHKD Identity era)

Methods

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

SpecTranslate (PParamsHKD StrictMaybe era) ⇒ SpecTranslate (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)
type SpecContext (PParamsUpdate era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext (PParamsUpdate era) = SpecContext (PParamsHKD StrictMaybe era)

Methods

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

SpecTranslate (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
type SpecContext (Credential k)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext (Credential k) = ()

Methods

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

SpecTranslate (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
type SpecContext (KeyHash r)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext (KeyHash r) = ()

Methods

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

SpecTranslate (SafeHash a) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate (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
type SpecContext (VKey k)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext (VKey k) = ()

Methods

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

SpecTranslate (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)
type SpecContext (WitVKey k)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext (WitVKey k) = ()

Methods

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

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

Instance details

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

Associated Types

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

Methods

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

Era era ⇒ SpecTranslate (Data era) Source #

Instance details

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

Associated Types

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

Methods

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

Era era ⇒ SpecTranslate (Datum era) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate (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) = HSMap (SpecRep (Credential 'ColdCommitteeRole)) (SpecRep CommitteeAuthorization)
type SpecContext (CommitteeState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext (CommitteeState era) = ()

Methods

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

ConwayEraAccounts era ⇒ SpecTranslate (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
type SpecContext (DState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg type SpecContext (DState era) = ()

Methods

toSpecRep ∷ DState era → SpecTransM (SpecContext (DState era)) (SpecRep (DState era)) Source #

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

Methods

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

(SpecTranslate (TxOut era), SpecRep (TxOut era) ~ TxOut, SpecContext (TxOut era) ~ ()) ⇒ SpecTranslate (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) = HSMap (SpecRep TxIn) (SpecRep (TxOut era))
type SpecContext (UTxO era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (UTxO era) = ()

Methods

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

(EraPParams era, ConwayEraGov era, SpecTranslate (PParamsHKD Identity era), SpecContext (PParamsHKD Identity era) ~ (), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate (PParamsHKD StrictMaybe era), SpecContext (PParamsHKD StrictMaybe era) ~ (), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, ToExpr (PParamsHKD StrictMaybe era), SpecTranslate (TxOut era), SpecRep (TxOut era) ~ TxOut, SpecContext (TxOut era) ~ (), GovState era ~ ConwayGovState era, SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate (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
type SpecContext (EpochState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecContext (EpochState era) = ()

Methods

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

(ConwayEraGov era, EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate (PParamsHKD StrictMaybe era), SpecContext (PParamsHKD StrictMaybe era) ~ (), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecTranslate (TxOut era), SpecRep (TxOut era) ~ TxOut, SpecContext (TxOut era) ~ (), GovState era ~ ConwayGovState era, SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate (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
type SpecContext (LedgerState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecContext (LedgerState era) = ()

Methods

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

(EraPParams era, ConwayEraGov era, SpecTranslate (PParamsHKD Identity era), SpecContext (PParamsHKD Identity era) ~ (), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate (PParamsHKD StrictMaybe era), SpecContext (PParamsHKD StrictMaybe era) ~ (), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, ToExpr (PParamsHKD StrictMaybe era), SpecTranslate (TxOut era), SpecRep (TxOut era) ~ TxOut, SpecContext (TxOut era) ~ (), GovState era ~ ConwayGovState era, SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate (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
type SpecContext (NewEpochState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecContext (NewEpochState era) = ()

Methods

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

(SpecTranslate (TxOut era), SpecRep (TxOut era) ~ TxOut, SpecContext (TxOut era) ~ (), GovState era ~ ConwayGovState era, ConwayEraCertState era) ⇒ SpecTranslate (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
type SpecContext (UTxOState era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecContext (UTxOState era) = CertState era

Methods

toSpecRep ∷ UTxOState era → SpecTransM (SpecContext (UTxOState era)) (SpecRep (UTxOState era)) Source #

(EraPParams era, SpecTranslate (PParamsHKD Identity era), SpecContext (PParamsHKD Identity era) ~ (), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate (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
type SpecContext (LedgerEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger type SpecContext (LedgerEnv era) = (StrictMaybe ScriptHash, EnactState era)

Methods

toSpecRep ∷ LedgerEnv era → SpecTransM (SpecContext (LedgerEnv era)) (SpecRep (LedgerEnv era)) Source #

(EraPParams era, SpecTranslate (PParamsHKD Identity era), SpecContext (PParamsHKD Identity era) ~ (), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate (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
type SpecContext (ShelleyLedgersEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers type SpecContext (ShelleyLedgersEnv era) = EnactState era

Methods

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

(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate (PParamsHKD Identity era), SpecContext (PParamsHKD Identity era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (PoolEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool type SpecContext (PoolEnv era) = ()

Methods

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

(SpecRep (PParams era) ~ PParams, SpecTranslate (PParamsHKD Identity era), SpecContext (PParamsHKD Identity era) ~ ()) ⇒ SpecTranslate (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
type SpecContext (UtxoEnv era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxo type SpecContext (UtxoEnv era) = ()

Methods

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

SpecTranslate a ⇒ SpecTranslate (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)
type SpecContext (StrictMaybe a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext (StrictMaybe a) = SpecContext a

Methods

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

SpecTranslate a ⇒ SpecTranslate (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]
type SpecContext (StrictSeq a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext (StrictSeq a) = SpecContext a

Methods

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

SpecTranslate a ⇒ SpecTranslate (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]
type SpecContext (Seq a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext (Seq a) = SpecContext a

Methods

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

SpecTranslate a ⇒ SpecTranslate (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)
type SpecContext (Set a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext (Set a) = SpecContext a

Methods

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

SpecTranslate a ⇒ SpecTranslate (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)
type SpecContext (Maybe a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext (Maybe a) = SpecContext a

Methods

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

SpecTranslate a ⇒ SpecTranslate [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]
type SpecContext [a]
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base type SpecContext [a] = SpecContext a

Methods

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

DSIGNAlgorithm v ⇒ SpecTranslate (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
type SpecContext (SignedDSIGN v a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext (SignedDSIGN v a) = ()

Methods

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

SpecTranslate (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
type SpecContext (Hash a b)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type SpecContext (Hash a b) = ()

Methods

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

(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate (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
type SpecContext (Timelock era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (Timelock era) = ()

Methods

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

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

Methods

toSpecRep ∷ AlonzoPlutusPurpose AsIx era → SpecTransM (SpecContext (AlonzoPlutusPurpose AsIx era)) (SpecRep (AlonzoPlutusPurpose AsIx era)) Source #

SpecTranslate (AlonzoStAnnTx 'TopTx ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

toSpecRep ∷ AlonzoStAnnTx 'TopTx ConwayEra → SpecTransM (SpecContext (AlonzoStAnnTx 'TopTx ConwayEra)) (SpecRep (AlonzoStAnnTx 'TopTx ConwayEra)) Source #

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

Methods

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

(ConwayEraPParams era, PParamsHKD Identity era ~ ConwayPParams Identity era) ⇒ SpecTranslate (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
type SpecContext (ConwayPParams Identity era)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext (ConwayPParams Identity era) = ()

Methods

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

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

Methods

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

SpecTranslate (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
type SpecContext (Tx 'TopTx ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger type SpecContext (Tx 'TopTx ConwayEra) = ()

Methods

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

SpecTranslate (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
type SpecContext (TxBody 'TopTx ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger type SpecContext (TxBody 'TopTx ConwayEra) = TxId

Methods

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

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

Methods

toSpecRep ∷ THKD r f a → SpecTransM (SpecContext (THKD r f a)) (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 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 LanguageCostModels Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ LanguageCostModels → LanguageCostModels 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 HSLanguage Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HSLanguage → HSLanguage 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 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 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 #

withSpecTransM ∷ (ctx → ctx') → SpecTransM ctx' a → SpecTransM ctx a Source #

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

askSpecTransM ∷ SpecTransM ctx ctx Source #

unComputationResult ∷ ComputationResult Text a → Either Text a Source #

unComputationResult_ ∷ ComputationResult Void a → Either e a Source #

toSpecRepTuple ∷ (SpecTranslate a, SpecTranslate b, SpecContext a ~ ctx, SpecContext b ~ ctx) ⇒ (a, b) → SpecTransM ctx (SpecRep a, SpecRep b) Source #

toSpecRepTupleGen ∷ (a → SpecTransM ctx c) → (b → SpecTransM ctx d) → (a, b) → SpecTransM ctx (c, d) Source #

toSpecRepOMap ∷ (Ord k, SpecTranslate k, SpecTranslate v, SpecContext k ~ ctx, SpecContext v ~ ctx) ⇒ OMap k v → SpecTransM ctx [(SpecRep k, SpecRep v)] Source #

toSpecRepMap ∷ (SpecTranslate k, SpecTranslate v, SpecContext k ~ ctx, SpecContext v ~ ctx) ⇒ Map k v → SpecTransM ctx (HSMap (SpecRep k) (SpecRep v)) Source #