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

On Fri, Oct 29, 2010 at 10:11 PM, Daniel Peebles
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

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
On Fri, Oct 29, 2010 at 10:11 PM, 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?
+1
Don't forget to make a ticket so this is nor forgotten:
Bas

On Fri, 29 Oct 2010 16:11:07 -0400, Daniel Peebles
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

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.

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

On Fri, Oct 29, 2010 at 10:11 PM, Daniel Peebles
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@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

Done, thanks! Who looks at it now?
On Tue, Dec 28, 2010 at 8:41 AM, Bas van Dijk
On Fri, Oct 29, 2010 at 10:11 PM, 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 _______________________________________________ Libraries mailing list Libraries@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
participants (6)
-
Bas van Dijk
-
Daniel Fischer
-
Daniel Peebles
-
Edward Z. Yang
-
Nicolas Pouillard
-
Ross Paterson