Search results

Cannot compile as a dependency

Status: Open.

#76 In nick8325/quickspec;

· gabrielelana opened on May 3, 2025

Higher Kinded type arguments

Status: Open.

#70 In nick8325/quickspec;

· bolt12 opened on Oct 23, 2020

Language-specific formatters

Status: Open.

#69 In nick8325/quickspec;

· isovector opened on Sep 25, 2020

Delimited defaultTo

Status: Open.

#67 In nick8325/quickspec;

· isovector opened on Aug 19, 2020

Default "monoid" signature?

Status: Open.

#66 In nick8325/quickspec;

· isovector opened on Aug 19, 2020

Bug: QuickCheck output doesn't give types to polymorphic terms

Status: Open.

#64 In nick8325/quickspec;

· isovector opened on Aug 13, 2020

Feature request: "what does this equal?" mode

Status: Open.

#59 In nick8325/quickspec;

· isovector opened on Jun 27, 2020

Function leaks out of background

Status: Open.

#58 In nick8325/quickspec;

· isovector opened on Jun 26, 2020

Bug: the ForQuickCheck printer produces syntactically invalid tests when run in series:

Status: Open.

#57 In nick8325/quickspec;

· isovector opened on Jun 25, 2020

Feature request: property-based observation

Status: Open.

#56 In nick8325/quickspec;

· isovector opened on Jun 25, 2020

Feature request: search for laws with a specific shape

Status: Open.

#55 In nick8325/quickspec;

· isovector opened on Jun 25, 2020

QS duplicates laws

Status: Open.

#49 In nick8325/quickspec;

· isovector opened on Jun 24, 2020