Added Each.

Author: joneshf

examples/Each.purs

@@ -0,0 +1,18 @@
+module Example.Control.Lens.Each where
+
+  import Control.Lens
+
+  import Data.String
+  import Data.Tuple
+
+  import Debug.Trace
+
+  foo :: [Number]
+  foo = [1,2,3] # each +~ 2
+
+  bar :: Tuple Number Number
+  bar = ("Hi" ~ "everybody!") # each %~ length
+
+  main = do
+    print foo
+    print bar

gulpfile.js

@@ -23,7 +23,6 @@ var paths =
 
 var options =
     { test: { main: 'Test.Control.Lens'
-            , verboseErrors: true
             }
     };
 

src/Control/Lens.purs

@@ -18,6 +18,8 @@ module Control.Lens
   , tail
   , uncons
   , unsnoc
+  -- Each
+  , each
   -- Equality
   , simple
   , simply
@@ -163,6 +165,7 @@ module Control.Lens
 
   import qualified Control.Lens.At as At
   import qualified Control.Lens.Cons as Cons
+  import qualified Control.Lens.Each as Each
   import qualified Control.Lens.Equality as Equality
   import qualified Control.Lens.Fold as Fold
   import qualified Control.Lens.Getter as Getter
@@ -199,6 +202,9 @@ module Control.Lens
   uncons = Cons.uncons
   unsnoc = Cons.unsnoc
 
+  -- Each
+  each = Each.each
+
   -- Equality
   simple = Equality.simple
   simply = Equality.simply

src/Control/Lens/Each.purs

@@ -0,0 +1,15 @@
+module Control.Lens.Each where
+
+  import Control.Lens.Type (Traversal())
+
+  import Data.Traversable (traverse)
+  import Data.Tuple (Tuple(..))
+
+  class Each s t a b where
+    each :: Traversal s t a b
+
+  instance eachTuple :: Each (Tuple a a) (Tuple b b) a b where
+    each f (Tuple a b) = Tuple <$> f a <*> f b
+
+  instance eachArray :: Each [a] [b] a b where
+    each = traverse

src/Control/Lens/README.md

@@ -94,6 +94,21 @@
     unsnoc :: forall a s. (Snoc s s a a) => s a -> Maybe (Tuple (s a) a)
 
 
+## Module Control.Lens.Each
+
+### Type Classes
+
+    class Each s t a b where
+      each :: Traversal s t a b
+
+
+### Type Class Instances
+
+    instance eachArray :: Each [a] [b] a b
+
+    instance eachTuple :: Each (Tuple a a) (Tuple b b) a b
+
+
 ## Module Control.Lens.Equality
 
 ### Values