headers
Daniel Peebles | 29 Oct 2010 22:11
Picon
Gravatar

Applicative instance for ST

Hi all,


Strangely enough, ST has a Functor and a Monad instance, but no Applicative instance (I guess it was pre-Applicative). I propose to add one. It doesn't seem very controversial, but I guess a normal discussion period for these proposals is two weeks? 

Thanks,
Dan
_______________________________________________
Libraries mailing list
Libraries <at> haskell.org
http://www.haskell.org/mailman/listinfo/libraries
Permalink | Reply |
headers
Edward Z. Yang | 30 Oct 2010 00:06
Picon
Favicon

Re: Applicative instance for ST

+1

Edward
Permalink | Reply |
headers
Bas van Dijk | 30 Oct 2010 00:35
Picon
Gravatar

Re: Applicative instance for ST

On Fri, Oct 29, 2010 at 10:11 PM, Daniel Peebles <pumpkingod <at> gmail.com> wrote:
> Hi all,
> Strangely enough, ST has a Functor and a Monad instance, but no Applicative
> instance (I guess it was pre-Applicative). I propose to add one. It doesn't
> seem very controversial, but I guess a normal discussion period for these
> proposals is two weeks?

+1

Don't forget to make a ticket so this is nor forgotten:

http://hackage.haskell.org/trac/ghc/newticket?type=proposal&component=libraries/base&milestone=Not+GHC

Bas
Permalink | Reply |
headers
Daniel Peebles | 30 Oct 2010 00:43
Picon
Gravatar

Re: Applicative instance for ST

Tada! http://hackage.haskell.org/trac/ghc/ticket/4455


Thanks for the patch :)

On Fri, Oct 29, 2010 at 6:35 PM, Bas van Dijk <v.dijk.bas <at> gmail.com> wrote:
On Fri, Oct 29, 2010 at 10:11 PM, Daniel Peebles <pumpkingod <at> gmail.com> wrote:
> Hi all,
> Strangely enough, ST has a Functor and a Monad instance, but no Applicative
> instance (I guess it was pre-Applicative). I propose to add one. It doesn't
> seem very controversial, but I guess a normal discussion period for these
> proposals is two weeks?

+1

Don't forget to make a ticket so this is nor forgotten:

http://hackage.haskell.org/trac/ghc/newticket?type=proposal&component=libraries/base&milestone=Not+GHC

Bas

_______________________________________________
Libraries mailing list
Libraries <at> haskell.org
http://www.haskell.org/mailman/listinfo/libraries
Permalink | Reply |
headers
Nicolas Pouillard | 30 Oct 2010 00:41
Picon
Gravatar

Re: Applicative instance for ST

On Fri, 29 Oct 2010 16:11:07 -0400, Daniel Peebles <pumpkingod <at> gmail.com> wrote:
> Hi all,
> 
> Strangely enough, ST has a Functor and a Monad instance, but no Applicative
> instance (I guess it was pre-Applicative). I propose to add one. It doesn't
> seem very controversial, but I guess a normal discussion period for these
> proposals is two weeks?

+1

--

-- 
Nicolas Pouillard
http://nicolaspouillard.fr
Permalink | Reply |
headers
Ross Paterson | 30 Oct 2010 01:05
Picon
Favicon

Re: Applicative instance for ST

On Fri, Oct 29, 2010 at 04:11:07PM -0400, Daniel Peebles wrote:
> Strangely enough, ST has a Functor and a Monad instance, but no Applicative
> instance (I guess it was pre-Applicative). I propose to add one. It doesn't
> seem very controversial, but I guess a normal discussion period for these
> proposals is two weeks? 

Indeed everything with a Monad instance should have a matching Applicative
instance.  You'll need one for Control.Monad.ST.Lazy(ST) too.
Permalink | Reply |
headers
Bas van Dijk | 30 Oct 2010 01:31
Picon
Gravatar

Re: Applicative instance for ST

On Sat, Oct 30, 2010 at 1:05 AM, Ross Paterson <ross <at> soi.city.ac.uk> wrote:
> You'll need one for Control.Monad.ST.Lazy(ST) too.

Attached is the amended patch with the addition of Lazy.ST.
Attachment (add_instance_Applicative_ST.dpatch): application/octet-stream, 53 KiB
_______________________________________________
Libraries mailing list
Libraries <at> haskell.org
http://www.haskell.org/mailman/listinfo/libraries
Permalink | Reply |
headers
Daniel Fischer | 30 Oct 2010 11:13
Picon

Re: Applicative instance for ST

On Friday 29 October 2010 22:11:07, Daniel Peebles wrote:
> Hi all,
>
> Strangely enough, ST has a Functor and a Monad instance, but no
> Applicative instance (I guess it was pre-Applicative). I propose to add
> one. It doesn't seem very controversial, but I guess a normal discussion
> period for these proposals is two weeks?
>
> Thanks,
> Dan

+ 1
Permalink | Reply |
headers
Bas van Dijk | 28 Dec 2010 14:41
Picon
Gravatar

Re: Applicative instance for ST

On Fri, Oct 29, 2010 at 10:11 PM, Daniel Peebles <pumpkingod <at> gmail.com> wrote:
> Hi all,
> Strangely enough, ST has a Functor and a Monad instance, but no Applicative
> instance (I guess it was pre-Applicative). I propose to add one. It doesn't
> seem very controversial, but I guess a normal discussion period for these
> proposals is two weeks?
> Thanks,
> Dan
> _______________________________________________
> Libraries mailing list
> Libraries <at> haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
>

Daniel, I believe you can move your ticket to the patch state since no
objections we're raised for adding an Applicative instance for ST:

http://hackage.haskell.org/trac/ghc/ticket/4455

Regards,

Bas
Permalink | Reply |
headers
Daniel Peebles | 28 Dec 2010 16:54
Picon
Gravatar

Re: Applicative instance for ST

Done, thanks! Who looks at it now?

On Tue, Dec 28, 2010 at 8:41 AM, Bas van Dijk <v.dijk.bas <at> gmail.com> wrote:
On Fri, Oct 29, 2010 at 10:11 PM, Daniel Peebles <pumpkingod <at> gmail.com> wrote:
> Hi all,
> Strangely enough, ST has a Functor and a Monad instance, but no Applicative
> instance (I guess it was pre-Applicative). I propose to add one. It doesn't
> seem very controversial, but I guess a normal discussion period for these
> proposals is two weeks?
> Thanks,
> Dan
> _______________________________________________
> Libraries mailing list
> Libraries <at> haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
>

Daniel, I believe you can move your ticket to the patch state since no
objections we're raised for adding an Applicative instance for ST:

http://hackage.haskell.org/trac/ghc/ticket/4455

Regards,

Bas

_______________________________________________
Libraries mailing list
Libraries <at> haskell.org
http://www.haskell.org/mailman/listinfo/libraries
Permalink | Reply |
headers
Bas van Dijk | 29 Dec 2010 16:38
Picon
Gravatar

Re: Applicative instance for ST

On Tue, Dec 28, 2010 at 4:54 PM, Daniel Peebles <pumpkingod <at> gmail.com> wrote:
> Done, thanks! Who looks at it now?

In my experience it's usually either Simon Marlow or Ian Lynagh.

Bas
Permalink | Reply |

Gmane