cardano-ledger-conformance-9.9.9.9: Testing utilities for conformance testing

Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway

Documentation

externalFunctions ∷ ExternalFunctions Source #

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 #

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 #

Era era ⇒ NFData (ConwayCertExecContext era) Source #

Instance details

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

Methods

rnf ∷ ConwayCertExecContext era → () #

Generic (ConwayCertExecContext era) Source #

Instance details

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

Associated Types

type Rep (ConwayCertExecContext era)

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))))

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 #

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

(EraPParams era, EraCertState era, EncCBOR (TxOut era), EncCBOR (Tx 'TopTx era)) ⇒ EncCBOR (ConwayLedgerExecContext era) Source #

Instance details

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

Methods

encCBOR ∷ ConwayLedgerExecContext era → Encoding 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 → () #

Generic (ConwayLedgerExecContext era) Source #

Instance details

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

Associated Types

type Rep (ConwayLedgerExecContext era)

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)))))

Methods

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

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

(EraTx era, ToExpr (Tx 'TopTx era), ToExpr (TxOut era), ToExpr (TxBody 'TopTx 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)))))