Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Conformance

Synopsis

class (ShelleyEraImp era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, KnownSymbol rule, ForAllExecSpecRep NFData rule era, ForAllExecSpecRep ToExpr rule era, ForAllExecTypes NFData rule era, ForAllExecTypes ToExpr rule era, ForAllExecTypes EncCBOR rule era, EncCBOR (ExecContext rule era), Eq (SpecState rule era), SpecNormalize (SpecState rule era), NFData (ExecContext rule era), NFData (PredicateFailure (EraRule rule era)), NFData (SpecTRC rule era), ToExpr (ExecContext rule era), ToExpr (PredicateFailure (EraRule rule era))) ⇒ ExecSpecRule (rule ∷ Symbol) era where
- type ExecContext rule era
- type SpecEnvironment rule era
- type SpecState rule era
- type SpecSignal rule era
- runAgdaRule ∷ HasCallStack ⇒ SpecTRC rule era → Either Text (SpecState rule era)
- translateInputs ∷ HasCallStack ⇒ ExecContext rule era → TRC (EraRule rule era) → Either Text (SpecTRC rule era)
- translateOutput ∷ ExecContext rule era → TRC (EraRule rule era) → State (EraRule rule era) → Either Text (SpecState rule era)
- extraInfo ∷ HasCallStack ⇒ Globals → ExecContext rule era → TRC (EraRule rule era) → Either Text (State (EraRule rule era), [Event (EraRule rule era)]) → Doc AnsiStyle
data ConformanceResult rule era = ConformanceResult {
- crTranslationResult ∷ Either (NonEmpty (PredicateFailure (EraRule rule era))) (SpecState rule era)
- crSpecificationResult ∷ Either Text (SpecState rule era)
- crImplementationResult ∷ Either (NonEmpty (PredicateFailure (EraRule rule era))) (State (EraRule rule era), [Event (EraRule rule era)])
}
data SpecTRC rule era = SpecTRC {
- strcEnvironment ∷ SpecEnvironment rule era
- strcState ∷ SpecState rule era
- strcSignal ∷ SpecSignal rule era
}
type ForAllExecSpecRep (c ∷ Type → Constraint) rule era = (c (SpecEnvironment rule era), c (SpecState rule era), c (SpecSignal rule era))
type ForAllExecTypes (c ∷ Type → Constraint) rule era = (c (Environment (EraRule rule era)), c (State (EraRule rule era)), c (Signal (EraRule rule era)))
class SpecNormalize a where
- specNormalize ∷ a → a
class SpecTranslate ctx a where
- type SpecRep a ∷ Type
- toSpecRep ∷ a → SpecTransM ctx (SpecRep a)
newtype OpaqueErrorString = OpaqueErrorString (NonEmpty Text)
data SpecTransM ctx a
generatesWithin ∷ ∀ a. (NFData a, ToExpr a, Typeable a, HasCallStack) ⇒ Gen a → Int → Spec
runConformance ∷ ∀ (rule ∷ Symbol) era. ExecSpecRule rule era ⇒ ExecContext rule era → TRC (EraRule rule era) → ImpTestM era (ConformanceResult rule era)
checkConformance ∷ ∀ rule era. (HasCallStack, Era era, EncCBOR (ExecContext rule era), EncCBOR (Environment (EraRule rule era)), EncCBOR (State (EraRule rule era)), EncCBOR (Signal (EraRule rule era)), ToExpr (SpecState rule era), Eq (SpecState rule era), SpecNormalize (SpecState rule era)) ⇒ ExecContext rule era → TRC (EraRule rule era) → Either Text (SpecState rule era) → Either Text (SpecState rule era) → ImpTestM era ()
testConformance ∷ ∀ rule era. (HasCallStack, ExecSpecRule rule era) ⇒ ExecContext rule era → TRC (EraRule rule era) → Property
translateWithContext ∷ SpecTranslate ctx a ⇒ ctx → a → ImpTestM era (Either Text (SpecRep a))
diffConformance ∷ ToExpr a ⇒ Either Text a → Either Text a → Doc AnsiStyle
runFromAgdaFunction ∷ (SpecEnvironment rule era → SpecState rule era → SpecSignal rule era → ComputationResult Text (SpecState rule era)) → SpecTRC rule era → Either Text (SpecState rule era)
runSpecTransM ∷ ctx → SpecTransM ctx a → Either Text a
unComputationResult ∷ ComputationResult Text a → Either Text a
askCtx ∷ ∀ b ctx. Inject ctx b ⇒ SpecTransM ctx b
withCtx ∷ ctx → SpecTransM ctx a → SpecTransM ctx' a
unComputationResult_ ∷ ComputationResult Void a → Either e a
toSpecRep_ ∷ SpecTranslate () a ⇒ a → SpecRep a
agdaHashToBytes ∷ Int → Integer → ByteString
integerToHash ∷ ∀ h a. HashAlgorithm h ⇒ Integer → Maybe (Hash h a)
hashToInteger ∷ Hash a b → Integer
agdaHashToExpr ∷ Int → Integer → Expr

Documentation

class (ShelleyEraImp era, STS (EraRule rule era), BaseM (EraRule rule era) ~ ShelleyBase, KnownSymbol rule, ForAllExecSpecRep NFData rule era, ForAllExecSpecRep ToExpr rule era, ForAllExecTypes NFData rule era, ForAllExecTypes ToExpr rule era, ForAllExecTypes EncCBOR rule era, EncCBOR (ExecContext rule era), Eq (SpecState rule era), SpecNormalize (SpecState rule era), NFData (ExecContext rule era), NFData (PredicateFailure (EraRule rule era)), NFData (SpecTRC rule era), ToExpr (ExecContext rule era), ToExpr (PredicateFailure (EraRule rule era))) ⇒ ExecSpecRule (rule ∷ Symbol) era where Source #

Minimal complete definition

runAgdaRule

Associated Types

type ExecContext rule era Source #

type ExecContext rule era = ()

type SpecEnvironment rule era Source #

type SpecEnvironment rule era = SpecRep (Environment (EraRule rule era))

type SpecState rule era Source #

type SpecState rule era = SpecRep (State (EraRule rule era))

type SpecSignal rule era Source #

type SpecSignal rule era = SpecRep (Signal (EraRule rule era))

Methods

runAgdaRule ∷ HasCallStack ⇒ SpecTRC rule era → Either Text (SpecState rule era) Source #

translateInputs ∷ HasCallStack ⇒ ExecContext rule era → TRC (EraRule rule era) → Either Text (SpecTRC rule era) Source #

default translateInputs ∷ (SpecTranslate (ExecContext rule era) (Environment (EraRule rule era)), SpecTranslate (ExecContext rule era) (State (EraRule rule era)), SpecTranslate (ExecContext rule era) (Signal (EraRule rule era)), SpecRep (Environment (EraRule rule era)) ~ SpecEnvironment rule era, SpecRep (State (EraRule rule era)) ~ SpecState rule era, SpecRep (Signal (EraRule rule era)) ~ SpecSignal rule era) ⇒ ExecContext rule era → TRC (EraRule rule era) → Either Text (SpecTRC rule era) Source #

translateOutput ∷ ExecContext rule era → TRC (EraRule rule era) → State (EraRule rule era) → Either Text (SpecState rule era) Source #

default translateOutput ∷ (SpecTranslate (ExecContext rule era) (State (EraRule rule era)), SpecRep (State (EraRule rule era)) ~ SpecState rule era) ⇒ ExecContext rule era → TRC (EraRule rule era) → State (EraRule rule era) → Either Text (SpecState rule era) Source #

