[Haskell-cafe] Set monad

Ivan Lazar Miljenovic ivan.miljenovic at gmail.com
Sat Jan 8 22:36:18 CET 2011


On 9 January 2011 07:28, Peter Padawitz <peter.padawitz at udo.edu> wrote:
> Hi,
>
> is there any way to instantiate m in Monad m with a set datatype in order to
> implement the usual powerset monad?
>
> My straightforward attempt failed because the bind operator of this instance
> requires the Eq constraint on the argument types of m.

See Ganesh Sittampalam's rmonad [1] package.

[1]: http://hackage.haskell.org/package/rmonad

-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
IvanMiljenovic.wordpress.com



More information about the Haskell-Cafe mailing list