purescript-quickcheck-laws
Typeclass tests
QuickCheck-powered tests for PureScript's core typeclasses
QuickCheck powered law tests for PureScript's core typeclasses.
25 stars
5 watching
18 forks
Language: PureScript
last commit: about 2 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
purescript/purescript-quickcheck | An implementation of a property-based testing framework in PureScript | 104 |
purescript-contrib/purescript-react | Low-level React bindings for the PureScript programming language | 400 |
purescript-contrib/purescript-css | A type-safe library for describing and manipulating CSS. | 106 |
quickchick/quickchick | A Coq plugin for property-based testing of software systems | 254 |
fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,168 |
nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 726 |
purescript-contrib/purescript-routing | A type-safe client-side routing library for PureScript | 105 |
purescript-contrib/purescript-arraybuffer | Provides bindings and implementation for mutable JavaScript ArrayBuffers | 7 |
nicoabie/quickcheck | Randomized testing of program properties in Prolog | 22 |
typelift/swiftcheck | A testing library that generates random data to test program properties in Swift | 1,414 |
bodil/purescript-test-unit | An asynchronous unit test runner for PureScript | 87 |
leebyron/testcheck-js | Generative property testing for JavaScript programs | 1,179 |
purescript-react/purescript-react-basic | An opinionated set of bindings to the React library, providing optimized types and tools for basic use cases | 281 |
c-cube/qcheck | A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 347 |
purescript-contrib/purescript-matryoshka | Provides generalized folds, unfolds, and traversals for fixed point data structures | 59 |