@hackage logic-TPTP dependencies

10 results

Concrete functor and monad transformers

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

Mutable and immutable arrays

A small compatibility shim for the transformers library

Scrap Your Boilerplate

Pointed and copointed data

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

Automatic testing of Haskell programs