Changes between Version 18 and Version 21 of Ticket #12708


Ignore:
Timestamp:
Dec 6, 2016 2:05:42 PM (3 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12708

    • Property Keywords LevityPolymorphism added
  • Ticket #12708 – Description

    v18 v21  
    9494
    9595instance Functor ((# , #) a) where
    96   fmap :: (b -> b') -> ((# a, b #) -> (# a, b'#))
     96  fmap :: (b -> b') -> ((# a, b #) -> (# a, b' #))
    9797  fmap f (# a, b #) = (# a, f b #)
    9898
     
    101101  (<*>) :: f (a -> b) -> (f a -> f b)
    102102
    103 instance Monoid m => Applicative ((# ,  #) m) where
     103instance Monoid m => Applicative ((# , #) m) where
    104104  pure :: a -> (# m, a #)
    105105  pure a = (# mempty, a #)