[Haskell-cafe] Name for the following combinators?
tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Sat Dec 28 16:21:39 UTC 2013
On Sat, Dec 28, 2013 at 04:18:30PM +0000, Tom Ellis wrote:
> On Sat, Dec 28, 2013 at 04:13:52PM +0000, Tom Ellis wrote:
> > On Sat, Dec 28, 2013 at 03:58:10PM +0000, Tom Ellis wrote:
> > > On Sat, Dec 28, 2013 at 04:47:40PM +0100, Hans Höglund wrote:
> > > > Recently I have found myself using these two combinators a lot: http://lpaste.net/97643
> > >
> > > FYI it looks a lot like these give rise to a monad transformer.
> > Specifically, the following. Careful though: I haven't made any effort to
> > check this satisfies the monad or transformer laws.
> In fact, since is is 'n' that requires the 'Monad' constraint, I suspect
> you'll need to swap the order of the type arguments to get a monad
I keep typing too fast. I mean "it is 'n' that requires the *Traversable*
More information about the Haskell-Cafe