@hackage quickspec dependencies

12 results

Concrete functor and monad transformers

Support library for Template Haskell

Pseudo-random number generation

Assorted concrete container types

Core data structures and operations

A simple (but internally ugly) memoization function.

An equational theorem prover

Reifies arbitrary terms into types that can be reflected back into terms

Difference lists

Simple lenses, minimum dependencies

Constraint manipulation

Automatic testing of Haskell programs