Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway

Documentation

namePoolCert ∷ PoolCert c → String Source #

nameDelegCert ∷ ConwayDelegCert c → String Source #

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 # guardTypeSpec ∷ [String] → TypeSpec fn (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))

crecTreasuryL ∷ Lens' (ConwayRatifyExecContext era) Coin Source #

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

nameEnact ∷ EnactSignal era → String Source #

nameGovAction ∷ GovAction era → String Source #

nameEpoch ∷ EpochNo → String Source #

nameGovCert ∷ ConwayGovCert c → String Source #

nameCerts ∷ Seq (ConwayTxCert Conway) → String Source #

nameTxCert ∷ ConwayTxCert Conway → String Source #

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 # guardTypeSpec ∷ [String] → TypeSpec fn (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))