Documentation

spec ∷ Spec Source #

genFromBundle ∷ ForAllExecTypes HasSpec rule era ⇒ ConstrainedGeneratorBundle ctx rule era → (ctx → Environment (EraRule rule era) → State (EraRule rule era) → Signal (EraRule rule era) → Gen (ExecContext rule era)) → Gen (ExecContext rule era, TRC (EraRule rule era)) Source #

genFromBundle_ ∷ (HasSpec (Environment (EraRule rule era)), HasSpec (State (EraRule rule era)), HasSpec (Signal (EraRule rule era)), Arbitrary (ExecContext rule era)) ⇒ ConstrainedGeneratorBundle ctx rule era → Gen (ExecContext rule era, TRC (EraRule rule era)) Source #