value
commonTests :: (ApplyTx era, EraGen era, EraStake era, ShelleyEraAccounts era, ApplyBlock TestBlockHeader era, Show (StAnnTx TopTx era), ShelleyEraForecast era, Embed (EraRule "BBODY"
era) (CHAIN era), Embed (EraRule "TICK"
era) (CHAIN era), Embed (EraRule "TICKN"
era) (CHAIN era), HasTrace (EraRule "LEDGERS"
era) (GenEnv MockCrypto era), State (EraRule "TICKN"
era) ~ TicknState, Environment (EraRule "LEDGERS"
era) ~ ShelleyLedgersEnv era, Environment (EraRule "TICKN"
era) ~ TicknEnv, Signal (EraRule "LEDGERS"
era) ~ Seq (Tx TopTx era), Signal (EraRule "TICKN"
era) ~ Bool, BaseM (EraRule "LEDGERS"
era) ~ ShelleyBase, GovState era ~ ShelleyGovState era, InstantStake era ~ ShelleyInstantStake era, BaseEnv (EraRule "LEDGER"
era) ~ Globals, HasTrace (EraRule "LEDGER"
era) (GenEnv MockCrypto era), State (EraRule "TICK"
era) ~ NewEpochState era, State (EraRule "LEDGER"
era) ~ LedgerState era, BaseM (EraRule "LEDGER"
era) ~ ShelleyBase, State (EraRule "BBODY"
era) ~ ShelleyBbodyState era, Environment (EraRule "LEDGER"
era) ~ LedgerEnv era, Environment (EraRule "TICK"
era) ~ (), Signal (EraRule "LEDGER"
era) ~ StAnnTx TopTx era, State (EraRule "LEDGERS"
era) ~ LedgerState era, Environment (EraRule "BBODY"
era) ~ BbodyEnv era, Signal (EraRule "TICK"
era) ~ SlotNo, Signal (EraRule "BBODY"
era) ~ BbodySignal era, EraRule "POOL"
era ~ POOL era, InjectRuleFailure "POOL"
ShelleyPoolPredFailure era, InjectRuleEvent "POOL"
PoolEvent era, EncCBORGroup (BlockBody era)) => [TestTree]