proposal #2517: remove 'pure' method from Arrow class

Ross Paterson ross at
Sat Aug 16 08:20:41 EDT 2008

On Sat, Aug 16, 2008 at 01:06:29AM -0700, Ashley Yakeley wrote:
> David Menendez wrote:
>> Personally, I prefer 'pure' to 'arr' for arrows, and I wish we could
>> have called the operation in Applicative something different, but it's
>> too late for that.
> Hopefully one day the Applicative function will be called "return".


	Functor (fmap)
	PreMonad (return)
	Applicative ((<*>))
	Monad ((>>=)/join)

would be the rational hierarchy, but don't hold your breath.

More information about the Libraries mailing list