| 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 | 
ListT
Description
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