(IsConwayUniv fn, Era era) ⇒ HasSpec fn (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Reflect era ⇒ Arbitrary (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Generic (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Show (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Reflect era ⇒ DecCBOR (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Era era ⇒ EncCBOR (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
HasSimpleRep (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Era era ⇒ NFData (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Eq (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Era era ⇒ ToExpr (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Inject (ConwayCertExecContext era) (VotingProcedures era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Inject (ConwayCertExecContext era) (Map RewardAccount Coin) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Inject (ConwayCertExecContext era) (Map DepositPurpose Coin) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
Inject (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) (VotingProcedures ConwayEra) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.GovCert |
Inject (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) (Set (Credential 'DRepRole)) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Deleg |
Inject (WitUniv ConwayEra, ConwayCertExecContext ConwayEra) (Map RewardAccount Coin) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.GovCert |
type Prerequisites fn (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
type TypeSpec fn (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
type Rep (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
type SimpleRep (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |
type TheSop (ConwayCertExecContext era) Source # | |
Instance detailsDefined in Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base |