27 Sep
2015
27 Sep
'15
11:11 a.m.
On Sun, Sep 27, 2015 at 08:22:55PM +0530, Sumit Sahrawat, Maths & Computing, IIT (BHU) wrote:
The holy source :)
https://hackage.haskell.org/package/base-4.8.1.0/docs/src/GHC.Base.html#line...
https://hackage.haskell.org/package/base-4.8.1.0/docs/src/Data.Either.html#l...
instance Functor (Either a) where fmap _ (Left x) = Left x fmap f (Right y) = Right (f y) `fmap id = id` and `fmap (f . g) = fmap f . fmap g` seem to hold here, no?