Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway

Documentation

data ConwayCertExecContext era Source #

Constructors

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

Instances

Instances details

Era era ⇒ Arbitrary (ConwayCertExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Cert 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.Cert 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.Cert Methods showsPrec ∷ Int → ConwayCertExecContext era → ShowS # show ∷ ConwayCertExecContext era → String # showList ∷ [ConwayCertExecContext era] → ShowS #
Era era ⇒ DecCBOR (ConwayCertExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Cert 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.Cert 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.Cert Methods rnf ∷ ConwayCertExecContext era → () #
Eq (ConwayCertExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Cert 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.Cert 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.Cert Methods inject ∷ ConwayCertExecContext era → VotingProcedures era Source #
Inject (ConwayCertExecContext era) (Map RewardAccount Coin) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Cert Methods inject ∷ ConwayCertExecContext era → Map RewardAccount Coin Source #
type Rep (ConwayCertExecContext era) Source #
Instance details Defined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Cert type Rep (ConwayCertExecContext era) = D1 ('MetaData "ConwayCertExecContext" "Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Cert" "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 "ccecVotes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VotingProcedures 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 (Tx 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)))))

externalFunctions ∷ ExternalFunctions Source #