cardano-ledger-conformance-9.9.9.9: Testing utilities for conformance testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base

Documentation

data ConwayCertExecContext era Source #

Constructors

ConwayCertExecContext

The UMap of the DState has a field with type: Map (Credential 'Staking) DRep The VState field vsDReps has type: Map (Credential DRepRole) DRepState The DRepState field drepDelegs has type: Set (Credential Staking) Every (Credential 'DRepRole c) corresponds to a unique (DRep) the ccecDelegatees field helps maintain that correspondance, It is used in vstateSpec and bootstrapDStateSpec. Also see getDelegatees :: DState era -> Map (Credential 'DRepRole) (Set (Credential 'Staking)) in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs, which defines the exact correspondance. }

Fields

Instances

Instances details
Era era ⇒ Arbitrary (ConwayCertExecContext era) Source # 
Instance details

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

Methods

arbitrary ∷ Gen (ConwayCertExecContext era) Source #

shrink ∷ ConwayCertExecContext era → [ConwayCertExecContext era] Source #

Generic (ConwayCertExecContext era) Source # 
Instance details

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

Associated Types

type Rep (ConwayCertExecContext era) ∷ Type → Type #

Methods

from ∷ ConwayCertExecContext era → Rep (ConwayCertExecContext era) x #

to ∷ Rep (ConwayCertExecContext era) x → ConwayCertExecContext era #

Show (ConwayCertExecContext era) Source # 
Instance details

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

Methods

showsPrec ∷ Int → ConwayCertExecContext era → ShowS #

show ∷ ConwayCertExecContext era → String #

showList ∷ [ConwayCertExecContext era] → ShowS #

Reflect era ⇒ DecCBOR (ConwayCertExecContext era) Source # 
Instance details

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

Methods

decCBOR ∷ Decoder s (ConwayCertExecContext era) Source #

dropCBOR ∷ Proxy (ConwayCertExecContext era) → Decoder s () Source #

label ∷ Proxy (ConwayCertExecContext era) → Text Source #

Era era ⇒ EncCBOR (ConwayCertExecContext era) Source # 
Instance details

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

Methods

encCBOR ∷ ConwayCertExecContext era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayCertExecContext era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayCertExecContext era] → Size Source #

Era era ⇒ HasSpec (ConwayCertExecContext era) Source # 
Instance details

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

Associated Types

type TypeSpec (ConwayCertExecContext era) Source #

type Prerequisites (ConwayCertExecContext era) Source #

Methods

emptySpec ∷ TypeSpec (ConwayCertExecContext era) Source #

combineSpec ∷ TypeSpec (ConwayCertExecContext era) → TypeSpec (ConwayCertExecContext era) → Specification (ConwayCertExecContext era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayCertExecContext era) → GenT m (ConwayCertExecContext era) Source #

conformsTo ∷ ConwayCertExecContext era → TypeSpec (ConwayCertExecContext era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ConwayCertExecContext era) → ConwayCertExecContext era → [ConwayCertExecContext era] Source #

toPreds ∷ Term (ConwayCertExecContext era) → TypeSpec (ConwayCertExecContext era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ConwayCertExecContext era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ConwayCertExecContext era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ConwayCertExecContext era) → BinaryShow Source #

monadConformsTo ∷ ConwayCertExecContext era → TypeSpec (ConwayCertExecContext era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ConwayCertExecContext era) → [ConwayCertExecContext era] → Specification (ConwayCertExecContext era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ConwayCertExecContext era) → Specification (ConwayCertExecContext era) Source #

prerequisites ∷ Evidence (Prerequisites (ConwayCertExecContext era)) Source #

Typeable era ⇒ HasSimpleRep (ConwayCertExecContext era) Source # 
Instance details

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

Associated Types

type SimpleRep (ConwayCertExecContext era) Source #

type TheSop (ConwayCertExecContext era) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayCertExecContext era → SimpleRep (ConwayCertExecContext era) Source #

fromSimpleRep ∷ SimpleRep (ConwayCertExecContext era) → ConwayCertExecContext era Source #

Era era ⇒ NFData (ConwayCertExecContext era) Source # 
Instance details

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

Methods

rnf ∷ ConwayCertExecContext era → () #

