16 Aug
2016
16 Aug
'16
2:23 p.m.
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.