On Sat, Jan 8, 2011 at 4:53 PM, Lennart Augustsson <lenn...@augustsson.net> wrote: > It so happens that you can make a set data type that is a Monad, but it's > not exactly the best possible sets.
There's also the infinite search monad, which allows you to search infinite sets in finite time, provided your queries meet some termination criteria. http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/ http://hackage.haskell.org/package/infinite-search -- Dave Menendez <d...@zednenem.com> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