Eq (ConwayCertExecContext era) Source # 
Instance details

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

Methods

(==) ∷ ConwayCertExecContext era → ConwayCertExecContext era → Bool #

(/=) ∷ ConwayCertExecContext era → ConwayCertExecContext era → Bool #

Era era ⇒ ToExpr (ConwayCertExecContext era) Source # 
Instance details

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

Methods

toExpr ∷ ConwayCertExecContext era → Expr Source #

listToExpr ∷ [ConwayCertExecContext era] → Expr Source #

Inject (ConwayCertExecContext era) (VotingProcedures era) Source # 
Instance details

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

Methods

inject ∷ ConwayCertExecContext era → VotingProcedures era Source #

Inject (ConwayCertExecContext era) (Map RewardAccount Coin) Source # 
Instance details

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

Methods

inject ∷ ConwayCertExecContext era → Map RewardAccount Coin Source #

Inject (ConwayCertExecContext era) (Map DepositPurpose Coin) Source # 
Instance details

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

Methods

inject ∷ ConwayCertExecContext era → Map DepositPurpose Coin Source #

Inject (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) (VotingProcedures ConwayEra) Source # 
Instance details

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

Methods

inject ∷ (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) → VotingProcedures ConwayEra Source #

Inject (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) (Set (Credential 'DRepRole)) Source # 
Instance details

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

Methods

inject ∷ (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) → Set (Credential 'DRepRole) Source #

Inject (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) (Map RewardAccount Coin) Source # 
Instance details

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

Methods

inject ∷ (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) → Map RewardAccount Coin Source #

type Rep (ConwayCertExecContext era) Source # 
Instance details

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

type Rep (ConwayCertExecContext era) = D1 ('MetaData "ConwayCertExecContext" "Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base" "cardano-ledger-conformance-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ConwayCertExecContext" 'PrefixI 'True) ((S1 ('MetaSel ('Just "ccecWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map RewardAccount Coin)) :*: S1 ('MetaSel ('Just "ccecDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map DepositPurpose Coin))) :*: (S1 ('MetaSel ('Just "ccecVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era)) :*: S1 ('MetaSel ('Just "ccecDelegatees") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'DRepRole))))))
type Prerequisites (ConwayCertExecContext era) Source # 
Instance details

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

type Prerequisites (ConwayCertExecContext era) = ()
type TypeSpec (ConwayCertExecContext era) Source # 
Instance details

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

type TypeSpec (ConwayCertExecContext era) = TypeSpec (SimpleRep (ConwayCertExecContext era))
type SimpleRep (ConwayCertExecContext era) Source # 
Instance details

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

type SimpleRep (ConwayCertExecContext era) = SOP (TheSop (ConwayCertExecContext era))
type TheSop (ConwayCertExecContext era) Source # 
Instance details

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

type TheSop (ConwayCertExecContext era) = SOPOf (Rep (ConwayCertExecContext era))

conwayCertExecContextSpec ∷ ∀ era. Era era ⇒ WitUniv era → Integer → Specification (ConwayCertExecContext era) Source #

data ConwayRatifyExecContext era Source #

Constructors

ConwayRatifyExecContext 

Fields

Instances

Instances details
(Era era, Arbitrary (PParamsHKD StrictMaybe era)) ⇒ Arbitrary (ConwayRatifyExecContext era) Source # 
Instance details

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

Methods

arbitrary ∷ Gen (ConwayRatifyExecContext era) Source #

shrink ∷ ConwayRatifyExecContext era → [ConwayRatifyExecContext era] Source #

Generic (ConwayRatifyExecContext era) Source # 
Instance details

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

Associated Types

type Rep (ConwayRatifyExecContext era) ∷ Type → Type #

Methods

from ∷ ConwayRatifyExecContext era → Rep (ConwayRatifyExecContext era) x #

to ∷ Rep (ConwayRatifyExecContext era) x → ConwayRatifyExecContext era #

EraPParams era ⇒ Show (ConwayRatifyExecContext era) Source # 
Instance details

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

Methods

showsPrec ∷ Int → ConwayRatifyExecContext era → ShowS #

show ∷ ConwayRatifyExecContext era → String #

showList ∷ [ConwayRatifyExecContext era] → ShowS #

EraPParams era ⇒ DecCBOR (ConwayRatifyExecContext era) Source # 
Instance details

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

Methods

decCBOR ∷ Decoder s (ConwayRatifyExecContext era) Source #

dropCBOR ∷ Proxy (ConwayRatifyExecContext era) → Decoder s () Source #

label ∷ Proxy (ConwayRatifyExecContext era) → Text Source #

EraPParams era ⇒ EncCBOR (ConwayRatifyExecContext era) Source # 
Instance details

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

Methods

encCBOR ∷ ConwayRatifyExecContext era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayRatifyExecContext era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayRatifyExecContext era] → Size Source #

(EraPParams era, HasSpec (GovActionState era)) ⇒ HasSpec (ConwayRatifyExecContext era) Source # 
Instance details

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

Associated Types

type TypeSpec (ConwayRatifyExecContext era) Source #

type Prerequisites (ConwayRatifyExecContext era) Source #

Methods

emptySpec ∷ TypeSpec (ConwayRatifyExecContext era) Source #

combineSpec ∷ TypeSpec (ConwayRatifyExecContext era) → TypeSpec (ConwayRatifyExecContext era) → Specification (ConwayRatifyExecContext era) Source #

genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec (ConwayRatifyExecContext era) → GenT m (ConwayRatifyExecContext era) Source #

conformsTo ∷ ConwayRatifyExecContext era → TypeSpec (ConwayRatifyExecContext era) → Bool Source #

shrinkWithTypeSpec ∷ TypeSpec (ConwayRatifyExecContext era) → ConwayRatifyExecContext era → [ConwayRatifyExecContext era] Source #

toPreds ∷ Term (ConwayRatifyExecContext era) → TypeSpec (ConwayRatifyExecContext era) → Pred Source #

cardinalTypeSpec ∷ TypeSpec (ConwayRatifyExecContext era) → Specification Integer Source #

cardinalTrueSpec ∷ Specification Integer Source #

typeSpecHasError ∷ TypeSpec (ConwayRatifyExecContext era) → Maybe (NonEmpty String) Source #

alternateShow ∷ TypeSpec (ConwayRatifyExecContext era) → BinaryShow Source #

monadConformsTo ∷ ConwayRatifyExecContext era → TypeSpec (ConwayRatifyExecContext era) → Writer [String] Bool Source #

typeSpecOpt ∷ TypeSpec (ConwayRatifyExecContext era) → [ConwayRatifyExecContext era] → Specification (ConwayRatifyExecContext era) Source #

guardTypeSpec ∷ [String] → TypeSpec (ConwayRatifyExecContext era) → Specification (ConwayRatifyExecContext era) Source #

prerequisites ∷ Evidence (Prerequisites (ConwayRatifyExecContext era)) Source #

Typeable era ⇒ HasSimpleRep (ConwayRatifyExecContext era) Source # 
Instance details

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

Associated Types

type SimpleRep (ConwayRatifyExecContext era) Source #

type TheSop (ConwayRatifyExecContext era) ∷ [Type] Source #

Methods

toSimpleRep ∷ ConwayRatifyExecContext era → SimpleRep (ConwayRatifyExecContext era) Source #

fromSimpleRep ∷ SimpleRep (ConwayRatifyExecContext era) → ConwayRatifyExecContext era Source #

EraPParams era ⇒ NFData (ConwayRatifyExecContext era) Source # 
Instance details

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

Methods

rnf ∷ ConwayRatifyExecContext era → () #

EraPParams era ⇒ Eq (ConwayRatifyExecContext era) Source # 
Instance details

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

Methods

(==) ∷ ConwayRatifyExecContext era → ConwayRatifyExecContext era → Bool #

(/=) ∷ ConwayRatifyExecContext era → ConwayRatifyExecContext era → Bool #

ToExpr (PParamsHKD StrictMaybe era) ⇒ ToExpr (ConwayRatifyExecContext era) Source # 
Instance details

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

Methods

toExpr ∷ ConwayRatifyExecContext era → Expr Source #

listToExpr ∷ [ConwayRatifyExecContext era] → Expr Source #

Inject (ConwayRatifyExecContext era) Coin Source # 
Instance details

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

Methods

inject ∷ ConwayRatifyExecContext era → Coin Source #

Inject (ConwayRatifyExecContext era) [GovActionState era] Source # 
Instance details

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

Methods

inject ∷ ConwayRatifyExecContext era → [GovActionState era] Source #

type Rep (ConwayRatifyExecContext era) Source # 
Instance details

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

type Rep (ConwayRatifyExecContext era) = D1 ('MetaData "ConwayRatifyExecContext" "Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base" "cardano-ledger-conformance-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ConwayRatifyExecContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "crecTreasury") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "crecGovActionMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GovActionState era])))
type Prerequisites (ConwayRatifyExecContext era) Source # 
Instance details

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

type Prerequisites (ConwayRatifyExecContext era) = ()
type TypeSpec (ConwayRatifyExecContext era) Source # 
Instance details

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

type TypeSpec (ConwayRatifyExecContext era) = TypeSpec (SimpleRep (ConwayRatifyExecContext era))
type SimpleRep (ConwayRatifyExecContext era) Source # 
Instance details

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

type SimpleRep (ConwayRatifyExecContext era) = SOP (TheSop (ConwayRatifyExecContext era))
type TheSop (ConwayRatifyExecContext era) Source # 
Instance details

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

type TheSop (ConwayRatifyExecContext era) = SOPOf (Rep (ConwayRatifyExecContext era))

nameEpoch ∷ EpochNo → String Source #

nameEnact ∷ EnactSignal era → String Source #

nameGovAction ∷ GovAction era → String Source #

crecTreasuryL ∷ Lens' (ConwayRatifyExecContext era) Coin Source #

crecGovActionMapL ∷ Lens' (ConwayRatifyExecContext era) [GovActionState era] Source #

enactStateSpec ∷ ConwayEnactExecContext ConwayEra → ConwayExecEnactEnv ConwayEra → Specification (EnactState ConwayEra) Source #

externalFunctions ∷ ExternalFunctions Source #

Orphan instances

ExecSpecRule "ENACT" ConwayEra Source # 
Instance details

Associated Types

type ExecContext "ENACT" ConwayEra Source #

type ExecEnvironment "ENACT" ConwayEra Source #

type ExecState "ENACT" ConwayEra Source #

type ExecSignal "ENACT" ConwayEra Source #

Methods

environmentSpec ∷ ExecContext "ENACT" ConwayEra → Specification (ExecEnvironment "ENACT" ConwayEra) Source #

stateSpec ∷ ExecContext "ENACT" ConwayEra → ExecEnvironment "ENACT" ConwayEra → Specification (ExecState "ENACT" ConwayEra) Source #

signalSpec ∷ ExecContext "ENACT" ConwayEra → ExecEnvironment "ENACT" ConwayEra → ExecState "ENACT" ConwayEra → Specification (ExecSignal "ENACT" ConwayEra) Source #

classOf ∷ ExecSignal "ENACT" ConwayEra → Maybe String Source #

genExecContext ∷ Gen (ExecContext "ENACT" ConwayEra) Source #

runAgdaRule ∷ SpecRep (ExecEnvironment "ENACT" ConwayEra) → SpecRep (ExecState "ENACT" ConwayEra) → SpecRep (ExecSignal "ENACT" ConwayEra) → Either OpaqueErrorString (SpecRep (ExecState "ENACT" ConwayEra)) Source #

translateInputs ∷ ExecEnvironment "ENACT" ConwayEra → ExecState "ENACT" ConwayEra → ExecSignal "ENACT" ConwayEra → ExecContext "ENACT" ConwayEra → ImpTestM ConwayEra (SpecRep (ExecEnvironment "ENACT" ConwayEra), SpecRep (ExecState "ENACT" ConwayEra), SpecRep (ExecSignal "ENACT" ConwayEra)) Source #

testConformance ∷ ExecContext "ENACT" ConwayEra → ExecEnvironment "ENACT" ConwayEra → ExecState "ENACT" ConwayEra → ExecSignal "ENACT" ConwayEra → Property Source #

extraInfo ∷ Globals → ExecContext "ENACT" ConwayEra → Environment (EraRule "ENACT" ConwayEra) → State (EraRule "ENACT" ConwayEra) → Signal (EraRule "ENACT" ConwayEra) → Either OpaqueErrorString (State (EraRule "ENACT" ConwayEra), [Event (EraRule "ENACT" ConwayEra)]) → Doc AnsiStyle Source #

ExecSpecRule "EPOCH" ConwayEra Source # 
Instance details

Associated Types

type ExecContext "EPOCH" ConwayEra Source #

type ExecEnvironment "EPOCH" ConwayEra Source #

type ExecState "EPOCH" ConwayEra Source #

type ExecSignal "EPOCH" ConwayEra Source #

Methods

environmentSpec ∷ ExecContext "EPOCH" ConwayEra → Specification (ExecEnvironment "EPOCH" ConwayEra) Source #

stateSpec ∷ ExecContext "EPOCH" ConwayEra → ExecEnvironment "EPOCH" ConwayEra → Specification (ExecState "EPOCH" ConwayEra) Source #

signalSpec ∷ ExecContext "EPOCH" ConwayEra → ExecEnvironment "EPOCH" ConwayEra → ExecState "EPOCH" ConwayEra → Specification (ExecSignal "EPOCH" ConwayEra) Source #

classOf ∷ ExecSignal "EPOCH" ConwayEra → Maybe String Source #

genExecContext ∷ Gen (ExecContext "EPOCH" ConwayEra) Source #

runAgdaRule ∷ SpecRep (ExecEnvironment "EPOCH" ConwayEra) → SpecRep (ExecState "EPOCH" ConwayEra) → SpecRep (ExecSignal "EPOCH" ConwayEra) → Either OpaqueErrorString (SpecRep (ExecState "EPOCH" ConwayEra)) Source #

translateInputs ∷ ExecEnvironment "EPOCH" ConwayEra → ExecState "EPOCH" ConwayEra → ExecSignal "EPOCH" ConwayEra → ExecContext "EPOCH" ConwayEra → ImpTestM ConwayEra (SpecRep (ExecEnvironment "EPOCH" ConwayEra), SpecRep (ExecState "EPOCH" ConwayEra), SpecRep (ExecSignal "EPOCH" ConwayEra)) Source #

testConformance ∷ ExecContext "EPOCH" ConwayEra → ExecEnvironment "EPOCH" ConwayEra → ExecState "EPOCH" ConwayEra → ExecSignal "EPOCH" ConwayEra → Property Source #

extraInfo ∷ Globals → ExecContext "EPOCH" ConwayEra → Environment (EraRule "EPOCH" ConwayEra) → State (EraRule "EPOCH" ConwayEra) → Signal (EraRule "EPOCH" ConwayEra) → Either OpaqueErrorString (State (EraRule "EPOCH" ConwayEra), [Event (EraRule "EPOCH" ConwayEra)]) → Doc AnsiStyle Source #

ExecSpecRule "NEWEPOCH" ConwayEra Source # 
Instance details

Associated Types

type ExecContext "NEWEPOCH" ConwayEra Source #

type ExecEnvironment "NEWEPOCH" ConwayEra Source #

type ExecState "NEWEPOCH" ConwayEra Source #

type ExecSignal "NEWEPOCH" ConwayEra Source #

Methods

environmentSpec ∷ ExecContext "NEWEPOCH" ConwayEra → Specification (ExecEnvironment "NEWEPOCH" ConwayEra) Source #

stateSpec ∷ ExecContext "NEWEPOCH" ConwayEra → ExecEnvironment "NEWEPOCH" ConwayEra → Specification (ExecState "NEWEPOCH" ConwayEra) Source #

signalSpec ∷ ExecContext "NEWEPOCH" ConwayEra → ExecEnvironment "NEWEPOCH" ConwayEra → ExecState "NEWEPOCH" ConwayEra → Specification (ExecSignal "NEWEPOCH" ConwayEra) Source #

classOf ∷ ExecSignal "NEWEPOCH" ConwayEra → Maybe String Source #

genExecContext ∷ Gen (ExecContext "NEWEPOCH" ConwayEra) Source #

runAgdaRule ∷ SpecRep (ExecEnvironment "NEWEPOCH" ConwayEra) → SpecRep (ExecState "NEWEPOCH" ConwayEra) → SpecRep (ExecSignal "NEWEPOCH" ConwayEra) → Either OpaqueErrorString (SpecRep (ExecState "NEWEPOCH" ConwayEra)) Source #

translateInputs ∷ ExecEnvironment "NEWEPOCH" ConwayEra → ExecState "NEWEPOCH" ConwayEra → ExecSignal "NEWEPOCH" ConwayEra → ExecContext "NEWEPOCH" ConwayEra → ImpTestM ConwayEra (SpecRep (ExecEnvironment "NEWEPOCH" ConwayEra), SpecRep (ExecState "NEWEPOCH" ConwayEra), SpecRep (ExecSignal "NEWEPOCH" ConwayEra)) Source #

testConformance ∷ ExecContext "NEWEPOCH" ConwayEra → ExecEnvironment "NEWEPOCH" ConwayEra → ExecState "NEWEPOCH" ConwayEra → ExecSignal "NEWEPOCH" ConwayEra → Property Source #

extraInfo ∷ Globals → ExecContext "NEWEPOCH" ConwayEra → Environment (EraRule "NEWEPOCH" ConwayEra) → State (EraRule "NEWEPOCH" ConwayEra) → Signal (EraRule "NEWEPOCH" ConwayEra) → Either OpaqueErrorString (State (EraRule "NEWEPOCH" ConwayEra), [Event (EraRule "NEWEPOCH" ConwayEra)]) → Doc AnsiStyle Source #

ExecSpecRule "RATIFY" ConwayEra Source # 
Instance details

Associated Types

type ExecContext "RATIFY" ConwayEra Source #

type ExecEnvironment "RATIFY" ConwayEra Source #

type ExecState "RATIFY" ConwayEra Source #

type ExecSignal "RATIFY" ConwayEra Source #

Methods

environmentSpec ∷ ExecContext "RATIFY" ConwayEra → Specification (ExecEnvironment "RATIFY" ConwayEra) Source #

stateSpec ∷ ExecContext "RATIFY" ConwayEra → ExecEnvironment "RATIFY" ConwayEra → Specification (ExecState "RATIFY" ConwayEra) Source #

signalSpec ∷ ExecContext "RATIFY" ConwayEra → ExecEnvironment "RATIFY" ConwayEra → ExecState "RATIFY" ConwayEra → Specification (ExecSignal "RATIFY" ConwayEra) Source #

classOf ∷ ExecSignal "RATIFY" ConwayEra → Maybe String Source #

genExecContext ∷ Gen (ExecContext "RATIFY" ConwayEra) Source #

runAgdaRule ∷ SpecRep (ExecEnvironment "RATIFY" ConwayEra) → SpecRep (ExecState "RATIFY" ConwayEra) → SpecRep (ExecSignal "RATIFY" ConwayEra) → Either OpaqueErrorString (SpecRep (ExecState "RATIFY" ConwayEra)) Source #

translateInputs ∷ ExecEnvironment "RATIFY" ConwayEra → ExecState "RATIFY" ConwayEra → ExecSignal "RATIFY" ConwayEra → ExecContext "RATIFY" ConwayEra → ImpTestM ConwayEra (SpecRep (ExecEnvironment "RATIFY" ConwayEra), SpecRep (ExecState "RATIFY" ConwayEra), SpecRep (ExecSignal "RATIFY" ConwayEra)) Source #

testConformance ∷ ExecContext "RATIFY" ConwayEra → ExecEnvironment "RATIFY" ConwayEra → ExecState "RATIFY" ConwayEra → ExecSignal "RATIFY" ConwayEra → Property Source #

extraInfo ∷ Globals → ExecContext "RATIFY" ConwayEra → Environment (EraRule "RATIFY" ConwayEra) → State (EraRule "RATIFY" ConwayEra) → Signal (EraRule "RATIFY" ConwayEra) → Either OpaqueErrorString (State (EraRule "RATIFY" ConwayEra), [Event (EraRule "RATIFY" ConwayEra)]) → Doc AnsiStyle Source #

Inject (EpochExecEnv era) () Source # 
Instance details

Methods

inject ∷ EpochExecEnv era → () Source #