edwinb/Idris-dev — pull request #93 by sjindin (2012-11-22 01:17:46+00:00)
Title: Wiggle the library: remove return, move Identity, add Comonad, add docs

Hi Edwin,

This branch contains the following changes:

1) Make the library use pure instead of return. Return has become redundant now that Applicative is a super class of Monad.

2) Move the Identity Functor from Control.Monad to Control.Functor

3) Add a Comonad class

4) Add some documentation concerning the laws that govern Functor, Applicative, Monad, Comonad