Re: [Haskell-cafe] Set monad

On Sat, Jan 8, 2011 at 4:53 PM, Lennart Augustsson 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-fin... http://hackage.haskell.org/package/infinite-search -- Dave Menendez http://www.eyrie.org/~zednenem/