[Haskell-cafe] Set monad

[David Menendez]

On Sat, Jan 8, 2011 at 4:53 PM, Lennart Augustsson
<lennart at 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 <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>