Proposal: newtype for applicatives of monoids

Oleg Grenrus oleg.grenrus at iki.fi
Wed Aug 5 10:01:55 UTC 2015


There is also http://hackage.haskell.org/package/free-4.12.1/docs/Control-Applicative-Free.html#t:Ap <http://hackage.haskell.org/package/free-4.12.1/docs/Control-Applicative-Free.html#t:Ap>, which is totally different thing, yet related to Applicative.

reducers Ap has getApp field name, which is probably copy&paste mistake:
http://hackage.haskell.org/package/reducers-3.10.3.2/docs/Data-Semigroup-Applicative.html#t:Ap <http://hackage.haskell.org/package/reducers-3.10.3.2/docs/Data-Semigroup-Applicative.html#t:Ap>

In that light I’d prefer
- Appl with getAppl,
- Ap unchanged in free package
- App left free

> On 05 Aug 2015, at 12:15, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> 
> +1 to Ap.
> 
> On 04.08.2015 05:21, David Feuer wrote:
>> Ap seems a good name, and it's already used for that, so I'd support
>> that bike shed color.
>> 
>> On Aug 3, 2015 3:14 PM, "Edward Kmett" <ekmett at gmail.com
>> <mailto:ekmett at gmail.com>> wrote:
>> 
>>    To offer a couple more colors for the bikeshed:
>> 
>>    In my old monoids package, this exists as App:
>> 
>>    http://hackage.haskell.org/package/monoids-0.3.2/docs/Data-Monoid-Applicative.html
>> 
>>    In the newer reducers package, it has been shortened to Ap:
>> 
>>    http://hackage.haskell.org/package/reducers-3.10.3.2/docs/Data-Semigroup-Applicative.html
>> 
>>    -Edward
>> 
>>    On Mon, Aug 3, 2015 at 1:58 PM, John Wiegley <johnw at newartisans.com
>>    <mailto:johnw at newartisans.com>> wrote:
>> 
>>        >>>>> Christopher Allen <cma at bitemyapp.com <mailto:cma at bitemyapp.com>> writes:
>> 
>>        > Might as well capture all of 'em in one go.
>>        > +1 w/ aforementioned mappend/mplus fix.
>> 
>>        +1
>> 
>>        John
>>        _______________________________________________
>>        Libraries mailing list
>>        Libraries at haskell.org <mailto:Libraries at haskell.org>
>>        http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>> 
>> 
>> 
>>    _______________________________________________
>>    Libraries mailing list
>>    Libraries at haskell.org <mailto:Libraries at haskell.org>
>>    http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>> 
>> 
>> 
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>> 
> 
> 
> --
> Andreas Abel  <><      Du bist der geliebte Mensch.
> 
> Department of Computer Science and Engineering
> Chalmers and Gothenburg University, Sweden
> 
> andreas.abel at gu.se
> http://www2.tcs.ifi.lmu.de/~abel/
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150805/9ff0511d/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 842 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150805/9ff0511d/attachment.sig>


More information about the Libraries mailing list