extraInfo ∷ HasCallStack ⇒ Globals → ExecContext rule era → TRC (EraRule rule era) → Either Text (State (EraRule rule era), [Event (EraRule rule era)]) → Doc AnsiStyle Source #

Instances

Instances details

ExecSpecRule "CERT" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Cert Associated Types type ExecContext "CERT" ConwayEra Source # type SpecEnvironment "CERT" ConwayEra Source # type SpecState "CERT" ConwayEra Source # type SpecSignal "CERT" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "CERT" ConwayEra → Either Text (SpecState "CERT" ConwayEra) Source # translateInputs ∷ ExecContext "CERT" ConwayEra → TRC (EraRule "CERT" ConwayEra) → Either Text (SpecTRC "CERT" ConwayEra) Source # translateOutput ∷ ExecContext "CERT" ConwayEra → TRC (EraRule "CERT" ConwayEra) → State (EraRule "CERT" ConwayEra) → Either Text (SpecState "CERT" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "CERT" ConwayEra → TRC (EraRule "CERT" ConwayEra) → Either Text (State (EraRule "CERT" ConwayEra), [Event (EraRule "CERT" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "CERTS" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Certs Associated Types type ExecContext "CERTS" ConwayEra Source # type SpecEnvironment "CERTS" ConwayEra Source # type SpecState "CERTS" ConwayEra Source # type SpecSignal "CERTS" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "CERTS" ConwayEra → Either Text (SpecState "CERTS" ConwayEra) Source # translateInputs ∷ ExecContext "CERTS" ConwayEra → TRC (EraRule "CERTS" ConwayEra) → Either Text (SpecTRC "CERTS" ConwayEra) Source # translateOutput ∷ ExecContext "CERTS" ConwayEra → TRC (EraRule "CERTS" ConwayEra) → State (EraRule "CERTS" ConwayEra) → Either Text (SpecState "CERTS" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "CERTS" ConwayEra → TRC (EraRule "CERTS" ConwayEra) → Either Text (State (EraRule "CERTS" ConwayEra), [Event (EraRule "CERTS" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "DELEG" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Deleg Associated Types type ExecContext "DELEG" ConwayEra Source # type SpecEnvironment "DELEG" ConwayEra Source # type SpecState "DELEG" ConwayEra Source # type SpecSignal "DELEG" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "DELEG" ConwayEra → Either Text (SpecState "DELEG" ConwayEra) Source # translateInputs ∷ ExecContext "DELEG" ConwayEra → TRC (EraRule "DELEG" ConwayEra) → Either Text (SpecTRC "DELEG" ConwayEra) Source # translateOutput ∷ ExecContext "DELEG" ConwayEra → TRC (EraRule "DELEG" ConwayEra) → State (EraRule "DELEG" ConwayEra) → Either Text (SpecState "DELEG" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "DELEG" ConwayEra → TRC (EraRule "DELEG" ConwayEra) → Either Text (State (EraRule "DELEG" ConwayEra), [Event (EraRule "DELEG" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "ENACT" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Enact Associated Types type ExecContext "ENACT" ConwayEra Source # type SpecEnvironment "ENACT" ConwayEra Source # type SpecState "ENACT" ConwayEra Source # type SpecSignal "ENACT" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "ENACT" ConwayEra → Either Text (SpecState "ENACT" ConwayEra) Source # translateInputs ∷ ExecContext "ENACT" ConwayEra → TRC (EraRule "ENACT" ConwayEra) → Either Text (SpecTRC "ENACT" ConwayEra) Source # translateOutput ∷ ExecContext "ENACT" ConwayEra → TRC (EraRule "ENACT" ConwayEra) → State (EraRule "ENACT" ConwayEra) → Either Text (SpecState "ENACT" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "ENACT" ConwayEra → TRC (EraRule "ENACT" ConwayEra) → Either Text (State (EraRule "ENACT" ConwayEra), [Event (EraRule "ENACT" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "EPOCH" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Epoch Associated Types type ExecContext "EPOCH" ConwayEra Source # type SpecEnvironment "EPOCH" ConwayEra Source # type SpecState "EPOCH" ConwayEra Source # type SpecSignal "EPOCH" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "EPOCH" ConwayEra → Either Text (SpecState "EPOCH" ConwayEra) Source # translateInputs ∷ ExecContext "EPOCH" ConwayEra → TRC (EraRule "EPOCH" ConwayEra) → Either Text (SpecTRC "EPOCH" ConwayEra) Source # translateOutput ∷ ExecContext "EPOCH" ConwayEra → TRC (EraRule "EPOCH" ConwayEra) → State (EraRule "EPOCH" ConwayEra) → Either Text (SpecState "EPOCH" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "EPOCH" ConwayEra → TRC (EraRule "EPOCH" ConwayEra) → Either Text (State (EraRule "EPOCH" ConwayEra), [Event (EraRule "EPOCH" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "GOV" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Gov Associated Types type ExecContext "GOV" ConwayEra Source # type SpecEnvironment "GOV" ConwayEra Source # type SpecState "GOV" ConwayEra Source # type SpecSignal "GOV" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "GOV" ConwayEra → Either Text (SpecState "GOV" ConwayEra) Source # translateInputs ∷ ExecContext "GOV" ConwayEra → TRC (EraRule "GOV" ConwayEra) → Either Text (SpecTRC "GOV" ConwayEra) Source # translateOutput ∷ ExecContext "GOV" ConwayEra → TRC (EraRule "GOV" ConwayEra) → State (EraRule "GOV" ConwayEra) → Either Text (SpecState "GOV" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "GOV" ConwayEra → TRC (EraRule "GOV" ConwayEra) → Either Text (State (EraRule "GOV" ConwayEra), [Event (EraRule "GOV" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "GOVCERT" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.GovCert Associated Types type ExecContext "GOVCERT" ConwayEra Source # type SpecEnvironment "GOVCERT" ConwayEra Source # type SpecState "GOVCERT" ConwayEra Source # type SpecSignal "GOVCERT" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "GOVCERT" ConwayEra → Either Text (SpecState "GOVCERT" ConwayEra) Source # translateInputs ∷ ExecContext "GOVCERT" ConwayEra → TRC (EraRule "GOVCERT" ConwayEra) → Either Text (SpecTRC "GOVCERT" ConwayEra) Source # translateOutput ∷ ExecContext "GOVCERT" ConwayEra → TRC (EraRule "GOVCERT" ConwayEra) → State (EraRule "GOVCERT" ConwayEra) → Either Text (SpecState "GOVCERT" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "GOVCERT" ConwayEra → TRC (EraRule "GOVCERT" ConwayEra) → Either Text (State (EraRule "GOVCERT" ConwayEra), [Event (EraRule "GOVCERT" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "LEDGER" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Associated Types type ExecContext "LEDGER" ConwayEra Source # type SpecEnvironment "LEDGER" ConwayEra Source # type SpecState "LEDGER" ConwayEra Source # type SpecSignal "LEDGER" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "LEDGER" ConwayEra → Either Text (SpecState "LEDGER" ConwayEra) Source # translateInputs ∷ ExecContext "LEDGER" ConwayEra → TRC (EraRule "LEDGER" ConwayEra) → Either Text (SpecTRC "LEDGER" ConwayEra) Source # translateOutput ∷ ExecContext "LEDGER" ConwayEra → TRC (EraRule "LEDGER" ConwayEra) → State (EraRule "LEDGER" ConwayEra) → Either Text (SpecState "LEDGER" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "LEDGER" ConwayEra → TRC (EraRule "LEDGER" ConwayEra) → Either Text (State (EraRule "LEDGER" ConwayEra), [Event (EraRule "LEDGER" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "LEDGERS" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledgers Associated Types type ExecContext "LEDGERS" ConwayEra Source # type SpecEnvironment "LEDGERS" ConwayEra Source # type SpecState "LEDGERS" ConwayEra Source # type SpecSignal "LEDGERS" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "LEDGERS" ConwayEra → Either Text (SpecState "LEDGERS" ConwayEra) Source # translateInputs ∷ ExecContext "LEDGERS" ConwayEra → TRC (EraRule "LEDGERS" ConwayEra) → Either Text (SpecTRC "LEDGERS" ConwayEra) Source # translateOutput ∷ ExecContext "LEDGERS" ConwayEra → TRC (EraRule "LEDGERS" ConwayEra) → State (EraRule "LEDGERS" ConwayEra) → Either Text (SpecState "LEDGERS" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "LEDGERS" ConwayEra → TRC (EraRule "LEDGERS" ConwayEra) → Either Text (State (EraRule "LEDGERS" ConwayEra), [Event (EraRule "LEDGERS" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "NEWEPOCH" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.NewEpoch Associated Types type ExecContext "NEWEPOCH" ConwayEra Source # type SpecEnvironment "NEWEPOCH" ConwayEra Source # type SpecState "NEWEPOCH" ConwayEra Source # type SpecSignal "NEWEPOCH" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "NEWEPOCH" ConwayEra → Either Text (SpecState "NEWEPOCH" ConwayEra) Source # translateInputs ∷ ExecContext "NEWEPOCH" ConwayEra → TRC (EraRule "NEWEPOCH" ConwayEra) → Either Text (SpecTRC "NEWEPOCH" ConwayEra) Source # translateOutput ∷ ExecContext "NEWEPOCH" ConwayEra → TRC (EraRule "NEWEPOCH" ConwayEra) → State (EraRule "NEWEPOCH" ConwayEra) → Either Text (SpecState "NEWEPOCH" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "NEWEPOCH" ConwayEra → TRC (EraRule "NEWEPOCH" ConwayEra) → Either Text (State (EraRule "NEWEPOCH" ConwayEra), [Event (EraRule "NEWEPOCH" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "POOL" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Pool Associated Types type ExecContext "POOL" ConwayEra Source # type SpecEnvironment "POOL" ConwayEra Source # type SpecState "POOL" ConwayEra Source # type SpecSignal "POOL" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "POOL" ConwayEra → Either Text (SpecState "POOL" ConwayEra) Source # translateInputs ∷ ExecContext "POOL" ConwayEra → TRC (EraRule "POOL" ConwayEra) → Either Text (SpecTRC "POOL" ConwayEra) Source # translateOutput ∷ ExecContext "POOL" ConwayEra → TRC (EraRule "POOL" ConwayEra) → State (EraRule "POOL" ConwayEra) → Either Text (SpecState "POOL" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "POOL" ConwayEra → TRC (EraRule "POOL" ConwayEra) → Either Text (State (EraRule "POOL" ConwayEra), [Event (EraRule "POOL" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "RATIFY" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ratify Associated Types type ExecContext "RATIFY" ConwayEra Source # type SpecEnvironment "RATIFY" ConwayEra Source # type SpecState "RATIFY" ConwayEra Source # type SpecSignal "RATIFY" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "RATIFY" ConwayEra → Either Text (SpecState "RATIFY" ConwayEra) Source # translateInputs ∷ ExecContext "RATIFY" ConwayEra → TRC (EraRule "RATIFY" ConwayEra) → Either Text (SpecTRC "RATIFY" ConwayEra) Source # translateOutput ∷ ExecContext "RATIFY" ConwayEra → TRC (EraRule "RATIFY" ConwayEra) → State (EraRule "RATIFY" ConwayEra) → Either Text (SpecState "RATIFY" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "RATIFY" ConwayEra → TRC (EraRule "RATIFY" ConwayEra) → Either Text (State (EraRule "RATIFY" ConwayEra), [Event (EraRule "RATIFY" ConwayEra)]) → Doc AnsiStyle Source #
ExecSpecRule "UTXO" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Utxo Associated Types type ExecContext "UTXO" ConwayEra Source # type SpecEnvironment "UTXO" ConwayEra Source # type SpecState "UTXO" ConwayEra Source # type SpecSignal "UTXO" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "UTXO" ConwayEra → Either Text (SpecState "UTXO" ConwayEra) Source # translateInputs ∷ ExecContext "UTXO" ConwayEra → TRC (EraRule "UTXO" ConwayEra) → Either Text (SpecTRC "UTXO" ConwayEra) Source # translateOutput ∷ ExecContext "UTXO" ConwayEra → TRC (EraRule "UTXO" ConwayEra) → State (EraRule "UTXO" ConwayEra) → Either Text (SpecState "UTXO" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "UTXO" ConwayEra → TRC (EraRule "UTXO" ConwayEra) → Either Text (State (EraRule "UTXO" ConwayEra), [Event (EraRule "UTXO" ConwayEra)]) → Doc AnsiStyle Source #
SpecTranslate TxId (ConwayTxCert ConwayEra) ⇒ ExecSpecRule "UTXOW" ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Utxow Associated Types type ExecContext "UTXOW" ConwayEra Source # type SpecEnvironment "UTXOW" ConwayEra Source # type SpecState "UTXOW" ConwayEra Source # type SpecSignal "UTXOW" ConwayEra Source # Methods runAgdaRule ∷ SpecTRC "UTXOW" ConwayEra → Either Text (SpecState "UTXOW" ConwayEra) Source # translateInputs ∷ ExecContext "UTXOW" ConwayEra → TRC (EraRule "UTXOW" ConwayEra) → Either Text (SpecTRC "UTXOW" ConwayEra) Source # translateOutput ∷ ExecContext "UTXOW" ConwayEra → TRC (EraRule "UTXOW" ConwayEra) → State (EraRule "UTXOW" ConwayEra) → Either Text (SpecState "UTXOW" ConwayEra) Source # extraInfo ∷ Globals → ExecContext "UTXOW" ConwayEra → TRC (EraRule "UTXOW" ConwayEra) → Either Text (State (EraRule "UTXOW" ConwayEra), [Event (EraRule "UTXOW" ConwayEra)]) → Doc AnsiStyle Source #

