Safe Haskell	Safe-Inferred
Language	Haskell2010

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

Contents

Orphan instances

Documentation

data ConwayCertExecContext era Source #

Constructors

ConwayCertExecContext
Fields ccecWithdrawals ∷ !(Map (RewardAccount (EraCrypto era)) Coin) ccecDeposits ∷ !(Map (DepositPurpose (EraCrypto era)) Coin) ccecVotes ∷ !(VotingProcedures era)

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 Source # Methods from ∷ ConwayCertExecContext era → Rep (ConwayCertExecContext era) x Source # to ∷ Rep (ConwayCertExecContext era) x → ConwayCertExecContext era Source #
Show (ConwayCertExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base Methods showsPrec ∷ Int → ConwayCertExecContext era → ShowS Source # show ∷ ConwayCertExecContext era → String Source # showList ∷ [ConwayCertExecContext era] → ShowS Source #
Era 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 ⇒ NFData (ConwayCertExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base Methods rnf ∷ ConwayCertExecContext era → () Source #
Eq (ConwayCertExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base Methods (==) ∷ ConwayCertExecContext era → ConwayCertExecContext era → Bool Source # (/=) ∷ ConwayCertExecContext era → ConwayCertExecContext era → Bool Source #
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 #
c ~ EraCrypto era ⇒ Inject (ConwayCertExecContext era) (Map (RewardAccount c) Coin) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base Methods inject ∷ ConwayCertExecContext era → Map (RewardAccount c) Coin Source #
c ~ EraCrypto era ⇒ Inject (ConwayCertExecContext era) (Map (DepositPurpose c) Coin) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base Methods inject ∷ ConwayCertExecContext era → Map (DepositPurpose c) 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-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ConwayCertExecContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "ccecWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (RewardAccount (EraCrypto era)) Coin)) :: (S1 ('MetaSel ('Just "ccecDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (DepositPurpose (EraCrypto era)) Coin)) :: S1 ('MetaSel ('Just "ccecVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures era)))))

data ConwayRatifyExecContext era Source #

Constructors

ConwayRatifyExecContext
Fields crecTreasury ∷ Coin crecGovActionMap ∷ [GovActionState era]

Instances

Instances details

(IsConwayUniv fn, EraPParams era, HasSpec fn (GovActionState era)) ⇒ HasSpec fn (ConwayRatifyExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base Associated Types type TypeSpec fn (ConwayRatifyExecContext era) Source # type Prerequisites fn (ConwayRatifyExecContext era) Source # Methods emptySpec ∷ TypeSpec fn (ConwayRatifyExecContext era) Source # combineSpec ∷ TypeSpec fn (ConwayRatifyExecContext era) → TypeSpec fn (ConwayRatifyExecContext era) → Specification fn (ConwayRatifyExecContext era) Source # genFromTypeSpec ∷ ∀ (m ∷ Type → Type). (HasCallStack, MonadGenError m) ⇒ TypeSpec fn (ConwayRatifyExecContext era) → GenT m (ConwayRatifyExecContext era) Source # conformsTo ∷ ConwayRatifyExecContext era → TypeSpec fn (ConwayRatifyExecContext era) → Bool Source # shrinkWithTypeSpec ∷ TypeSpec fn (ConwayRatifyExecContext era) → ConwayRatifyExecContext era → [ConwayRatifyExecContext era] Source # toPreds ∷ Term fn (ConwayRatifyExecContext era) → TypeSpec fn (ConwayRatifyExecContext era) → Pred fn Source # cardinalTypeSpec ∷ TypeSpec fn (ConwayRatifyExecContext era) → Specification fn Integer Source # cardinalTrueSpec ∷ Specification fn Integer Source # typeSpecHasError ∷ TypeSpec fn (ConwayRatifyExecContext era) → Maybe (NonEmpty String) Source # alternateShow ∷ TypeSpec fn (ConwayRatifyExecContext era) → BinaryShow Source # monadConformsTo ∷ ConwayRatifyExecContext era → TypeSpec fn (ConwayRatifyExecContext era) → Writer [String] Bool Source # typeSpecOpt ∷ TypeSpec fn (ConwayRatifyExecContext era) → [ConwayRatifyExecContext era] → Specification fn (ConwayRatifyExecContext era) Source # prerequisites ∷ Evidence (Prerequisites fn (ConwayRatifyExecContext era)) Source #
(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 Source # Methods from ∷ ConwayRatifyExecContext era → Rep (ConwayRatifyExecContext era) x Source # to ∷ Rep (ConwayRatifyExecContext era) x → ConwayRatifyExecContext era Source #
EraPParams era ⇒ Show (ConwayRatifyExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base Methods showsPrec ∷ Int → ConwayRatifyExecContext era → ShowS Source # show ∷ ConwayRatifyExecContext era → String Source # showList ∷ [ConwayRatifyExecContext era] → ShowS Source #
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 #
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 → () Source #
EraPParams era ⇒ Eq (ConwayRatifyExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base Methods (==) ∷ ConwayRatifyExecContext era → ConwayRatifyExecContext era → Bool Source # (/=) ∷ ConwayRatifyExecContext era → ConwayRatifyExecContext era → Bool Source #
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 Prerequisites fn (ConwayRatifyExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base type Prerequisites fn (ConwayRatifyExecContext era) = ()
type TypeSpec fn (ConwayRatifyExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base type TypeSpec fn (ConwayRatifyExecContext era) = TypeSpec fn (SimpleRep (ConwayRatifyExecContext era))
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-0.1.0.0-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 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 ∷ IsConwayUniv fn ⇒ ConwayEnactExecContext Conway → ConwayExecEnactEnv Conway → Specification fn (EnactState Conway) Source #

Orphan instances

IsConwayUniv fn ⇒ ExecSpecRule fn "ENACT" Conway Source #
Instance details Associated Types type ExecContext fn "ENACT" Conway Source # type ExecEnvironment fn "ENACT" Conway Source # type ExecState fn "ENACT" Conway Source # type ExecSignal fn "ENACT" Conway Source # Methods environmentSpec ∷ ExecContext fn "ENACT" Conway → Specification fn (ExecEnvironment fn "ENACT" Conway) Source # stateSpec ∷ ExecContext fn "ENACT" Conway → ExecEnvironment fn "ENACT" Conway → Specification fn (ExecState fn "ENACT" Conway) Source # signalSpec ∷ ExecContext fn "ENACT" Conway → ExecEnvironment fn "ENACT" Conway → ExecState fn "ENACT" Conway → Specification fn (ExecSignal fn "ENACT" Conway) Source # classOf ∷ ExecSignal fn "ENACT" Conway → Maybe String Source # genExecContext ∷ Gen (ExecContext fn "ENACT" Conway) Source # runAgdaRule ∷ SpecRep (ExecEnvironment fn "ENACT" Conway) → SpecRep (ExecState fn "ENACT" Conway) → SpecRep (ExecSignal fn "ENACT" Conway) → Either (NonEmpty (SpecRep (PredicateFailure (EraRule "ENACT" Conway)))) (SpecRep (ExecState fn "ENACT" Conway)) Source # translateInputs ∷ ExecEnvironment fn "ENACT" Conway → ExecState fn "ENACT" Conway → ExecSignal fn "ENACT" Conway → ExecContext fn "ENACT" Conway → ImpTestM Conway (SpecRep (ExecEnvironment fn "ENACT" Conway), SpecRep (ExecState fn "ENACT" Conway), SpecRep (ExecSignal fn "ENACT" Conway)) Source # testConformance ∷ ExecContext fn "ENACT" Conway → ExecEnvironment fn "ENACT" Conway → ExecState fn "ENACT" Conway → ExecSignal fn "ENACT" Conway → Property Source # extraInfo ∷ ExecContext fn "ENACT" Conway → Environment (EraRule "ENACT" Conway) → State (EraRule "ENACT" Conway) → Signal (EraRule "ENACT" Conway) → Doc AnsiStyle Source #
IsConwayUniv fn ⇒ ExecSpecRule fn "EPOCH" Conway Source #
Instance details Associated Types type ExecContext fn "EPOCH" Conway Source # type ExecEnvironment fn "EPOCH" Conway Source # type ExecState fn "EPOCH" Conway Source # type ExecSignal fn "EPOCH" Conway Source # Methods environmentSpec ∷ ExecContext fn "EPOCH" Conway → Specification fn (ExecEnvironment fn "EPOCH" Conway) Source # stateSpec ∷ ExecContext fn "EPOCH" Conway → ExecEnvironment fn "EPOCH" Conway → Specification fn (ExecState fn "EPOCH" Conway) Source # signalSpec ∷ ExecContext fn "EPOCH" Conway → ExecEnvironment fn "EPOCH" Conway → ExecState fn "EPOCH" Conway → Specification fn (ExecSignal fn "EPOCH" Conway) Source # classOf ∷ ExecSignal fn "EPOCH" Conway → Maybe String Source # genExecContext ∷ Gen (ExecContext fn "EPOCH" Conway) Source # runAgdaRule ∷ SpecRep (ExecEnvironment fn "EPOCH" Conway) → SpecRep (ExecState fn "EPOCH" Conway) → SpecRep (ExecSignal fn "EPOCH" Conway) → Either (NonEmpty (SpecRep (PredicateFailure (EraRule "EPOCH" Conway)))) (SpecRep (ExecState fn "EPOCH" Conway)) Source # translateInputs ∷ ExecEnvironment fn "EPOCH" Conway → ExecState fn "EPOCH" Conway → ExecSignal fn "EPOCH" Conway → ExecContext fn "EPOCH" Conway → ImpTestM Conway (SpecRep (ExecEnvironment fn "EPOCH" Conway), SpecRep (ExecState fn "EPOCH" Conway), SpecRep (ExecSignal fn "EPOCH" Conway)) Source # testConformance ∷ ExecContext fn "EPOCH" Conway → ExecEnvironment fn "EPOCH" Conway → ExecState fn "EPOCH" Conway → ExecSignal fn "EPOCH" Conway → Property Source # extraInfo ∷ ExecContext fn "EPOCH" Conway → Environment (EraRule "EPOCH" Conway) → State (EraRule "EPOCH" Conway) → Signal (EraRule "EPOCH" Conway) → Doc AnsiStyle Source #
IsConwayUniv fn ⇒ ExecSpecRule fn "NEWEPOCH" Conway Source #
Instance details Associated Types type ExecContext fn "NEWEPOCH" Conway Source # type ExecEnvironment fn "NEWEPOCH" Conway Source # type ExecState fn "NEWEPOCH" Conway Source # type ExecSignal fn "NEWEPOCH" Conway Source # Methods environmentSpec ∷ ExecContext fn "NEWEPOCH" Conway → Specification fn (ExecEnvironment fn "NEWEPOCH" Conway) Source # stateSpec ∷ ExecContext fn "NEWEPOCH" Conway → ExecEnvironment fn "NEWEPOCH" Conway → Specification fn (ExecState fn "NEWEPOCH" Conway) Source # signalSpec ∷ ExecContext fn "NEWEPOCH" Conway → ExecEnvironment fn "NEWEPOCH" Conway → ExecState fn "NEWEPOCH" Conway → Specification fn (ExecSignal fn "NEWEPOCH" Conway) Source # classOf ∷ ExecSignal fn "NEWEPOCH" Conway → Maybe String Source # genExecContext ∷ Gen (ExecContext fn "NEWEPOCH" Conway) Source # runAgdaRule ∷ SpecRep (ExecEnvironment fn "NEWEPOCH" Conway) → SpecRep (ExecState fn "NEWEPOCH" Conway) → SpecRep (ExecSignal fn "NEWEPOCH" Conway) → Either (NonEmpty (SpecRep (PredicateFailure (EraRule "NEWEPOCH" Conway)))) (SpecRep (ExecState fn "NEWEPOCH" Conway)) Source # translateInputs ∷ ExecEnvironment fn "NEWEPOCH" Conway → ExecState fn "NEWEPOCH" Conway → ExecSignal fn "NEWEPOCH" Conway → ExecContext fn "NEWEPOCH" Conway → ImpTestM Conway (SpecRep (ExecEnvironment fn "NEWEPOCH" Conway), SpecRep (ExecState fn "NEWEPOCH" Conway), SpecRep (ExecSignal fn "NEWEPOCH" Conway)) Source # testConformance ∷ ExecContext fn "NEWEPOCH" Conway → ExecEnvironment fn "NEWEPOCH" Conway → ExecState fn "NEWEPOCH" Conway → ExecSignal fn "NEWEPOCH" Conway → Property Source # extraInfo ∷ ExecContext fn "NEWEPOCH" Conway → Environment (EraRule "NEWEPOCH" Conway) → State (EraRule "NEWEPOCH" Conway) → Signal (EraRule "NEWEPOCH" Conway) → Doc AnsiStyle Source #
IsConwayUniv fn ⇒ ExecSpecRule fn "RATIFY" Conway Source #
Instance details Associated Types type ExecContext fn "RATIFY" Conway Source # type ExecEnvironment fn "RATIFY" Conway Source # type ExecState fn "RATIFY" Conway Source # type ExecSignal fn "RATIFY" Conway Source # Methods environmentSpec ∷ ExecContext fn "RATIFY" Conway → Specification fn (ExecEnvironment fn "RATIFY" Conway) Source # stateSpec ∷ ExecContext fn "RATIFY" Conway → ExecEnvironment fn "RATIFY" Conway → Specification fn (ExecState fn "RATIFY" Conway) Source # signalSpec ∷ ExecContext fn "RATIFY" Conway → ExecEnvironment fn "RATIFY" Conway → ExecState fn "RATIFY" Conway → Specification fn (ExecSignal fn "RATIFY" Conway) Source # classOf ∷ ExecSignal fn "RATIFY" Conway → Maybe String Source # genExecContext ∷ Gen (ExecContext fn "RATIFY" Conway) Source # runAgdaRule ∷ SpecRep (ExecEnvironment fn "RATIFY" Conway) → SpecRep (ExecState fn "RATIFY" Conway) → SpecRep (ExecSignal fn "RATIFY" Conway) → Either (NonEmpty (SpecRep (PredicateFailure (EraRule "RATIFY" Conway)))) (SpecRep (ExecState fn "RATIFY" Conway)) Source # translateInputs ∷ ExecEnvironment fn "RATIFY" Conway → ExecState fn "RATIFY" Conway → ExecSignal fn "RATIFY" Conway → ExecContext fn "RATIFY" Conway → ImpTestM Conway (SpecRep (ExecEnvironment fn "RATIFY" Conway), SpecRep (ExecState fn "RATIFY" Conway), SpecRep (ExecSignal fn "RATIFY" Conway)) Source # testConformance ∷ ExecContext fn "RATIFY" Conway → ExecEnvironment fn "RATIFY" Conway → ExecState fn "RATIFY" Conway → ExecSignal fn "RATIFY" Conway → Property Source # extraInfo ∷ ExecContext fn "RATIFY" Conway → Environment (EraRule "RATIFY" Conway) → State (EraRule "RATIFY" Conway) → Signal (EraRule "RATIFY" Conway) → Doc AnsiStyle Source #
Inject (EpochExecEnv era) () Source #
Instance details Methods inject ∷ EpochExecEnv era → () Source #