Copyright | (c) Dan Doel |
---|---|
License | BSD3 |
Maintainer | dan.doel@gmail.com |
Stability | experimental |
Portability | non-portable (multi-parameter type classes) |
Safe Haskell | Safe |
Language | Haskell2010 |
A backtracking, logic programming monad.
Adapted from the paper /Backtracking, Interleaving, and Terminating Monad Transformers/, by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry (http://www.cs.rutgers.edu/~ccshan/logicprog/ListT-icfp2005.pdf).
Documentation
A monad transformer for performing backtracking computations
layered over another monad m