data ConformanceResult rule era Source #

Constructors

ConformanceResult
Fields crTranslationResult ∷ Either (NonEmpty (PredicateFailure (EraRule rule era))) (SpecState rule era) crSpecificationResult ∷ Either Text (SpecState rule era) crImplementationResult ∷ Either (NonEmpty (PredicateFailure (EraRule rule era))) (State (EraRule rule era), [Event (EraRule rule era)])

Instances

Instances details

Generic (ConformanceResult rule era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Core Associated Types type Rep (ConformanceResult rule era) ∷ Type → Type # Methods from ∷ ConformanceResult rule era → Rep (ConformanceResult rule era) x # to ∷ Rep (ConformanceResult rule era) x → ConformanceResult rule era #
(Show (SpecState rule era), Show (PredicateFailure (EraRule rule era)), Show (State (EraRule rule era)), Show (Event (EraRule rule era))) ⇒ Show (ConformanceResult rule era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Core Methods showsPrec ∷ Int → ConformanceResult rule era → ShowS # show ∷ ConformanceResult rule era → String # showList ∷ [ConformanceResult rule era] → ShowS #
(ToExpr (SpecState rule era), ToExpr (PredicateFailure (EraRule rule era)), ToExpr (State (EraRule rule era)), ToExpr (Event (EraRule rule era))) ⇒ ToExpr (ConformanceResult rule era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Core Methods toExpr ∷ ConformanceResult rule era → Expr Source # listToExpr ∷ [ConformanceResult rule era] → Expr Source #
type Rep (ConformanceResult rule era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Core type Rep (ConformanceResult rule era) = D1 ('MetaData "ConformanceResult" "Test.Cardano.Ledger.Conformance.ExecSpecRule.Core" "cardano-ledger-conformance-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ConformanceResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "crTranslationResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either (NonEmpty (PredicateFailure (EraRule rule era))) (SpecState rule era))) :: (S1 ('MetaSel ('Just "crSpecificationResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Text (SpecState rule era))) :: S1 ('MetaSel ('Just "crImplementationResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either (NonEmpty (PredicateFailure (EraRule rule era))) (State (EraRule rule era), [Event (EraRule rule era)]))))))

data SpecTRC rule era Source #

Constructors

SpecTRC
Fields strcEnvironment ∷ SpecEnvironment rule era strcState ∷ SpecState rule era strcSignal ∷ SpecSignal rule era

Instances

Instances details

Generic (SpecTRC rule era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Core Associated Types type Rep (SpecTRC rule era) ∷ Type → Type # Methods from ∷ SpecTRC rule era → Rep (SpecTRC rule era) x # to ∷ Rep (SpecTRC rule era) x → SpecTRC rule era #
ForAllExecSpecRep NFData rule era ⇒ NFData (SpecTRC rule era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Core Methods rnf ∷ SpecTRC rule era → () #
ForAllExecSpecRep Eq rule era ⇒ Eq (SpecTRC rule era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Core Methods (==) ∷ SpecTRC rule era → SpecTRC rule era → Bool # (/=) ∷ SpecTRC rule era → SpecTRC rule era → Bool #
ForAllExecSpecRep ToExpr rule era ⇒ ToExpr (SpecTRC rule era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Core Methods toExpr ∷ SpecTRC rule era → Expr Source # listToExpr ∷ [SpecTRC rule era] → Expr Source #
type Rep (SpecTRC rule era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Core type Rep (SpecTRC rule era) = D1 ('MetaData "SpecTRC" "Test.Cardano.Ledger.Conformance.ExecSpecRule.Core" "cardano-ledger-conformance-9.9.9.9-inplace" 'False) (C1 ('MetaCons "SpecTRC" 'PrefixI 'True) (S1 ('MetaSel ('Just "strcEnvironment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SpecEnvironment rule era)) :: (S1 ('MetaSel ('Just "strcState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SpecState rule era)) :: S1 ('MetaSel ('Just "strcSignal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SpecSignal rule era)))))

type ForAllExecSpecRep (c ∷ Type → Constraint) rule era = (c (SpecEnvironment rule era), c (SpecState rule era), c (SpecSignal rule era)) Source #

type ForAllExecTypes (c ∷ Type → Constraint) rule era = (c (Environment (EraRule rule era)), c (State (EraRule rule era)), c (Signal (EraRule rule era))) 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 Void Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Void → Void Source #
SpecNormalize OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ OpaqueErrorString → OpaqueErrorString Source #
SpecNormalize BaseAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ BaseAddr → BaseAddr Source #
SpecNormalize BootstrapAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ BootstrapAddr → BootstrapAddr Source #
SpecNormalize Credential Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Credential → Credential Source #
SpecNormalize RwdAddr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ RwdAddr → RwdAddr Source #
SpecNormalize CertState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ CertState → CertState Source #
SpecNormalize DState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ DState → DState Source #
SpecNormalize DepositPurpose Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ DepositPurpose → DepositPurpose Source #
SpecNormalize GState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ GState → GState Source #
SpecNormalize PState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ PState → PState Source #
SpecNormalize PoolParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ PoolParams → PoolParams Source #
SpecNormalize EnactState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ EnactState → EnactState Source #
SpecNormalize EpochState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ EpochState → EpochState Source #
SpecNormalize Snapshot Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Snapshot → Snapshot Source #
SpecNormalize Snapshots Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Snapshots → Snapshots Source #
SpecNormalize GovActionState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ GovActionState → GovActionState Source #
SpecNormalize GovAction Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ GovAction → GovAction Source #
SpecNormalize GovRole Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ GovRole → GovRole Source #
SpecNormalize VDeleg Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ VDeleg → VDeleg Source #
SpecNormalize Vote Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Vote → Vote Source #
SpecNormalize LState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ LState → LState Source #
SpecNormalize HsRewardUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HsRewardUpdate → HsRewardUpdate Source #
SpecNormalize NewEpochState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ NewEpochState → NewEpochState Source #
SpecNormalize Acnt Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Acnt → Acnt Source #
SpecNormalize DrepThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ DrepThresholds → DrepThresholds Source #
SpecNormalize PParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ PParams → PParams Source #
SpecNormalize PParamsUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ PParamsUpdate → PParamsUpdate Source #
SpecNormalize PoolThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ PoolThresholds → PoolThresholds Source #
SpecNormalize RatifyEnv Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ RatifyEnv → RatifyEnv Source #
SpecNormalize RatifyState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ RatifyState → RatifyState Source #
SpecNormalize StakeDistrs Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ StakeDistrs → StakeDistrs Source #
SpecNormalize HSPlutusScript Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HSPlutusScript → HSPlutusScript Source #
SpecNormalize HSTimelock Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HSTimelock → HSTimelock Source #
SpecNormalize Timelock Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Timelock → Timelock Source #
SpecNormalize TxId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ TxId → TxId Source #
SpecNormalize UTxOState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ UTxOState → UTxOState Source #
SpecNormalize Rational Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Rational → Rational Source #
SpecNormalize Text Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Text → Text Source #
SpecNormalize () Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ () → () Source #
SpecNormalize Bool Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Bool → Bool Source #
SpecNormalize Char Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Char → Char Source #
SpecNormalize a ⇒ SpecNormalize (NonEmpty a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ NonEmpty a → NonEmpty a Source #
(Ord a, SpecNormalize a) ⇒ SpecNormalize (HSSet a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HSSet a → HSSet a Source #
SpecNormalize a ⇒ SpecNormalize (Maybe a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Maybe a → Maybe a Source #
SpecNormalize a ⇒ SpecNormalize [a] Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ [a] → [a] Source #
(SpecNormalize a, SpecNormalize b) ⇒ SpecNormalize (Either a b) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ Either a b → Either a b Source #
(Eq v, Ord k, SpecNormalize k, SpecNormalize v) ⇒ SpecNormalize (HSMap k v) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ HSMap k v → HSMap k v Source #
(SpecNormalize a, SpecNormalize b) ⇒ SpecNormalize (a, b) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ (a, b) → (a, b) Source #

class SpecTranslate ctx a where Source #

Associated Types

type SpecRep a ∷ Type Source #

Methods

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

Instances

Instances details

SpecTranslate ctx Void Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Void Source # Methods toSpecRep ∷ Void → SpecTransM ctx (SpecRep Void) Source #
SpecTranslate ctx Word16 Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Word16 Source # Methods toSpecRep ∷ Word16 → SpecTransM ctx (SpecRep Word16) Source #
SpecTranslate ctx Word32 Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Word32 Source # Methods toSpecRep ∷ Word32 → SpecTransM ctx (SpecRep Word32) Source #
SpecTranslate ctx Word64 Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Word64 Source # Methods toSpecRep ∷ Word64 → SpecTransM ctx (SpecRep Word64) Source #
SpecTranslate ctx ValidityInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ValidityInterval Source # Methods toSpecRep ∷ ValidityInterval → SpecTransM ctx (SpecRep ValidityInterval) Source #
SpecTranslate ctx OrdExUnits Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep OrdExUnits Source # Methods toSpecRep ∷ OrdExUnits → SpecTransM ctx (SpecRep OrdExUnits) Source #
SpecTranslate ctx IsValid Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep IsValid Source # Methods toSpecRep ∷ IsValid → SpecTransM ctx (SpecRep IsValid) Source #
SpecTranslate ctx CoinPerByte Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep CoinPerByte Source # Methods toSpecRep ∷ CoinPerByte → SpecTransM ctx (SpecRep CoinPerByte) Source #
SpecTranslate ctx GovActionId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep GovActionId Source # Methods toSpecRep ∷ GovActionId → SpecTransM ctx (SpecRep GovActionId) Source #
SpecTranslate ctx GovActionIx Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep GovActionIx Source # Methods toSpecRep ∷ GovActionIx → SpecTransM ctx (SpecRep GovActionIx) Source #
SpecTranslate ctx Vote Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Vote Source # Methods toSpecRep ∷ Vote → SpecTransM ctx (SpecRep Vote) Source #
SpecTranslate ctx Voter Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Voter Source # Methods toSpecRep ∷ Voter → SpecTransM ctx (SpecRep Voter) Source #
SpecTranslate ctx DRepVotingThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep DRepVotingThresholds Source # Methods toSpecRep ∷ DRepVotingThresholds → SpecTransM ctx (SpecRep DRepVotingThresholds) Source #
SpecTranslate ctx PoolVotingThresholds Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep PoolVotingThresholds Source # Methods toSpecRep ∷ PoolVotingThresholds → SpecTransM ctx (SpecRep PoolVotingThresholds) Source #
SpecTranslate ctx ConwayDelegCert Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg Associated Types type SpecRep ConwayDelegCert Source # Methods toSpecRep ∷ ConwayDelegCert → SpecTransM ctx (SpecRep ConwayDelegCert) Source #
SpecTranslate ctx ConwayGovCert Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert Associated Types type SpecRep ConwayGovCert Source # Methods toSpecRep ∷ ConwayGovCert → SpecTransM ctx (SpecRep ConwayGovCert) Source #
SpecTranslate ctx Addr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Addr Source # Methods toSpecRep ∷ Addr → SpecTransM ctx (SpecRep Addr) Source #
SpecTranslate ctx BootstrapAddress Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep BootstrapAddress Source # Methods toSpecRep ∷ BootstrapAddress → SpecTransM ctx (SpecRep BootstrapAddress) Source #
SpecTranslate ctx RewardAccount Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep RewardAccount Source # Methods toSpecRep ∷ RewardAccount → SpecTransM ctx (SpecRep RewardAccount) Source #
SpecTranslate ctx Withdrawals Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Withdrawals Source # Methods toSpecRep ∷ Withdrawals → SpecTransM ctx (SpecRep Withdrawals) Source #
SpecTranslate ctx Anchor Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Anchor Source # Methods toSpecRep ∷ Anchor → SpecTransM ctx (SpecRep Anchor) Source #
SpecTranslate ctx Network Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Network Source # Methods toSpecRep ∷ Network → SpecTransM ctx (SpecRep Network) Source #
SpecTranslate ctx NonNegativeInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep NonNegativeInterval Source # Methods toSpecRep ∷ NonNegativeInterval → SpecTransM ctx (SpecRep NonNegativeInterval) Source #
SpecTranslate ctx ProtVer Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ProtVer Source # Methods toSpecRep ∷ ProtVer → SpecTransM ctx (SpecRep ProtVer) Source #
SpecTranslate ctx TxIx Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxIx Source # Methods toSpecRep ∷ TxIx → SpecTransM ctx (SpecRep TxIx) Source #
SpecTranslate ctx UnitInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep UnitInterval Source # Methods toSpecRep ∷ UnitInterval → SpecTransM ctx (SpecRep UnitInterval) Source #
SpecTranslate ctx Url Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Url Source # Methods toSpecRep ∷ Url → SpecTransM ctx (SpecRep Url) Source #
SpecTranslate ctx Coin Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Coin Source # Methods toSpecRep ∷ Coin → SpecTransM ctx (SpecRep Coin) Source #
SpecTranslate ctx DeltaCoin Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep DeltaCoin Source # Methods toSpecRep ∷ DeltaCoin → SpecTransM ctx (SpecRep DeltaCoin) Source #
SpecTranslate ctx PoolCert Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool Associated Types type SpecRep PoolCert Source # Methods toSpecRep ∷ PoolCert → SpecTransM ctx (SpecRep PoolCert) Source #
SpecTranslate ctx StakeReference Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep StakeReference Source # Methods toSpecRep ∷ StakeReference → SpecTransM ctx (SpecRep StakeReference) Source #
SpecTranslate ctx DRep Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep DRep Source # Methods toSpecRep ∷ DRep → SpecTransM ctx (SpecRep DRep) Source #
SpecTranslate ctx ScriptHash Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ScriptHash Source # Methods toSpecRep ∷ ScriptHash → SpecTransM ctx (SpecRep ScriptHash) Source #
SpecTranslate ctx TxAuxDataHash Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxAuxDataHash Source # Methods toSpecRep ∷ TxAuxDataHash → SpecTransM ctx (SpecRep TxAuxDataHash) Source #
SpecTranslate ctx CostModels Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep CostModels Source # Methods toSpecRep ∷ CostModels → SpecTransM ctx (SpecRep CostModels) Source #
SpecTranslate ctx ExUnits Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep ExUnits Source # Methods toSpecRep ∷ ExUnits → SpecTransM ctx (SpecRep ExUnits) Source #
SpecTranslate ctx Prices Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Prices Source # Methods toSpecRep ∷ Prices → SpecTransM ctx (SpecRep Prices) Source #
SpecTranslate ctx CommitteeAuthorization Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep CommitteeAuthorization Source # Methods toSpecRep ∷ CommitteeAuthorization → SpecTransM ctx (SpecRep CommitteeAuthorization) Source #
SpecTranslate ctx ChainAccountState Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep ChainAccountState Source # Methods toSpecRep ∷ ChainAccountState → SpecTransM ctx (SpecRep ChainAccountState) Source #
SpecTranslate ctx IndividualPoolStake Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep IndividualPoolStake Source # Methods toSpecRep ∷ IndividualPoolStake → SpecTransM ctx (SpecRep IndividualPoolStake) Source #
SpecTranslate ctx PoolDistr Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep PoolDistr Source # Methods toSpecRep ∷ PoolDistr → SpecTransM ctx (SpecRep PoolDistr) Source #
SpecTranslate ctx SnapShot Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep SnapShot Source # Methods toSpecRep ∷ SnapShot → SpecTransM ctx (SpecRep SnapShot) Source #
SpecTranslate ctx SnapShots Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep SnapShots Source # Methods toSpecRep ∷ SnapShots → SpecTransM ctx (SpecRep SnapShots) Source #
SpecTranslate ctx Stake Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep Stake Source # Methods toSpecRep ∷ Stake → SpecTransM ctx (SpecRep Stake) Source #
SpecTranslate ctx PoolParams Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep PoolParams Source # Methods toSpecRep ∷ PoolParams → SpecTransM ctx (SpecRep PoolParams) Source #
SpecTranslate ctx TxId Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxId Source # Methods toSpecRep ∷ TxId → SpecTransM ctx (SpecRep TxId) Source #
SpecTranslate ctx TxIn Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep TxIn Source # Methods toSpecRep ∷ TxIn → SpecTransM ctx (SpecRep TxIn) Source #
SpecTranslate ctx MaryValue Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep MaryValue Source # Methods toSpecRep ∷ MaryValue → SpecTransM ctx (SpecRep MaryValue) Source #
SpecTranslate ctx PulsingRewUpdate Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep PulsingRewUpdate Source # Methods toSpecRep ∷ PulsingRewUpdate → SpecTransM ctx (SpecRep PulsingRewUpdate) Source #
SpecTranslate ctx EpochInterval Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep EpochInterval Source # Methods toSpecRep ∷ EpochInterval → SpecTransM ctx (SpecRep EpochInterval) Source #
SpecTranslate ctx EpochNo Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep EpochNo Source # Methods toSpecRep ∷ EpochNo → SpecTransM ctx (SpecRep EpochNo) Source #
SpecTranslate ctx SlotNo Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep SlotNo Source # Methods toSpecRep ∷ SlotNo → SpecTransM ctx (SpecRep SlotNo) Source #
SpecTranslate ctx Integer Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Integer Source # Methods toSpecRep ∷ Integer → SpecTransM ctx (SpecRep Integer) Source #
SpecTranslate ctx () Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep () Source # Methods toSpecRep ∷ () → SpecTransM ctx (SpecRep ()) Source #
SpecTranslate ctx Bool Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep Bool Source # Methods toSpecRep ∷ Bool → SpecTransM ctx (SpecRep Bool) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (OSet a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (OSet a) Source # Methods toSpecRep ∷ OSet a → SpecTransM ctx (SpecRep (OSet a)) Source #
(AlonzoEraScript era, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate ctx (AlonzoScript era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoScript era) Source # Methods toSpecRep ∷ AlonzoScript era → SpecTransM ctx (SpecRep (AlonzoScript era)) Source #
(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate ctx (PlutusScript era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (PlutusScript era) Source # Methods toSpecRep ∷ PlutusScript era → SpecTransM ctx (SpecRep (PlutusScript era)) Source #
Era era ⇒ SpecTranslate ctx (AlonzoTxAuxData era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoTxAuxData era) Source # Methods toSpecRep ∷ AlonzoTxAuxData era → SpecTransM ctx (SpecRep (AlonzoTxAuxData era)) Source #
(AlonzoEraScript era, SpecTranslate ctx (PlutusPurpose AsIx era), SpecRep (PlutusPurpose AsIx era) ~ RdmrPtr, Script era ~ AlonzoScript era, NativeScript era ~ Timelock era) ⇒ SpecTranslate ctx (AlonzoTxWits era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoTxWits era) Source # Methods toSpecRep ∷ AlonzoTxWits era → SpecTransM ctx (SpecRep (AlonzoTxWits era)) Source #
(AlonzoEraScript era, SpecTranslate ctx (PlutusPurpose AsIx era)) ⇒ SpecTranslate ctx (Redeemers era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Redeemers era) Source # Methods toSpecRep ∷ Redeemers era → SpecTransM ctx (SpecRep (Redeemers era)) Source #
Era era ⇒ SpecTranslate ctx (TxDats era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (TxDats era) Source # Methods toSpecRep ∷ TxDats era → SpecTransM ctx (SpecRep (TxDats era)) Source #
(EraTxOut era, SpecRep (Value era) ~ Coin, Script era ~ AlonzoScript era, SpecTranslate ctx (Value era), SpecTranslate ctx (Script era)) ⇒ SpecTranslate ctx (BabbageTxOut era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (BabbageTxOut era) Source # Methods toSpecRep ∷ BabbageTxOut era → SpecTransM ctx (SpecRep (BabbageTxOut era)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (Sized a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Sized a) Source # Methods toSpecRep ∷ Sized a → SpecTransM ctx (SpecRep (Sized a)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (EnactState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (EnactState era) Source # Methods toSpecRep ∷ EnactState era → SpecTransM ctx (SpecRep (EnactState era)) Source #
(Inject ctx Coin, ConwayEraAccounts era) ⇒ SpecTranslate ctx (RatifyEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (RatifyEnv era) Source # Methods toSpecRep ∷ RatifyEnv era → SpecTransM ctx (SpecRep (RatifyEnv era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (RatifySignal era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (RatifySignal era) Source # Methods toSpecRep ∷ RatifySignal era → SpecTransM ctx (SpecRep (RatifySignal era)) Source #
(EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecTranslate ctx (PParamsHKD StrictMaybe era)) ⇒ SpecTranslate ctx (RatifyState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (RatifyState era) Source # Methods toSpecRep ∷ RatifyState era → SpecTransM ctx (SpecRep (RatifyState era)) Source #
SpecTranslate ctx (Committee era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Committee era) Source # Methods toSpecRep ∷ Committee era → SpecTransM ctx (SpecRep (Committee era)) Source #
SpecTranslate ctx (Constitution era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Constitution era) Source # Methods toSpecRep ∷ Constitution era → SpecTransM ctx (SpecRep (Constitution era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovAction era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (GovAction era) Source # Methods toSpecRep ∷ GovAction era → SpecTransM ctx (SpecRep (GovAction era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovActionState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (GovActionState era) Source # Methods toSpecRep ∷ GovActionState era → SpecTransM ctx (SpecRep (GovActionState era)) Source #
SpecTranslate ctx (GovPurposeId r) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (GovPurposeId r) Source # Methods toSpecRep ∷ GovPurposeId r → SpecTransM ctx (SpecRep (GovPurposeId r)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (ProposalProcedure era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ProposalProcedure era) Source # Methods toSpecRep ∷ ProposalProcedure era → SpecTransM ctx (SpecRep (ProposalProcedure era)) Source #
SpecTranslate ctx (VotingProcedures era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (VotingProcedures era) Source # Methods toSpecRep ∷ VotingProcedures era → SpecTransM ctx (SpecRep (VotingProcedures era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (Proposals era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Proposals era) Source # Methods toSpecRep ∷ Proposals era → SpecTransM ctx (SpecRep (Proposals era)) Source #
(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map RewardAccount Coin)) ⇒ SpecTranslate ctx (CertEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (CertEnv era) Source # Methods toSpecRep ∷ CertEnv era → SpecTransM ctx (SpecRep (CertEnv era)) Source #
(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map RewardAccount Coin)) ⇒ SpecTranslate ctx (CertsEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Certs Associated Types type SpecRep (CertsEnv era) Source # Methods toSpecRep ∷ CertsEnv era → SpecTransM ctx (SpecRep (CertsEnv era)) Source #
(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (Set (Credential 'DRepRole))) ⇒ SpecTranslate ctx (ConwayDelegEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg Associated Types type SpecRep (ConwayDelegEnv era) Source # Methods toSpecRep ∷ ConwayDelegEnv era → SpecTransM ctx (SpecRep (ConwayDelegEnv era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (EnactSignal era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (EnactSignal era) Source # Methods toSpecRep ∷ EnactSignal era → SpecTransM ctx (SpecRep (EnactSignal era)) Source #
(SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (EnactState era), EraPParams era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (CertState era), SpecRep (CertState era) ~ CertState, EraCertState era) ⇒ SpecTranslate ctx (GovEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov Associated Types type SpecRep (GovEnv era) Source # Methods toSpecRep ∷ GovEnv era → SpecTransM ctx (SpecRep (GovEnv era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate) ⇒ SpecTranslate ctx (GovSignal era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Gov Associated Types type SpecRep (GovSignal era) Source # Methods toSpecRep ∷ GovSignal era → SpecTransM ctx (SpecRep (GovSignal era)) Source #
(SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (VotingProcedures era), Inject ctx (Map RewardAccount Coin)) ⇒ SpecTranslate ctx (ConwayGovCertEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert Associated Types type SpecRep (ConwayGovCertEnv era) Source # Methods toSpecRep ∷ ConwayGovCertEnv era → SpecTransM ctx (SpecRep (ConwayGovCertEnv era)) Source #
ConwayEraAccounts era ⇒ SpecTranslate ctx (ConwayCertState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (ConwayCertState era) Source # Methods toSpecRep ∷ ConwayCertState era → SpecTransM ctx (SpecRep (ConwayCertState era)) Source #
SpecTranslate ctx (VState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.GovCert Associated Types type SpecRep (VState era) Source # Methods toSpecRep ∷ VState era → SpecTransM ctx (SpecRep (VState era)) Source #
Era era ⇒ SpecTranslate ctx (ConwayTxCert era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (ConwayTxCert era) Source # Methods toSpecRep ∷ ConwayTxCert era → SpecTransM ctx (SpecRep (ConwayTxCert era)) Source #
(SpecTranslate ctx a, Compactible a) ⇒ SpecTranslate ctx (CompactForm a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (CompactForm a) Source # Methods toSpecRep ∷ CompactForm a → SpecTransM ctx (SpecRep (CompactForm a)) Source #
SpecTranslate ctx (Tx ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger Associated Types type SpecRep (Tx ConwayEra) Source # Methods toSpecRep ∷ Tx ConwayEra → SpecTransM ctx (SpecRep (Tx ConwayEra)) Source #
Inject ctx TxId ⇒ SpecTranslate ctx (TxBody ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger Associated Types type SpecRep (TxBody ConwayEra) Source # Methods toSpecRep ∷ TxBody ConwayEra → SpecTransM ctx (SpecRep (TxBody ConwayEra)) Source #
SpecTranslate ctx (PParamsHKD Identity era) ⇒ SpecTranslate ctx (PParams era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (PParams era) Source # Methods toSpecRep ∷ PParams era → SpecTransM ctx (SpecRep (PParams era)) Source #
SpecTranslate ctx (PParamsHKD StrictMaybe era) ⇒ SpecTranslate ctx (PParamsUpdate era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (PParamsUpdate era) Source # Methods toSpecRep ∷ PParamsUpdate era → SpecTransM ctx (SpecRep (PParamsUpdate era)) Source #
SpecTranslate ctx (Credential k) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Credential k) Source # Methods toSpecRep ∷ Credential k → SpecTransM ctx (SpecRep (Credential k)) Source #
SpecTranslate ctx (KeyHash r) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (KeyHash r) Source # Methods toSpecRep ∷ KeyHash r → SpecTransM ctx (SpecRep (KeyHash r)) Source #
SpecTranslate ctx (SafeHash a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (SafeHash a) Source # Methods toSpecRep ∷ SafeHash a → SpecTransM ctx (SpecRep (SafeHash a)) Source #
SpecTranslate ctx (VKey k) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (VKey k) Source # Methods toSpecRep ∷ VKey k → SpecTransM ctx (SpecRep (VKey k)) Source #
SpecTranslate ctx (WitVKey k) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (WitVKey k) Source # Methods toSpecRep ∷ WitVKey k → SpecTransM ctx (SpecRep (WitVKey k)) Source #
(SpecRep DataHash ~ DataHash, Era era) ⇒ SpecTranslate ctx (BinaryData era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (BinaryData era) Source # Methods toSpecRep ∷ BinaryData era → SpecTransM ctx (SpecRep (BinaryData era)) Source #
Era era ⇒ SpecTranslate ctx (Data era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Data era) Source # Methods toSpecRep ∷ Data era → SpecTransM ctx (SpecRep (Data era)) Source #
Era era ⇒ SpecTranslate ctx (Datum era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Datum era) Source # Methods toSpecRep ∷ Datum era → SpecTransM ctx (SpecRep (Datum era)) Source #
SpecTranslate ctx (CommitteeState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (CommitteeState era) Source # Methods toSpecRep ∷ CommitteeState era → SpecTransM ctx (SpecRep (CommitteeState era)) Source #
ConwayEraAccounts era ⇒ SpecTranslate ctx (DState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Deleg Associated Types type SpecRep (DState era) Source # Methods toSpecRep ∷ DState era → SpecTransM ctx (SpecRep (DState era)) Source #
SpecTranslate ctx (PState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool Associated Types type SpecRep (PState era) Source # Methods toSpecRep ∷ PState era → SpecTransM ctx (SpecRep (PState era)) Source #
(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut) ⇒ SpecTranslate ctx (UTxO era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (UTxO era) Source # Methods toSpecRep ∷ UTxO era → SpecTransM ctx (SpecRep (UTxO era)) Source #
(EraPParams era, ConwayEraGov era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate ctx (EpochState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (EpochState era) Source # Methods toSpecRep ∷ EpochState era → SpecTransM ctx (SpecRep (EpochState era)) Source #
(ConwayEraGov era, SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate ctx (LedgerState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (LedgerState era) Source # Methods toSpecRep ∷ LedgerState era → SpecTransM ctx (SpecRep (LedgerState era)) Source #
(EraPParams era, ConwayEraGov era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD StrictMaybe era), SpecRep (PParamsHKD StrictMaybe era) ~ PParamsUpdate, Inject ctx [GovActionState era], ToExpr (PParamsHKD StrictMaybe era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, SpecTranslate (CertState era) (TxOut era), SpecRep (CertState era) ~ CertState, ConwayEraCertState era, CertState era ~ ConwayCertState era) ⇒ SpecTranslate ctx (NewEpochState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (NewEpochState era) Source # Methods toSpecRep ∷ NewEpochState era → SpecTransM ctx (SpecRep (NewEpochState era)) Source #
(SpecTranslate ctx (TxOut era), SpecRep (TxOut era) ~ TxOut, GovState era ~ ConwayGovState era, Inject ctx (CertState era), ConwayEraCertState era) ⇒ SpecTranslate ctx (UTxOState era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Cert Associated Types type SpecRep (UTxOState era) Source # Methods toSpecRep ∷ UTxOState era → SpecTransM ctx (SpecRep (UTxOState era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), SpecRep (PParamsHKD Identity era) ~ PParams, Inject ctx (StrictMaybe ScriptHash), Inject ctx (EnactState era)) ⇒ SpecTranslate ctx (LedgerEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledger Associated Types type SpecRep (LedgerEnv era) Source # Methods toSpecRep ∷ LedgerEnv era → SpecTransM ctx (SpecRep (LedgerEnv era)) Source #
(EraPParams era, SpecTranslate ctx (PParamsHKD Identity era), Inject ctx (EnactState era), SpecRep (PParamsHKD Identity era) ~ PParams) ⇒ SpecTranslate ctx (ShelleyLedgersEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Ledgers Associated Types type SpecRep (ShelleyLedgersEnv era) Source # Methods toSpecRep ∷ ShelleyLedgersEnv era → SpecTransM ctx (SpecRep (ShelleyLedgersEnv era)) Source #
(SpecRep (PParamsHKD Identity era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (PoolEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Pool Associated Types type SpecRep (PoolEnv era) Source # Methods toSpecRep ∷ PoolEnv era → SpecTransM ctx (SpecRep (PoolEnv era)) Source #
(SpecRep (PParams era) ~ PParams, SpecTranslate ctx (PParamsHKD Identity era)) ⇒ SpecTranslate ctx (UtxoEnv era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Utxo Associated Types type SpecRep (UtxoEnv era) Source # Methods toSpecRep ∷ UtxoEnv era → SpecTransM ctx (SpecRep (UtxoEnv era)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictMaybe a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (StrictMaybe a) Source # Methods toSpecRep ∷ StrictMaybe a → SpecTransM ctx (SpecRep (StrictMaybe a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (StrictSeq a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (StrictSeq a) Source # Methods toSpecRep ∷ StrictSeq a → SpecTransM ctx (SpecRep (StrictSeq a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (Seq a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Seq a) Source # Methods toSpecRep ∷ Seq a → SpecTransM ctx (SpecRep (Seq a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (Set a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Set a) Source # Methods toSpecRep ∷ Set a → SpecTransM ctx (SpecRep (Set a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx (Maybe a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Maybe a) Source # Methods toSpecRep ∷ Maybe a → SpecTransM ctx (SpecRep (Maybe a)) Source #
SpecTranslate ctx a ⇒ SpecTranslate ctx [a] Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep [a] Source # Methods toSpecRep ∷ [a] → SpecTransM ctx (SpecRep [a]) Source #
DSIGNAlgorithm v ⇒ SpecTranslate ctx (SignedDSIGN v a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (SignedDSIGN v a) Source # Methods toSpecRep ∷ SignedDSIGN v a → SpecTransM ctx (SpecRep (SignedDSIGN v a)) Source #
SpecTranslate ctx (Hash a b) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Hash a b) Source # Methods toSpecRep ∷ Hash a b → SpecTransM ctx (SpecRep (Hash a b)) Source #
(SpecTranslate ctx k, SpecTranslate ctx v, Ord k) ⇒ SpecTranslate ctx (OMap k v) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (OMap k v) Source # Methods toSpecRep ∷ OMap k v → SpecTransM ctx (SpecRep (OMap k v)) Source #
(AlonzoEraScript era, NativeScript era ~ Timelock era, Script era ~ AlonzoScript era) ⇒ SpecTranslate ctx (Timelock era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Timelock era) Source # Methods toSpecRep ∷ Timelock era → SpecTransM ctx (SpecRep (Timelock era)) Source #
SpecTranslate ctx (AlonzoPlutusPurpose AsIx era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (AlonzoPlutusPurpose AsIx era) Source # Methods toSpecRep ∷ AlonzoPlutusPurpose AsIx era → SpecTransM ctx (SpecRep (AlonzoPlutusPurpose AsIx era)) Source #
(ConwayEraPParams era, PParamsHKD Identity era ~ ConwayPParams Identity era) ⇒ SpecTranslate ctx (ConwayPParams Identity era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayPParams Identity era) Source # Methods toSpecRep ∷ ConwayPParams Identity era → SpecTransM ctx (SpecRep (ConwayPParams Identity era)) Source #
SpecTranslate ctx (ConwayPParams StrictMaybe era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayPParams StrictMaybe era) Source # Methods toSpecRep ∷ ConwayPParams StrictMaybe era → SpecTransM ctx (SpecRep (ConwayPParams StrictMaybe era)) Source #
SpecTranslate ctx (ConwayPlutusPurpose AsIx era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (ConwayPlutusPurpose AsIx era) Source # Methods toSpecRep ∷ ConwayPlutusPurpose AsIx era → SpecTransM ctx (SpecRep (ConwayPlutusPurpose AsIx era)) Source #
(SpecTranslate ctx k, SpecTranslate ctx v, Ord k) ⇒ SpecTranslate ctx (Map k v) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (Map k v) Source # Methods toSpecRep ∷ Map k v → SpecTransM ctx (SpecRep (Map k v)) Source #
(SpecTranslate ctx a, SpecTranslate ctx b) ⇒ SpecTranslate ctx (a, b) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (a, b) Source # Methods toSpecRep ∷ (a, b) → SpecTransM ctx (SpecRep (a, b)) Source #
SpecTranslate ctx (HKD f a) ⇒ SpecTranslate ctx (THKD r f a) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base Associated Types type SpecRep (THKD r f a) Source # Methods toSpecRep ∷ THKD r f a → SpecTransM ctx (SpecRep (THKD r f a)) Source #

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

Semigroup OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core 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.Core Associated Types type Rep OpaqueErrorString ∷ Type → Type # Methods from ∷ OpaqueErrorString → Rep OpaqueErrorString x # to ∷ Rep OpaqueErrorString x → OpaqueErrorString #
Show OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods showsPrec ∷ Int → OpaqueErrorString → ShowS # show ∷ OpaqueErrorString → String # showList ∷ [OpaqueErrorString] → ShowS #
SpecNormalize OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.Orphans Methods specNormalize ∷ OpaqueErrorString → OpaqueErrorString Source #
NFData OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods rnf ∷ OpaqueErrorString → () #
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.Core Methods (==) ∷ OpaqueErrorString → OpaqueErrorString → Bool # (/=) ∷ OpaqueErrorString → OpaqueErrorString → Bool #
ToExpr OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core Methods toExpr ∷ OpaqueErrorString → Expr Source # listToExpr ∷ [OpaqueErrorString] → Expr Source #
type Rep OpaqueErrorString Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.SpecTranslate.Core type Rep OpaqueErrorString = D1 ('MetaData "OpaqueErrorString" "Test.Cardano.Ledger.Conformance.SpecTranslate.Core" "cardano-ledger-conformance-9.9.9.9-inplace" 'True) (C1 ('MetaCons "OpaqueErrorString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Text))))

data SpecTransM ctx a Source #

Instances

Instances details

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

generatesWithin ∷ ∀ a. (NFData a, ToExpr a, Typeable a, HasCallStack) ⇒ Gen a → Int → Spec Source #

runConformance ∷ ∀ (rule ∷ Symbol) era. ExecSpecRule rule era ⇒ ExecContext rule era → TRC (EraRule rule era) → ImpTestM era (ConformanceResult rule era) Source #

checkConformance ∷ ∀ rule era. (HasCallStack, Era era, EncCBOR (ExecContext rule era), EncCBOR (Environment (EraRule rule era)), EncCBOR (State (EraRule rule era)), EncCBOR (Signal (EraRule rule era)), ToExpr (SpecState rule era), Eq (SpecState rule era), SpecNormalize (SpecState rule era)) ⇒ ExecContext rule era → TRC (EraRule rule era) → Either Text (SpecState rule era) → Either Text (SpecState rule era) → ImpTestM era () Source #

testConformance ∷ ∀ rule era. (HasCallStack, ExecSpecRule rule era) ⇒ ExecContext rule era → TRC (EraRule rule era) → Property Source #

translateWithContext ∷ SpecTranslate ctx a ⇒ ctx → a → ImpTestM era (Either Text (SpecRep a)) Source #

Translate a Haskell type a whose translation context is ctx into its Agda type, in the ImpTest monad.

diffConformance ∷ ToExpr a ⇒ Either Text a → Either Text a → Doc AnsiStyle Source #

runFromAgdaFunction ∷ (SpecEnvironment rule era → SpecState rule era → SpecSignal rule era → ComputationResult Text (SpecState rule era)) → SpecTRC rule era → Either Text (SpecState rule era) Source #

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

unComputationResult ∷ ComputationResult Text a → Either Text a Source #

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

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

unComputationResult_ ∷ ComputationResult Void a → Either e a Source #

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

agdaHashToBytes ∷ Int → Integer → ByteString Source #

integerToHash ∷ ∀ h a. HashAlgorithm h ⇒ Integer → Maybe (Hash h a) Source #

hashToInteger ∷ Hash a b → Integer Source #

agdaHashToExpr ∷ Int → Integer → Expr Source #