Documentation

conformsToImpl ∷ ∀ (rule ∷ Symbol) era. ExecSpecRule rule era ⇒ Gen (ExecContext rule era, TRC (EraRule rule era)) → Property Source #

genFromBundle_ ∷ ∀ (rule ∷ Symbol) era ctx. (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 #

genFromBundle ∷ ∀ (rule ∷ Symbol) era ctx. 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 #

conformsToImplConstrained ∷ ∀ ctx (rule ∷ Symbol) era. (ExecSpecRule rule era, 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)) → Property Source #

conformsToImplConstrained_ ∷ ∀ (rule ∷ Symbol) era ctx. (ExecSpecRule rule era, ForAllExecTypes HasSpec rule era, Arbitrary (ExecContext rule era)) ⇒ ConstrainedGeneratorBundle ctx rule era → Property Source #