[Haskell-cafe] [announcement] filtrable: class of filtrable containers

M Farkas-Dyck m.farkasdyck at gmail.com
Thu Feb 18 00:21:47 UTC 2016


On 17/02/2016, David Menendez <dave at zednenem.com> wrote:
> One law I didn’t notice you mention is:
>
> mapMaybe f . mapMaybe g = mapMaybe (f <=< g)

Good call, added!

If someone proves some law to be reducible to the others i'll delete it.


More information about the Haskell-Cafe mailing list