choice

Monadic combinators for enumerating alternatives.
Description

The library provides combinators to branch and test through alternatives, with fair strategies and restricted pruning of the search tree. It is written in a continuation-passing style, from the paper at http://www.cs.rutgers.edu/~ccshan/logicprog/LogicT-icfp2005.pdf .

Install
Published
06 Mar 2018
Sources
0.3.tar.gz
md5=022db6b3d1afc27e4bb76e049c852042
Dependencies
Reverse Dependencies