[Haskell-cafe] What is this applicative functor?
mail at joachim-breitner.de
Wed Feb 1 17:39:06 UTC 2017
Am Mittwoch, den 01.02.2017, 10:33 -0500 schrieb Joachim Breitner:
> David wrote:
> > How about this?
> > hd (OneStep x xs) = x
> > instance Monad OneStep where
> > OneStep x xs >>= f = OneStep y (map (hd . f) xs ++ ys)
> > where
> > OneStep y ys = f x
> > Not sure if it’s good for anything, but it seems valid and consistent
> > based on a preliminary investigation.
> Yes, this looks reasonable. Did you happen to already work through the
> monad laws?
Just did, all looks fine:
Uploaded to http://hackage.haskell.org/package/successors in case
someone wants to play with it.
Joachim “nomeata” Breitner
mail at joachim-breitner.de • https://www.joachim-breitner.de/
XMPP: nomeata at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: This is a digitally signed message part
More information about the Haskell-Cafe