@hackage refinery dependencies

14 results

Monad classes for transformers, using functional dependencies

Basic libraries

Monad morphisms

A backtracking logic-programming monad.

Extensible optionally-pure exceptions

Monad classes for transformers, using functional dependencies

Basic libraries

Toolkit for building proof automation systems

Monad morphisms

A backtracking logic-programming monad.

A Testing Framework for Haskell

Extensible optionally-pure exceptions

Check properties on standard classes and data structures.

Automatic testing of Haskell programs