Free monads and monad transformers

Latest on Hackage:0.6.2

See all snapshots control-monad-free appears in

LicenseRef-PublicDomain licensed by Luke Palmer, Pepe Iborra
Maintained by [email protected]

Module documentation for 0.6.1

This version can be pinned in stack with:[email protected]:d08dceee154098bee492a1c00ef699a2a3a0e8a3851c5d49ccd49d5645a501a4,1223

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

Used by 1 package in lts-11.22(full list with versions):