New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Monoid a => Applicative ((,) a) but restricted to lists #2

Open

GoogleCodeExporter opened this issue Sep 1, 2015 · 5 comments

Labels

auto-migrated Priority-Medium Type-Enhancement

GoogleCodeExporter commented Sep 1, 2015

Implemented in 
http://code.google.com/r/mauricioscheffer-fsharp-typeclasses/source/detail?r=d10
13cf83bdaa90eb391e274ab00ec6049d3fe8a

I wonder if this could be generalized for any monoid.

Also investigating if general functor/applicative composition could be encoded, 
as in 
http://hackage.haskell.org/packages/archive/transformers/latest/doc/html/src/Dat
a-Functor-Compose.html#Compose

Original issue reported on code.google.com by [email protected] on 28 Jul 2012 at 10:58

The text was updated successfully, but these errors were encountered:

GoogleCodeExporter added Priority-Medium auto-migrated Type-Enhancement labels

SteveGilham added a commit that referenced this issue


          Code attachment to #2

e6e6f9f

The most recent version

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment