Proposal: Generalize forever to Applicative

newer
maintaining pre-AMP+FTP-Prelude in...

older
Re: [Haskell-cafe] RFC: "Native...

David Feuer

12 May 2015 12 May '15

1:05 a.m.

This looks like a no-brainer to me: forever :: Applicative f => f a -> f b forever a = let x = a *> x in x

Attachments:

attachment.html (text/html — 154 bytes)

Show replies by date

Edward Kmett

12 May 12 May

3:28 a.m.

+1. This is definitely on the list of things we should generalize. -Edward On Tue, May 12, 2015 at 1:05 AM, David Feuer wrote:

...

This looks like a no-brainer to me:

forever :: Applicative f => f a -> f b forever a = let x = a *> x in x

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

Michael Snoyman

3:44 a.m.

+1 On Tue, May 12, 2015 at 8:05 AM David Feuer wrote:

...

This looks like a no-brainer to me:

forever :: Applicative f => f a -> f b forever a = let x = a *> x in x _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

Brent Yorgey

9:54 a.m.

+1. On Tue, May 12, 2015 at 3:44 AM Michael Snoyman wrote:

...

+1

On Tue, May 12, 2015 at 8:05 AM David Feuer wrote:

...
This looks like a no-brainer to me:

forever :: Applicative f => f a -> f b forever a = let x = a *> x in x _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

Alois Cochard

10:06 a.m.

+1 On 12 May 2015 at 07:05, David Feuer wrote:

...

This looks like a no-brainer to me:

forever :: Applicative f => f a -> f b forever a = let x = a *> x in x

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-- *Λ\ois* http://twitter.com/aloiscochard http://github.com/aloiscochard