@hackage refinery dependencies

12 results

Monad classes for transformers, using functional dependencies

Basic libraries

Monad morphisms

Extensible optionally-pure exceptions

Monad classes for transformers, using functional dependencies

Basic libraries

Toolkit for building proof automation systems

Monad morphisms

A Testing Framework for Haskell

Extensible optionally-pure exceptions

Check properties on standard classes and data structures.

Automatic testing of Haskell programs