andrewthad / quickcheck-classes
Quickcheck Properties for common typeclasses
☆35Updated 8 months ago
Alternatives and similar repositories for quickcheck-classes:
Users that are interested in quickcheck-classes are comparing it to the libraries listed below
- Safe web routing in haskell☆30Updated last year
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 3 weeks ago
- Dual Traversable☆42Updated last year
- Maps using values' monoidal structure during merging☆42Updated last month
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- There are many category theory implementations, but this one is mine☆15Updated 4 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Extensible type-safe unions for Haskell☆33Updated 4 months ago
- Automatic type class law checking.☆24Updated this week
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- Mark test cases as expected-failure☆22Updated 3 years ago
- Automation of Haskell package release process.☆31Updated last year
- Overloaded plugin☆30Updated 7 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 4 months ago
- rewrite rules for type-level equalities☆62Updated 8 months ago
- Haskell time library focusing on performance☆57Updated last month
- Nat, Fin, Vec☆24Updated 2 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- ☆34Updated 3 months ago
- Library and tool for parsing .eventlog files from GHC☆33Updated 3 weeks ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Order theory☆23Updated last year
- ☆34Updated 3 years ago
- Map and Set over contiguous memory☆21Updated last year
- Old and New GHC☆21Updated last year
- Tasty integration for the Hedgehog property testing library☆38Updated 2 months ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Keep your laziness in check!☆32Updated 2 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- ☆45Updated 3 years ago