PublicDomain licensed by Luke Palmer, Pepe Iborra
Maintained by pepeiborra@gmail.com

Module documentation for 0.6.1

This package provides datatypes to construct Free monads, Free monad transformers, and useful instances. In addition it provides the constructs to avoid quadratic complexity of left associative bind, as explained in:

  • Janis Voigtlander, Asymptotic Improvement of Computations over Free Monads, MPC'08

Depends on 3 packages:
Used by 1 package:
comments powered byDisqus