@hackage / control-monad-free

Free monads and monad transformers

Latest0.6.2

About

Metadata

  • Last updated , by PepeIborra
  • License LicenseRef-PublicDomain
  • Categories Monads
  • Maintained by: pepeiborra@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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