Permalink
Browse files

Alpha-rename

  • Loading branch information...
1 parent 2b7895f commit 73b059b2abb1f347df2f54814d73d47ae595c68d @feuerbach committed Mar 14, 2013
Showing with 3 additions and 3 deletions.
  1. +3 −3 Data/Generics/Traversable.hs
@@ -91,21 +91,21 @@ gfoldl' f z0 xs = gfoldr f' id xs z0
-- | Apply a transformation everywhere in bottom-up manner
everywhere
:: (GTraversable c a, c a, ?c :: p c)
- => (forall a. (GTraversable c a, c a) => a -> a)
+ => (forall d. (GTraversable c d, c d) => d -> d)
-> a -> a
everywhere f = f . gmap (everywhere f)
-- | Apply a transformation everywhere in top-down manner
everywhere'
:: (GTraversable c a, c a, ?c :: p c)
- => (forall a. (GTraversable c a, c a) => a -> a)
+ => (forall d. (GTraversable c d, c d) => d -> d)
-> a -> a
everywhere' f = gmap (everywhere' f) . f
-- | Monadic variation on everywhere
everywhereM
:: (Monad m, GTraversable c a, c a, ?c :: p c)
- => (forall a. (GTraversable c a, c a) => a -> m a)
+ => (forall d. (GTraversable c d, c d) => d -> m d)
-> a -> m a
everywhereM f = f <=< gmapM (everywhereM f)

0 comments on commit 73b059b

Please sign in to comment.