Changes between Version 7 and Version 8 of Ticket #12708


Ignore:
Timestamp:
Oct 15, 2016 2:40:14 AM (3 years ago)
Author:
Iceland_jack
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12708 – Description

    v7 v8  
    9696  fmap :: (b -> b') -> ((# a, b #) -> (# a, b'#))
    9797  fmap f (# a, b #) = (# a, f b #)
     98
     99class Applicative (f :: Type -> TYPE rep) where
     100  pure  :: a -> f a
     101  (<*>) :: f (a -> b) -> (f a -> f b)
     102
     103instance Monoid m => Applicative ((# ,  #) m) where
     104  pure :: a -> (# m, a #)
     105  pure a = (# mempty, a #)
     106
     107  (<*>) :: (# m, a -> b #) -> ((# m, a #) -> (# m, b #))
     108  (# m1, f #) <*> (# m2, x #) = (# m1 <> m2, f x #)
     109
     110class Foldable (f :: Type -> TYPE rep) where
     111  fold :: Monoid m => f m -> m
     112
     113instance Foldable ((# , #) xx) where
     114  fold :: Monoid m => (# xx, m #) -> m
     115  fold (# _, m #) = m
    98116}}}
     117
     118halp where does this end
    99119
    100120----