Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway

Documentation

namePoolCert ∷ PoolCert → 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 # 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 #
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 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-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 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 #

data ConwayLedgerExecContext era Source #

Constructors

ConwayLedgerExecContext
Fields clecPolicyHash ∷ StrictMaybe ScriptHash clecEnactState ∷ EnactState era clecUtxoExecContext ∷ UtxoExecContext era

Instances

Instances details

Generic (ConwayLedgerExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Associated Types type Rep (ConwayLedgerExecContext era) ∷ Type → Type # Methods from ∷ ConwayLedgerExecContext era → Rep (ConwayLedgerExecContext era) x # to ∷ Rep (ConwayLedgerExecContext era) x → ConwayLedgerExecContext era #
EraPParams era ⇒ EncCBOR (ConwayLedgerExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Methods encCBOR ∷ ConwayLedgerExecContext era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayLedgerExecContext era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayLedgerExecContext era] → Size Source #
(EraPParams era, EraTx era, NFData (TxWits era), NFData (TxAuxData era), EraCertState era) ⇒ NFData (ConwayLedgerExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Methods rnf ∷ ConwayLedgerExecContext era → () #
(EraTx era, ToExpr (TxOut era), ToExpr (TxBody era), ToExpr (TxWits era), ToExpr (TxAuxData era), ToExpr (PParamsHKD Identity era), EraCertState era, ToExpr (CertState era)) ⇒ ToExpr (ConwayLedgerExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Methods toExpr ∷ ConwayLedgerExecContext era → Expr Source # listToExpr ∷ [ConwayLedgerExecContext era] → Expr Source #
Inject (ConwayLedgerExecContext ConwayEra) (EnactState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Methods inject ∷ ConwayLedgerExecContext ConwayEra → EnactState ConwayEra Source #
Inject (ConwayLedgerExecContext era) (StrictMaybe ScriptHash) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Methods inject ∷ ConwayLedgerExecContext era → StrictMaybe ScriptHash Source #
type Rep (ConwayLedgerExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger type Rep (ConwayLedgerExecContext era) = D1 ('MetaData "ConwayLedgerExecContext" "Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger" "cardano-ledger-conformance-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ConwayLedgerExecContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "clecPolicyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash)) :: (S1 ('MetaSel ('Just "clecEnactState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EnactState era)) :: S1 ('MetaSel ('Just "clecUtxoExecContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UtxoExecContext era)))))

nameGovCert ∷ ConwayGovCert → String Source #

nameDelegCert ∷ ConwayDelegCert → String Source #

nameCerts ∷ Seq (ConwayTxCert ConwayEra) → String Source #

nameTxCert ∷ ConwayTxCert ConwayEra → 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 # 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 #
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 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-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 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))

data ConwayLedgerExecContext era Source #

Constructors

ConwayLedgerExecContext
Fields clecPolicyHash ∷ StrictMaybe ScriptHash clecEnactState ∷ EnactState era clecUtxoExecContext ∷ UtxoExecContext era

Instances

Instances details

Generic (ConwayLedgerExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Associated Types type Rep (ConwayLedgerExecContext era) ∷ Type → Type # Methods from ∷ ConwayLedgerExecContext era → Rep (ConwayLedgerExecContext era) x # to ∷ Rep (ConwayLedgerExecContext era) x → ConwayLedgerExecContext era #
EraPParams era ⇒ EncCBOR (ConwayLedgerExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Methods encCBOR ∷ ConwayLedgerExecContext era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayLedgerExecContext era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayLedgerExecContext era] → Size Source #
(EraPParams era, EraTx era, NFData (TxWits era), NFData (TxAuxData era), EraCertState era) ⇒ NFData (ConwayLedgerExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Methods rnf ∷ ConwayLedgerExecContext era → () #
(EraTx era, ToExpr (TxOut era), ToExpr (TxBody era), ToExpr (TxWits era), ToExpr (TxAuxData era), ToExpr (PParamsHKD Identity era), EraCertState era, ToExpr (CertState era)) ⇒ ToExpr (ConwayLedgerExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Methods toExpr ∷ ConwayLedgerExecContext era → Expr Source # listToExpr ∷ [ConwayLedgerExecContext era] → Expr Source #
Inject (ConwayLedgerExecContext ConwayEra) (EnactState ConwayEra) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Methods inject ∷ ConwayLedgerExecContext ConwayEra → EnactState ConwayEra Source #
Inject (ConwayLedgerExecContext era) (StrictMaybe ScriptHash) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger Methods inject ∷ ConwayLedgerExecContext era → StrictMaybe ScriptHash Source #
type Rep (ConwayLedgerExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger type Rep (ConwayLedgerExecContext era) = D1 ('MetaData "ConwayLedgerExecContext" "Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Ledger" "cardano-ledger-conformance-9.9.9.9-inplace" 'False) (C1 ('MetaCons "ConwayLedgerExecContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "clecPolicyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (StrictMaybe ScriptHash)) :: (S1 ('MetaSel ('Just "clecEnactState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (EnactState era)) :: S1 ('MetaSel ('Just "clecUtxoExecContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UtxoExecContext era)))))