Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Conformance.SpecTranslate.Base

Synopsis

class SpecTranslate era a where
- type SpecRep era a
- type SpecContext era a
- toSpecRep ∷ a → SpecTransM era (SpecContext era a) (SpecRep era a)
class SpecNormalize a where
- specNormalize ∷ a → a
newtype OpaqueErrorString = OpaqueErrorString (NonEmpty Text)
data SpecTransM era ctx a
runSpecTransM ∷ ∀ era ctx a. ctx → SpecTransM era ctx a → Either Text a
withSpecTransM ∷ (ctx → ctx') → SpecTransM era ctx' a → SpecTransM era ctx a
withCtxSpecTransM ∷ ctx → SpecTransM era ctx a → SpecTransM era ctx' a
askSpecTransM ∷ SpecTransM era ctx ctx
unComputationResult ∷ ComputationResult Text a → Either Text a
unComputationResult_ ∷ ComputationResult Void a → Either e a
toSpecRepTuple ∷ (SpecTranslate era a, SpecTranslate era b, SpecContext era a ~ ctx, SpecContext era b ~ ctx) ⇒ (a, b) → SpecTransM era ctx (SpecRep era a, SpecRep era b)
toSpecRepTupleGen ∷ ∀ era a b c d ctx. (a → SpecTransM era ctx c) → (b → SpecTransM era ctx d) → (a, b) → SpecTransM era ctx (c, d)
toSpecRepOMap ∷ ∀ era k v ctx. (Ord k, SpecTranslate era k, SpecTranslate era v, SpecContext era k ~ ctx, SpecContext era v ~ ctx) ⇒ OMap k v → SpecTransM era ctx [(SpecRep era k, SpecRep era v)]
toSpecRepMap ∷ (SpecTranslate era k, SpecTranslate era v, SpecContext era k ~ ctx, SpecContext era v ~ ctx) ⇒ Map k v → SpecTransM era ctx (HSMap (SpecRep era k) (SpecRep era v))

Documentation

class SpecTranslate era a where Source #

Associated Types

type SpecRep era a Source #

type SpecContext era a Source #

type SpecContext era a = ()

Methods

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

Instances

Instances details

SpecTranslate ConwayEra ValidityInterval Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra OrdExUnits Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra IsValid Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra GovActionId Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra GovActionIx Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra Vote Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra Voter Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra DRepVotingThresholds Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra PoolVotingThresholds Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra ConwayDelegCert Source #

Instance details

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

Associated Types

type SpecRep ConwayEra ConwayDelegCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg type SpecRep ConwayEra ConwayDelegCert = DCert
type SpecContext ConwayEra ConwayDelegCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg type SpecContext ConwayEra ConwayDelegCert = ()

Methods

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

SpecTranslate ConwayEra ConwayGovCert Source #

Instance details

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

Associated Types

type SpecRep ConwayEra ConwayGovCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert type SpecRep ConwayEra ConwayGovCert = DCert
type SpecContext ConwayEra ConwayGovCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert type SpecContext ConwayEra ConwayGovCert = ()

Methods

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

SpecTranslate ConwayEra Withdrawals Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra Anchor Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra Url Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra CoinPerByte Source #

Instance details

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

Associated Types

type SpecRep ConwayEra CoinPerByte
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ConwayEra CoinPerByte = SpecRep ConwayEra (CompactForm Coin)
type SpecContext ConwayEra CoinPerByte
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext ConwayEra CoinPerByte = SpecContext ConwayEra (CompactForm Coin)

Methods

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

SpecTranslate ConwayEra DeltaCoin Source #

Instance details

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

Associated Types

type SpecRep ConwayEra DeltaCoin
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep ConwayEra DeltaCoin = Integer
type SpecContext ConwayEra DeltaCoin
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecContext ConwayEra DeltaCoin = ()

Methods

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

SpecTranslate ConwayEra PoolCert Source #

Instance details

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

Associated Types

type SpecRep ConwayEra PoolCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool type SpecRep ConwayEra PoolCert = DCert
type SpecContext ConwayEra PoolCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool type SpecContext ConwayEra PoolCert = ()

Methods

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

SpecTranslate ConwayEra DRep Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra TxAuxDataHash Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra CostModels Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra ExUnits Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra Language Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra ChainAccountState Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra SnapShot Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra SnapShots Source #

Instance details

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

Associated Types

type SpecRep ConwayEra SnapShots
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep ConwayEra SnapShots = Snapshots
type SpecContext ConwayEra SnapShots
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecContext ConwayEra SnapShots = ()

Methods

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

SpecTranslate ConwayEra StakePoolSnapShot Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra Stake Source #

Instance details

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

Associated Types

type SpecRep ConwayEra Stake
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep ConwayEra Stake = HSMap Credential Coin
type SpecContext ConwayEra Stake
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecContext ConwayEra Stake = ()

Methods

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

SpecTranslate ConwayEra StakePoolParams Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra TxId Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra TxIn Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra MaryValue Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra PulsingRewUpdate Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra ValidityInterval Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra OrdExUnits Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra OrdExUnits
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra OrdExUnits = SpecRep DijkstraEra ExUnits
type SpecContext DijkstraEra OrdExUnits
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra OrdExUnits = SpecContext DijkstraEra ExUnits

Methods

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

SpecTranslate DijkstraEra IsValid Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra IsValid
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra IsValid = Bool
type SpecContext DijkstraEra IsValid
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra IsValid = ()

Methods

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

SpecTranslate DijkstraEra GovActionId Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra GovActionId
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra GovActionId = GovActionID
type SpecContext DijkstraEra GovActionId
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra GovActionId = ()

Methods

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

SpecTranslate DijkstraEra GovActionIx Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra GovActionIx
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra GovActionIx = Integer
type SpecContext DijkstraEra GovActionIx
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra GovActionIx = ()

Methods

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

SpecTranslate DijkstraEra Vote Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra Voter Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra Voter
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra Voter = GovVoter
type SpecContext DijkstraEra Voter
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra Voter = ()

Methods

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

SpecTranslate DijkstraEra DRepVotingThresholds Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra DRepVotingThresholds
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra DRepVotingThresholds = DrepThresholds
type SpecContext DijkstraEra DRepVotingThresholds
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra DRepVotingThresholds = ()

Methods

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

SpecTranslate DijkstraEra PoolVotingThresholds Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra PoolVotingThresholds
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra PoolVotingThresholds = PoolThresholds
type SpecContext DijkstraEra PoolVotingThresholds
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra PoolVotingThresholds = ()

Methods

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

SpecTranslate DijkstraEra ConwayGovCert Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra ConwayGovCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.GovCert type SpecRep DijkstraEra ConwayGovCert = DCert
type SpecContext DijkstraEra ConwayGovCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.GovCert type SpecContext DijkstraEra ConwayGovCert = ()

Methods

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

SpecTranslate DijkstraEra DirectDeposits Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra DirectDeposits
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra DirectDeposits = HSMap RewardAddress Integer
type SpecContext DijkstraEra DirectDeposits
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra DirectDeposits = ()

Methods

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

SpecTranslate DijkstraEra Withdrawals Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra Anchor Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra Url Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra Url
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra Url = Text
type SpecContext DijkstraEra Url
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra Url = ()

Methods

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

SpecTranslate DijkstraEra CoinPerByte Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra CoinPerByte
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra CoinPerByte = SpecRep DijkstraEra (CompactForm Coin)
type SpecContext DijkstraEra CoinPerByte
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra CoinPerByte = SpecContext DijkstraEra (CompactForm Coin)

Methods

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

SpecTranslate DijkstraEra DeltaCoin Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch

Associated Types

type SpecRep DijkstraEra DeltaCoin
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecRep DijkstraEra DeltaCoin = Integer
type SpecContext DijkstraEra DeltaCoin
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecContext DijkstraEra DeltaCoin = ()

Methods

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

SpecTranslate DijkstraEra PoolCert Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra PoolCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Pool type SpecRep DijkstraEra PoolCert = DCert
type SpecContext DijkstraEra PoolCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Pool type SpecContext DijkstraEra PoolCert = ()

Methods

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

SpecTranslate DijkstraEra DRep Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra DRep
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra DRep = VDeleg
type SpecContext DijkstraEra DRep
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra DRep = ()

Methods

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

SpecTranslate DijkstraEra TxAuxDataHash Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra CostModels Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra ExUnits Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra Language Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra ChainAccountState Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch

Associated Types

type SpecRep DijkstraEra ChainAccountState
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecRep DijkstraEra ChainAccountState = Acnt
type SpecContext DijkstraEra ChainAccountState
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecContext DijkstraEra ChainAccountState = ()

Methods

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

SpecTranslate DijkstraEra SnapShot Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch

Associated Types

type SpecRep DijkstraEra SnapShot
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecRep DijkstraEra SnapShot = Snapshot
type SpecContext DijkstraEra SnapShot
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecContext DijkstraEra SnapShot = ()

Methods

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

SpecTranslate DijkstraEra SnapShots Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch

Associated Types

type SpecRep DijkstraEra SnapShots
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecRep DijkstraEra SnapShots = Snapshots
type SpecContext DijkstraEra SnapShots
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecContext DijkstraEra SnapShots = ()

Methods

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

SpecTranslate DijkstraEra StakePoolSnapShot Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch

Associated Types

type SpecRep DijkstraEra StakePoolSnapShot
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecRep DijkstraEra StakePoolSnapShot = StakePoolParams
type SpecContext DijkstraEra StakePoolSnapShot
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecContext DijkstraEra StakePoolSnapShot = ()

Methods

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

SpecTranslate DijkstraEra Stake Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch

Associated Types

type SpecRep DijkstraEra Stake
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecRep DijkstraEra Stake = HSMap Credential Coin
type SpecContext DijkstraEra Stake
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecContext DijkstraEra Stake = ()

Methods

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

SpecTranslate DijkstraEra StakePoolParams Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra TxId Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra TxIn Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra DijkstraDelegCert Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra DijkstraDelegCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Deleg type SpecRep DijkstraEra DijkstraDelegCert = DCert
type SpecContext DijkstraEra DijkstraDelegCert
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Deleg type SpecContext DijkstraEra DijkstraDelegCert = ()

Methods

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

SpecTranslate DijkstraEra MaryValue Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra MaryValue
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra MaryValue = Coin
type SpecContext DijkstraEra MaryValue
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra MaryValue = ()

Methods

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

SpecTranslate DijkstraEra PulsingRewUpdate Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch

Associated Types

type SpecRep DijkstraEra PulsingRewUpdate
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecRep DijkstraEra PulsingRewUpdate = RewardUpdate
type SpecContext DijkstraEra PulsingRewUpdate
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecContext DijkstraEra PulsingRewUpdate = ()

Methods

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

SpecTranslate era AccountAddress Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era Addr Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era BootstrapAddress Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era BlocksMade Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era Network Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era NonNegativeInterval Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era ProtVer Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era TxIx Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era UnitInterval Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era Coin Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era StakeReference Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era ScriptHash Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era Prices Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era CommitteeAuthorization Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era IndividualPoolStake Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era PoolDistr Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era EpochInterval Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era EpochNo Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era SlotNo Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era Void Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era Word16 Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era Word32 Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era Word64 Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era Integer Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era () Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era Bool Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (AlonzoScript ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (PlutusScript ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (AlonzoTxAuxData ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (AlonzoTxWits ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (Redeemers ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (Redeemers ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ConwayEra (Redeemers ConwayEra) = HSMap (SpecRep ConwayEra (PlutusPurpose AsIx ConwayEra)) (Redeemer, ExUnits)
type SpecContext ConwayEra (Redeemers ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext ConwayEra (Redeemers ConwayEra) = ()

Methods

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

SpecTranslate ConwayEra (TxDats ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (TxDats ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ConwayEra (TxDats ConwayEra) = HSSet Datum
type SpecContext ConwayEra (TxDats ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext ConwayEra (TxDats ConwayEra) = ()

Methods

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

SpecTranslate ConwayEra (BabbageTxOut ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (EnactState ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (RatifyEnv ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (RatifySignal ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (RatifySignal ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ConwayEra (RatifySignal ConwayEra) = [(SpecRep ConwayEra GovActionId, SpecRep ConwayEra (GovActionState ConwayEra))]
type SpecContext ConwayEra (RatifySignal ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext ConwayEra (RatifySignal ConwayEra) = ()

Methods

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

SpecTranslate ConwayEra (RatifyState ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (RatifyState ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ConwayEra (RatifyState ConwayEra) = RatifyState
type SpecContext ConwayEra (RatifyState ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext ConwayEra (RatifyState ConwayEra) = [GovActionState ConwayEra]

Methods

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

SpecTranslate ConwayEra (Committee ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (Committee ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ConwayEra (Committee ConwayEra) = (HSMap Credential Epoch, Rational)
type SpecContext ConwayEra (Committee ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext ConwayEra (Committee ConwayEra) = ()

Methods

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

SpecTranslate ConwayEra (Constitution ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (Constitution ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ConwayEra (Constitution ConwayEra) = (DataHash, Maybe ScriptHash)
type SpecContext ConwayEra (Constitution ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext ConwayEra (Constitution ConwayEra) = ()

Methods

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

SpecTranslate ConwayEra (GovAction ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (GovActionState ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (GovPurposeId r) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (ProposalProcedure ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (VotingProcedures ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (VotingProcedures ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ConwayEra (VotingProcedures ConwayEra) = [GovVote]
type SpecContext ConwayEra (VotingProcedures ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext ConwayEra (VotingProcedures ConwayEra) = ()

Methods

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

SpecTranslate ConwayEra (Proposals ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (CertEnv ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (CertEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecRep ConwayEra (CertEnv ConwayEra) = CertEnv
type SpecContext ConwayEra (CertEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert type SpecContext ConwayEra (CertEnv ConwayEra) = (VotingProcedures ConwayEra, Map AccountAddress Coin)

Methods

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

SpecTranslate ConwayEra (CertsEnv ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (CertsEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs type SpecRep ConwayEra (CertsEnv ConwayEra) = CertEnv
type SpecContext ConwayEra (CertsEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs type SpecContext ConwayEra (CertsEnv ConwayEra) = (VotingProcedures ConwayEra, Map AccountAddress Coin)

Methods

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

SpecTranslate ConwayEra (ConwayDelegEnv ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (ConwayDelegEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg type SpecRep ConwayEra (ConwayDelegEnv ConwayEra) = DelegEnv
type SpecContext ConwayEra (ConwayDelegEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg type SpecContext ConwayEra (ConwayDelegEnv ConwayEra) = Set (Credential 'DRepRole)

Methods

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

SpecTranslate ConwayEra (EnactSignal ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (GovEnv ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (GovSignal ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (GovSignal ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov type SpecRep ConwayEra (GovSignal ConwayEra) = [Either GovVote GovProposal]
type SpecContext ConwayEra (GovSignal ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov type SpecContext ConwayEra (GovSignal ConwayEra) = ()

Methods

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

SpecTranslate ConwayEra (ConwayGovCertEnv ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (ConwayGovCertEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert type SpecRep ConwayEra (ConwayGovCertEnv ConwayEra) = CertEnv
type SpecContext ConwayEra (ConwayGovCertEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert type SpecContext ConwayEra (ConwayGovCertEnv ConwayEra) = (VotingProcedures ConwayEra, Map AccountAddress Coin)

Methods

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

SpecTranslate ConwayEra (ConwayCertState ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (VState ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (ConwayTxCert ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (SafeHash a) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (BinaryData ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (Data ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (Datum ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (DState ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (PState ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (PState ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool type SpecRep ConwayEra (PState ConwayEra) = PState
type SpecContext ConwayEra (PState ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool type SpecContext ConwayEra (PState ConwayEra) = ()

Methods

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

SpecTranslate ConwayEra (UTxO ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (EpochState ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (LedgerState ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (NewEpochState ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (UTxOState ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (LedgerEnv ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (LedgerEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger type SpecRep ConwayEra (LedgerEnv ConwayEra) = LEnv
type SpecContext ConwayEra (LedgerEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger type SpecContext ConwayEra (LedgerEnv ConwayEra) = (StrictMaybe ScriptHash, EnactState ConwayEra)

Methods

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

SpecTranslate ConwayEra (ShelleyLedgersEnv ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (ShelleyLedgersEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers type SpecRep ConwayEra (ShelleyLedgersEnv ConwayEra) = LEnv
type SpecContext ConwayEra (ShelleyLedgersEnv ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers type SpecContext ConwayEra (ShelleyLedgersEnv ConwayEra) = EnactState ConwayEra

Methods

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

SpecTranslate ConwayEra (PoolEnv ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (UtxoEnv ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra (AlonzoScript DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (AlonzoScript DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (AlonzoScript DijkstraEra) = Script
type SpecContext DijkstraEra (AlonzoScript DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (AlonzoScript DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (PlutusScript DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (PlutusScript DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (PlutusScript DijkstraEra) = HSPlutusScript
type SpecContext DijkstraEra (PlutusScript DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (PlutusScript DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (AlonzoTxAuxData DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (AlonzoTxAuxData DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (AlonzoTxAuxData DijkstraEra) = AuxiliaryData
type SpecContext DijkstraEra (AlonzoTxAuxData DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (AlonzoTxAuxData DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (AlonzoTxWits DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (AlonzoTxWits DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (AlonzoTxWits DijkstraEra) = TxWitnesses
type SpecContext DijkstraEra (AlonzoTxWits DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (AlonzoTxWits DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (Redeemers DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (Redeemers DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (Redeemers DijkstraEra) = HSMap (SpecRep DijkstraEra (PlutusPurpose AsIx DijkstraEra)) (Redeemer, ExUnits)
type SpecContext DijkstraEra (Redeemers DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (Redeemers DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (TxDats DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (TxDats DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (TxDats DijkstraEra) = HSSet Datum
type SpecContext DijkstraEra (TxDats DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (TxDats DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (BabbageTxOut DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (BabbageTxOut DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (BabbageTxOut DijkstraEra) = TxOut
type SpecContext DijkstraEra (BabbageTxOut DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (BabbageTxOut DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (EnactState DijkstraEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra (RatifySignal DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (RatifySignal DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (RatifySignal DijkstraEra) = [(SpecRep DijkstraEra GovActionId, SpecRep DijkstraEra (GovActionState DijkstraEra))]
type SpecContext DijkstraEra (RatifySignal DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (RatifySignal DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (RatifyState DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (RatifyState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (RatifyState DijkstraEra) = RatifyState
type SpecContext DijkstraEra (RatifyState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (RatifyState DijkstraEra) = [GovActionState DijkstraEra]

Methods

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

SpecTranslate DijkstraEra (Committee DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (Committee DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (Committee DijkstraEra) = (HSMap Credential Epoch, Rational)
type SpecContext DijkstraEra (Committee DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (Committee DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (Constitution DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (Constitution DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (Constitution DijkstraEra) = (DataHash, Maybe ScriptHash)
type SpecContext DijkstraEra (Constitution DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (Constitution DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (GovAction DijkstraEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra (GovActionState DijkstraEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra (GovPurposeId r) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra (ProposalProcedure DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (ProposalProcedure DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (ProposalProcedure DijkstraEra) = GovProposal
type SpecContext DijkstraEra (ProposalProcedure DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (ProposalProcedure DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (VotingProcedures DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (VotingProcedures DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (VotingProcedures DijkstraEra) = [GovVote]
type SpecContext DijkstraEra (VotingProcedures DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (VotingProcedures DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (Proposals DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (Proposals DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (Proposals DijkstraEra) = GovState
type SpecContext DijkstraEra (Proposals DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (Proposals DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (EnactSignal DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (EnactSignal DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (EnactSignal DijkstraEra) = SpecRep DijkstraEra (GovAction DijkstraEra)
type SpecContext DijkstraEra (EnactSignal DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (EnactSignal DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (GovSignal DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (GovSignal DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Gov type SpecRep DijkstraEra (GovSignal DijkstraEra) = [Either GovVote GovProposal]
type SpecContext DijkstraEra (GovSignal DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Gov type SpecContext DijkstraEra (GovSignal DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (ConwayGovCertEnv DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (ConwayGovCertEnv DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.GovCert type SpecRep DijkstraEra (ConwayGovCertEnv DijkstraEra) = CertEnv
type SpecContext DijkstraEra (ConwayGovCertEnv DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.GovCert type SpecContext DijkstraEra (ConwayGovCertEnv DijkstraEra) = (VotingProcedures DijkstraEra, Map AccountAddress Coin)

Methods

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

SpecTranslate DijkstraEra (ConwayCertState DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (ConwayCertState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Cert type SpecRep DijkstraEra (ConwayCertState DijkstraEra) = CertState
type SpecContext DijkstraEra (ConwayCertState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Cert type SpecContext DijkstraEra (ConwayCertState DijkstraEra) = Network

Methods

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

SpecTranslate DijkstraEra (VState DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (VState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.GovCert type SpecRep DijkstraEra (VState DijkstraEra) = GState
type SpecContext DijkstraEra (VState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.GovCert type SpecContext DijkstraEra (VState DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (SafeHash a) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra (BinaryData DijkstraEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra (Data DijkstraEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra (Datum DijkstraEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra (DState DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (DState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Deleg type SpecRep DijkstraEra (DState DijkstraEra) = DState
type SpecContext DijkstraEra (DState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Deleg type SpecContext DijkstraEra (DState DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (PState DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (PState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Pool type SpecRep DijkstraEra (PState DijkstraEra) = PState
type SpecContext DijkstraEra (PState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Pool type SpecContext DijkstraEra (PState DijkstraEra) = Network

Methods

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

SpecTranslate DijkstraEra (UTxO DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (UTxO DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (UTxO DijkstraEra) = HSMap (SpecRep DijkstraEra TxIn) (SpecRep DijkstraEra (TxOut DijkstraEra))
type SpecContext DijkstraEra (UTxO DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (UTxO DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (AccountBalanceInterval DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (AccountBalanceInterval DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (AccountBalanceInterval DijkstraEra) = BalanceInterval
type SpecContext DijkstraEra (AccountBalanceInterval DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (AccountBalanceInterval DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (AccountBalanceIntervals DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (AccountBalanceIntervals DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (AccountBalanceIntervals DijkstraEra) = HSMap Credential BalanceInterval
type SpecContext DijkstraEra (AccountBalanceIntervals DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (AccountBalanceIntervals DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (DijkstraNativeScript DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (DijkstraNativeScript DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (DijkstraNativeScript DijkstraEra) = HSNativeScript
type SpecContext DijkstraEra (DijkstraNativeScript DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (DijkstraNativeScript DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (DijkstraTxCert DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (DijkstraTxCert DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Cert type SpecRep DijkstraEra (DijkstraTxCert DijkstraEra) = DCert
type SpecContext DijkstraEra (DijkstraTxCert DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Cert type SpecContext DijkstraEra (DijkstraTxCert DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (EpochState DijkstraEra) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch

Associated Types

type SpecRep DijkstraEra (EpochState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecRep DijkstraEra (EpochState DijkstraEra) = EpochState
type SpecContext DijkstraEra (EpochState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecContext DijkstraEra (EpochState DijkstraEra) = Network

Methods

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

SpecTranslate DijkstraEra (LedgerState DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (LedgerState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecRep DijkstraEra (LedgerState DijkstraEra) = LedgerState
type SpecContext DijkstraEra (LedgerState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecContext DijkstraEra (LedgerState DijkstraEra) = Network

Methods

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

SpecTranslate DijkstraEra (NewEpochState DijkstraEra) Source #

Instance details

Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch

Associated Types

type SpecRep DijkstraEra (NewEpochState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecRep DijkstraEra (NewEpochState DijkstraEra) = NewEpochState
type SpecContext DijkstraEra (NewEpochState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Epoch type SpecContext DijkstraEra (NewEpochState DijkstraEra) = Network

Methods

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

SpecTranslate DijkstraEra (UTxOState DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (UTxOState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Utxo type SpecRep DijkstraEra (UTxOState DijkstraEra) = UTxOState
type SpecContext DijkstraEra (UTxOState DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Utxo type SpecContext DijkstraEra (UTxOState DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (LedgerEnv DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (LedgerEnv DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecRep DijkstraEra (LedgerEnv DijkstraEra) = LedgerEnv
type SpecContext DijkstraEra (LedgerEnv DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecContext DijkstraEra (LedgerEnv DijkstraEra) = (StrictMaybe ScriptHash, EnactState DijkstraEra)

Methods

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

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

Instance details

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

Associated Types

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

Methods

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

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

Instance details

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

Associated Types

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

Methods

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

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

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era (PParamsHKD Identity era) ⇒ SpecTranslate era (PParams era) Source #

Instance details

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

Associated Types

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

Methods

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

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

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era (Credential k) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era (KeyHash r) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era (VKey k) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era (WitVKey k) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era (CommitteeState era) Source #

Instance details

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

Associated Types

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

Methods

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

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

Instance details

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

Associated Types

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

Methods

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

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

Instance details

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

Associated Types

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

Methods

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

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

Instance details

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

Associated Types

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

Methods

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

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

Instance details

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

Associated Types

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

Methods

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

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

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era a ⇒ SpecTranslate era [a] Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (Timelock ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (AlonzoPlutusPurpose AsIx ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (AlonzoStAnnTx 'TopTx ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (ConwayPParams StrictMaybe ConwayEra) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (ConwayPParams StrictMaybe ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ConwayEra (ConwayPParams StrictMaybe ConwayEra) = PParamsUpdate
type SpecContext ConwayEra (ConwayPParams StrictMaybe ConwayEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext ConwayEra (ConwayPParams StrictMaybe ConwayEra) = ()

Methods

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

SpecTranslate ConwayEra (ConwayPParams Identity ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (ConwayPlutusPurpose AsIx ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (Tx 'TopTx ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (TxBody 'TopTx ConwayEra) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate DijkstraEra (Tx 'SubTx DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (Tx 'SubTx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecRep DijkstraEra (Tx 'SubTx DijkstraEra) = TxSub
type SpecContext DijkstraEra (Tx 'SubTx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecContext DijkstraEra (Tx 'SubTx DijkstraEra) = ()

Methods

toSpecRep ∷ Tx 'SubTx DijkstraEra → SpecTransM DijkstraEra (SpecContext DijkstraEra (Tx 'SubTx DijkstraEra)) (SpecRep DijkstraEra (Tx 'SubTx DijkstraEra)) Source #

SpecTranslate DijkstraEra (Tx 'TopTx DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (Tx 'TopTx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecRep DijkstraEra (Tx 'TopTx DijkstraEra) = TxTop
type SpecContext DijkstraEra (Tx 'TopTx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecContext DijkstraEra (Tx 'TopTx DijkstraEra) = ()

Methods

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

SpecTranslate DijkstraEra (TxBody 'SubTx DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (TxBody 'SubTx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecRep DijkstraEra (TxBody 'SubTx DijkstraEra) = TxBodySub
type SpecContext DijkstraEra (TxBody 'SubTx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecContext DijkstraEra (TxBody 'SubTx DijkstraEra) = TxId

Methods

toSpecRep ∷ TxBody 'SubTx DijkstraEra → SpecTransM DijkstraEra (SpecContext DijkstraEra (TxBody 'SubTx DijkstraEra)) (SpecRep DijkstraEra (TxBody 'SubTx DijkstraEra)) Source #

SpecTranslate DijkstraEra (TxBody 'TopTx DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (TxBody 'TopTx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecRep DijkstraEra (TxBody 'TopTx DijkstraEra) = TxBodyTop
type SpecContext DijkstraEra (TxBody 'TopTx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecContext DijkstraEra (TxBody 'TopTx DijkstraEra) = TxId

Methods

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

SpecTranslate DijkstraEra (DijkstraPParams StrictMaybe DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (DijkstraPParams StrictMaybe DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (DijkstraPParams StrictMaybe DijkstraEra) = PParamsUpdate
type SpecContext DijkstraEra (DijkstraPParams StrictMaybe DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (DijkstraPParams StrictMaybe DijkstraEra) = ()

Methods

toSpecRep ∷ DijkstraPParams StrictMaybe DijkstraEra → SpecTransM DijkstraEra (SpecContext DijkstraEra (DijkstraPParams StrictMaybe DijkstraEra)) (SpecRep DijkstraEra (DijkstraPParams StrictMaybe DijkstraEra)) Source #

SpecTranslate DijkstraEra (DijkstraPParams Identity DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (DijkstraPParams Identity DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (DijkstraPParams Identity DijkstraEra) = PParams
type SpecContext DijkstraEra (DijkstraPParams Identity DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (DijkstraPParams Identity DijkstraEra) = ()

Methods

toSpecRep ∷ DijkstraPParams Identity DijkstraEra → SpecTransM DijkstraEra (SpecContext DijkstraEra (DijkstraPParams Identity DijkstraEra)) (SpecRep DijkstraEra (DijkstraPParams Identity DijkstraEra)) Source #

SpecTranslate DijkstraEra (DijkstraPlutusPurpose AsIx DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (DijkstraPlutusPurpose AsIx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (DijkstraPlutusPurpose AsIx DijkstraEra) = RedeemerPtr
type SpecContext DijkstraEra (DijkstraPlutusPurpose AsIx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (DijkstraPlutusPurpose AsIx DijkstraEra) = ()

Methods

toSpecRep ∷ DijkstraPlutusPurpose AsIx DijkstraEra → SpecTransM DijkstraEra (SpecContext DijkstraEra (DijkstraPlutusPurpose AsIx DijkstraEra)) (SpecRep DijkstraEra (DijkstraPlutusPurpose AsIx DijkstraEra)) Source #

SpecTranslate DijkstraEra (DijkstraStAnnTx 'TopTx DijkstraEra) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (DijkstraStAnnTx 'TopTx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecRep DijkstraEra (DijkstraStAnnTx 'TopTx DijkstraEra) = TxTop
type SpecContext DijkstraEra (DijkstraStAnnTx 'TopTx DijkstraEra)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Ledger type SpecContext DijkstraEra (DijkstraStAnnTx 'TopTx DijkstraEra) = ()

Methods

toSpecRep ∷ DijkstraStAnnTx 'TopTx DijkstraEra → SpecTransM DijkstraEra (SpecContext DijkstraEra (DijkstraStAnnTx 'TopTx DijkstraEra)) (SpecRep DijkstraEra (DijkstraStAnnTx 'TopTx DijkstraEra)) Source #

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

Instance details

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

Associated Types

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

Methods

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

SpecTranslate era (Hash a b) Source #

Instance details

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

Associated Types

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

Methods

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

SpecTranslate ConwayEra (HKD f a) ⇒ SpecTranslate ConwayEra (THKD r f a) Source #

Instance details

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

Associated Types

type SpecRep ConwayEra (THKD r f a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecRep ConwayEra (THKD r f a) = SpecRep ConwayEra (HKD f a)
type SpecContext ConwayEra (THKD r f a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base type SpecContext ConwayEra (THKD r f a) = SpecContext ConwayEra (HKD f a)

Methods

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

SpecTranslate DijkstraEra (HKD f a) ⇒ SpecTranslate DijkstraEra (THKD r f a) Source #

Instance details

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

Associated Types

type SpecRep DijkstraEra (THKD r f a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecRep DijkstraEra (THKD r f a) = SpecRep DijkstraEra (HKD f a)
type SpecContext DijkstraEra (THKD r f a)
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base type SpecContext DijkstraEra (THKD r f a) = SpecContext DijkstraEra (HKD f a)

Methods

toSpecRep ∷ THKD r f a → SpecTransM DijkstraEra (SpecContext DijkstraEra (THKD r f a)) (SpecRep DijkstraEra (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.SpecTranslate.Base Methods specNormalize ∷ OpaqueErrorString → OpaqueErrorString Source #
SpecNormalize TxId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ TxId → TxId Source #
SpecNormalize CertState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ CertState → CertState Source #
SpecNormalize DState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ DState → DState Source #
SpecNormalize DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ DepositPurpose → DepositPurpose Source #
SpecNormalize GState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ GState → GState Source #
SpecNormalize PState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ PState → PState Source #
SpecNormalize StakePoolParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ StakePoolParams → StakePoolParams Source #
SpecNormalize EnactState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ EnactState → EnactState Source #
SpecNormalize EpochState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ EpochState → EpochState Source #
SpecNormalize GovActionState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ GovActionState → GovActionState Source #
SpecNormalize GovAction Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ GovAction → GovAction Source #
SpecNormalize GovRole Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ GovRole → GovRole Source #
SpecNormalize GovVotes Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ GovVotes → GovVotes Source #
SpecNormalize VDeleg Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ VDeleg → VDeleg Source #
SpecNormalize Vote Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ Vote → Vote Source #
SpecNormalize LState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ LState → LState Source #
SpecNormalize NewEpochState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ NewEpochState → NewEpochState Source #
SpecNormalize Acnt Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ Acnt → Acnt Source #
SpecNormalize DrepThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ DrepThresholds → DrepThresholds Source #
SpecNormalize LanguageCostModels Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ LanguageCostModels → LanguageCostModels Source #
SpecNormalize PParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ PParams → PParams Source #
SpecNormalize PParamsUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ PParamsUpdate → PParamsUpdate Source #
SpecNormalize PoolThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ PoolThresholds → PoolThresholds Source #
SpecNormalize RatifyEnv Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ RatifyEnv → RatifyEnv Source #
SpecNormalize RatifyState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ RatifyState → RatifyState Source #
SpecNormalize StakeDistrs Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ StakeDistrs → StakeDistrs Source #
SpecNormalize HsRewardUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ HsRewardUpdate → HsRewardUpdate Source #
SpecNormalize Snapshot Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ Snapshot → Snapshot Source #
SpecNormalize Snapshots Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ Snapshots → Snapshots Source #
SpecNormalize HSLanguage Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ HSLanguage → HSLanguage Source #
SpecNormalize HSPlutusScript Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ HSPlutusScript → HSPlutusScript Source #
SpecNormalize HSTimelock Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ HSTimelock → HSTimelock Source #
SpecNormalize Timelock Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ Timelock → Timelock Source #
SpecNormalize UTxOState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Methods specNormalize ∷ UTxOState → UTxOState Source #
SpecNormalize BaseAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods specNormalize ∷ BaseAddr → BaseAddr Source #
SpecNormalize BootstrapAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods specNormalize ∷ BootstrapAddr → BootstrapAddr Source #
SpecNormalize Credential Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods specNormalize ∷ Credential → Credential Source #
SpecNormalize RewardAddress Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods specNormalize ∷ RewardAddress → RewardAddress Source #
SpecNormalize BalanceInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ BalanceInterval → BalanceInterval Source #
SpecNormalize CertState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ CertState → CertState Source #
SpecNormalize DState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ DState → DState Source #
SpecNormalize GState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ GState → GState Source #
SpecNormalize PState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ PState → PState Source #
SpecNormalize StakePoolParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ StakePoolParams → StakePoolParams Source #
SpecNormalize EnactState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ EnactState → EnactState Source #
SpecNormalize EpochState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ EpochState → EpochState Source #
SpecNormalize GovActionState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ GovActionState → GovActionState Source #
SpecNormalize GovAction Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ GovAction → GovAction Source #
SpecNormalize Anchor Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ Anchor → Anchor Source #
SpecNormalize GovRole Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ GovRole → GovRole Source #
SpecNormalize GovVotes Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ GovVotes → GovVotes Source #
SpecNormalize VDeleg Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ VDeleg → VDeleg Source #
SpecNormalize Vote Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ Vote → Vote Source #
SpecNormalize LedgerEnv Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ LedgerEnv → LedgerEnv Source #
SpecNormalize LedgerState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ LedgerState → LedgerState Source #
SpecNormalize NewEpochState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ NewEpochState → NewEpochState Source #
SpecNormalize Acnt Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ Acnt → Acnt Source #
SpecNormalize DrepThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ DrepThresholds → DrepThresholds Source #
SpecNormalize LanguageCostModels Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ LanguageCostModels → LanguageCostModels Source #
SpecNormalize PParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ PParams → PParams Source #
SpecNormalize PParamsUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ PParamsUpdate → PParamsUpdate Source #
SpecNormalize PoolThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ PoolThresholds → PoolThresholds Source #
SpecNormalize RatifyEnv Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ RatifyEnv → RatifyEnv Source #
SpecNormalize RatifyState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ RatifyState → RatifyState Source #
SpecNormalize StakeDistrs Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ StakeDistrs → StakeDistrs Source #
SpecNormalize RewardUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ RewardUpdate → RewardUpdate Source #
SpecNormalize Snapshot Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ Snapshot → Snapshot Source #
SpecNormalize Snapshots Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ Snapshots → Snapshots Source #
SpecNormalize HSLanguage Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ HSLanguage → HSLanguage Source #
SpecNormalize HSNativeScript Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ HSNativeScript → HSNativeScript Source #
SpecNormalize HSPlutusScript Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ HSPlutusScript → HSPlutusScript Source #
SpecNormalize NativeScript Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ NativeScript → NativeScript Source #
SpecNormalize UTxOState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstra.Base Methods specNormalize ∷ UTxOState → UTxOState Source #
SpecNormalize Rational Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods specNormalize ∷ Rational → Rational Source #
SpecNormalize Void Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods specNormalize ∷ Void → Void Source #
SpecNormalize Text Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods specNormalize ∷ Text → Text Source #
SpecNormalize Integer Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods specNormalize ∷ Integer → Integer Source #
SpecNormalize () Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods specNormalize ∷ () → () Source #
SpecNormalize Bool Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods specNormalize ∷ Bool → Bool Source #
SpecNormalize Char Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods specNormalize ∷ Char → Char Source #
(Ord a, SpecNormalize a) ⇒ SpecNormalize (HSSet a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods specNormalize ∷ HSSet a → HSSet a Source #
SpecNormalize a ⇒ SpecNormalize (NonEmpty a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods specNormalize ∷ NonEmpty a → NonEmpty a Source #
SpecNormalize a ⇒ SpecNormalize (Maybe a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base Methods specNormalize ∷ Maybe a → Maybe a Source #
SpecNormalize a ⇒ SpecNormalize [a] Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Base 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.SpecTranslate.Base 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.SpecTranslate.Base 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.SpecTranslate.Base 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.SpecTranslate.Base

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 era ctx a Source #

Instances

Instances details

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

runSpecTransM ∷ ∀ era ctx a. ctx → SpecTransM era ctx a → Either Text a Source #

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

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

askSpecTransM ∷ SpecTransM era ctx ctx Source #

unComputationResult ∷ ComputationResult Text a → Either Text a Source #

unComputationResult_ ∷ ComputationResult Void a → Either e a Source #

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

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

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

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