Search results

IsList's monadic tests do not test the order of effects

Status: Open.

#137 In andrewthad/quickcheck-classes;

· meooow25 opened on May 19, 2024

Add MonadTrans

Status: Open.

#130 In andrewthad/quickcheck-classes;

· treeowl opened on Aug 1, 2021

Suggestions: Return if test has succeded or failed (possibly why it has failed)

Status: Open.

#128 In andrewthad/quickcheck-classes;

· dschrempf opened on Jul 24, 2021

Test a subset of laws / exclude some laws

Status: Open.

#127 In andrewthad/quickcheck-classes;

· dschrempf opened on Jul 23, 2021

api change proposal

Status: Open.

#122 In andrewthad/quickcheck-classes;

· chessai opened on Dec 30, 2020

Exception thrown when using finiteBitSize that evaluates its argument

Status: Open.

#116 In andrewthad/quickcheck-classes;

· chessai opened on Jun 21, 2020

Missing Apply law

Status: Open.

#102 In andrewthad/quickcheck-classes;

· eschnett opened on May 16, 2019

move the Prim helper module into into primitive test suite

Status: Open.

#100 In andrewthad/quickcheck-classes;

· cartazio opened on May 1, 2019

binary put/get

Status: Open.

#96 In andrewthad/quickcheck-classes;

· chessai opened on Feb 8, 2019

less cpp noise in properties using type synonyms

Status: Open.

#84 In andrewthad/quickcheck-classes;

· chessai opened on Jan 6, 2019

How to check higher-kinded types with constrained element types

Status: Open.

#74 In andrewthad/quickcheck-classes;

· sjakobi opened on Nov 22, 2018

Improve Test Suite

Status: Open.

#65 In andrewthad/quickcheck-classes;

· andrewthad opened on Oct 15, 2018