[Haskell-cafe] (no subject)

[David Kraeutmann]

This looks functionally identical to type Todo a b = Either [a] b, and Either has a Monad instance.
On 8/16/2016 8:21 PM, Corentin Dupont wrote:
> Hi guys,
> is there some library with a Monad (+Applicative, Functor...) instance of
> the following type:
>
> data Todo a b = Todo [a] | Done b
>
> Thanks!
> Corentin
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
>


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4291 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160816/4ff0c1f5/attachment.bin>