Merge pull request #14 from purescript-contrib/first

paf31 · paf31 · commit d881cd14f3ce · 2015-11-07T14:31:15.000-08:00
Use first and second instead of _1 and _2
diff --git a/docs/Data/Lens/Common.md b/docs/Data/Lens/Common.md
@@ -2,66 +2,4 @@
 
 This module defines common lenses and prisms.
 
-#### `_Nothing`
-
-``` purescript
-_Nothing :: forall a b. Prism (Maybe a) (Maybe b) Unit Unit
-```
-
-#### `_Just`
-
-``` purescript
-_Just :: forall a b. Prism (Maybe a) (Maybe b) a b
-```
-
-Prism for the `Just` constructor of `Maybe`.
-
-#### `_Left`
-
-``` purescript
-_Left :: forall a b c. Prism (Either a c) (Either b c) a b
-```
-
-Prism for the `Left` constructor of `Either`.
-
-#### `_Right`
-
-``` purescript
-_Right :: forall a b c. Prism (Either c a) (Either c b) a b
-```
-
-Prism for the `Right` constructor of `Either`.
-
-#### `_1`
-
-``` purescript
-_1 :: forall a b c. Lens (Tuple a c) (Tuple b c) a b
-```
-
-Lens for the first component of a `Tuple`.
-
-#### `_2`
-
-``` purescript
-_2 :: forall a b c. Lens (Tuple c a) (Tuple c b) a b
-```
-
-Lens for the second component of a `Tuple`.
-
-#### `united`
-
-``` purescript
-united :: forall a. LensP a Unit
-```
-
-There is a `Unit` in everything.
-
-#### `devoid`
-
-``` purescript
-devoid :: forall a. LensP Void a
-```
-
-There is everything in `Void`.
-
 
diff --git a/docs/Data/Lens/Fold.md b/docs/Data/Lens/Fold.md
@@ -1,6 +1,6 @@
 ## Module Data.Lens.Fold
 
-This module defines functions for working with getters.
+This module defines functions for working with folds.
 
 #### `preview`
 
diff --git a/docs/Data/Lens/Iso/Coproduct.md b/docs/Data/Lens/Iso/Coproduct.md
@@ -0,0 +1,9 @@
+## Module Data.Lens.Iso.Coproduct
+
+#### `_Coproduct`
+
+``` purescript
+_Coproduct :: forall f g h i a b. Iso (Coproduct f g a) (Coproduct h i b) (Either (f a) (g a)) (Either (h b) (i b))
+```
+
+
diff --git a/docs/Data/Lens/Iso/Product.md b/docs/Data/Lens/Iso/Product.md
@@ -0,0 +1,9 @@
+## Module Data.Lens.Iso.Product
+
+#### `_Product`
+
+``` purescript
+_Product :: forall f g h i a b. Iso (Product f g a) (Product h i b) (Tuple (f a) (g a)) (Tuple (h b) (i b))
+```
+
+
diff --git a/docs/Data/Lens/Lens/Product.md b/docs/Data/Lens/Lens/Product.md
@@ -0,0 +1,19 @@
+## Module Data.Lens.Lens.Product
+
+#### `_1`
+
+``` purescript
+_1 :: forall f g h a. Lens (Product f g a) (Product h g a) (f a) (h a)
+```
+
+Lens for the first component of a `Product`.
+
+#### `_2`
+
+``` purescript
+_2 :: forall f g h a. Lens (Product f g a) (Product f h a) (g a) (h a)
+```
+
+Lens for the second component of a `Product`.
+
+
diff --git a/docs/Data/Lens/Lens/Tuple.md b/docs/Data/Lens/Lens/Tuple.md
@@ -0,0 +1,19 @@
+## Module Data.Lens.Lens.Tuple
+
+#### `_1`
+
+``` purescript
+_1 :: forall a b c. Lens (Tuple a c) (Tuple b c) a b
+```
+
+Lens for the first component of a `Tuple`.
+
+#### `_2`
+
+``` purescript
+_2 :: forall a b c. Lens (Tuple c a) (Tuple c b) a b
+```
+
+Lens for the second component of a `Tuple`.
+
+
diff --git a/docs/Data/Lens/Lens/Unit.md b/docs/Data/Lens/Lens/Unit.md
@@ -0,0 +1,11 @@
+## Module Data.Lens.Lens.Unit
+
+#### `united`
+
+``` purescript
+united :: forall a. LensP a Unit
+```
+
+There is a `Unit` in everything.
+
+
diff --git a/docs/Data/Lens/Lens/Void.md b/docs/Data/Lens/Lens/Void.md
@@ -0,0 +1,11 @@
+## Module Data.Lens.Lens.Void
+
+#### `devoid`
+
+``` purescript
+devoid :: forall a. LensP Void a
+```
+
+There is everything in `Void`.
+
+
diff --git a/docs/Data/Lens/Prism.md b/docs/Data/Lens/Prism.md
@@ -1,6 +1,6 @@
 ## Module Data.Lens.Prism
 
-This module defines functions for working with lenses.
+This module defines functions for working with prisms.
 
 #### `prism`
 
diff --git a/docs/Data/Lens/Prism/Coproduct.md b/docs/Data/Lens/Prism/Coproduct.md
@@ -0,0 +1,19 @@
+## Module Data.Lens.Prism.Coproduct
+
+#### `_Left`
+
+``` purescript
+_Left :: forall f g h a. Prism (Coproduct f g a) (Coproduct h g a) (f a) (h a)
+```
+
+Prism for the `left` of a `Coproduct`.
+
+#### `_Right`
+
+``` purescript
+_Right :: forall f g h a. Prism (Coproduct f g a) (Coproduct f h a) (g a) (h a)
+```
+
+Prism for the `right` of a `Coproduct`.
+
+
diff --git a/docs/Data/Lens/Prism/Either.md b/docs/Data/Lens/Prism/Either.md
@@ -0,0 +1,19 @@
+## Module Data.Lens.Prism.Either
+
+#### `_Left`
+
+``` purescript
+_Left :: forall a b c. Prism (Either a c) (Either b c) a b
+```
+
+Prism for the `Left` constructor of `Either`.
+
+#### `_Right`
+
+``` purescript
+_Right :: forall a b c. Prism (Either c a) (Either c b) a b
+```
+
+Prism for the `Right` constructor of `Either`.
+
+
diff --git a/docs/Data/Lens/Prism/Maybe.md b/docs/Data/Lens/Prism/Maybe.md
@@ -0,0 +1,19 @@
+## Module Data.Lens.Prism.Maybe
+
+#### `_Nothing`
+
+``` purescript
+_Nothing :: forall a b. Prism (Maybe a) (Maybe b) Unit Unit
+```
+
+Prism for the `Nothing` constructor of `Maybe`.
+
+#### `_Just`
+
+``` purescript
+_Just :: forall a b. Prism (Maybe a) (Maybe b) a b
+```
+
+Prism for the `Just` constructor of `Maybe`.
+
+
diff --git a/docs/Data/Lens/Traversal.md b/docs/Data/Lens/Traversal.md
@@ -33,7 +33,7 @@ If you do not need the result, see `sequenceOf_` for `Fold`s.
 failover :: forall f s t a b. (Alternative f) => Optic (Star (Tuple (Disj Boolean))) s t a b -> (a -> b) -> s -> f t
 ```
 
-Tries to map over a `Traversal`; returns `empty`, if the traversal did
+Tries to map over a `Traversal`; returns `empty` if the traversal did
 not have any new focus.
 
 
diff --git a/docs/Data/Lens/Types.md b/docs/Data/Lens/Types.md
@@ -1,14 +1,14 @@
 ## Module Data.Lens.Types
 
-This module defines functions for working with lenses.
+This module defines types for working with lenses.
 
 #### `Optic`
 
 ``` purescript
 type Optic p s t a b = p a b -> p s t
 ```
 
-A general-purpose optic.
+A general-purpose Data.Lens.
 
 #### `OpticP`
 
diff --git a/src/Data/Lens/Lens/Tuple.purs b/src/Data/Lens/Lens/Tuple.purs
@@ -1,13 +1,17 @@
-module Data.Lens.Lens.Tuple where
+module Data.Lens.Lens.Tuple 
+  ( _1
+  , _2
+  , module Data.Profunctor.Strong
+  ) where
 
-import Data.Tuple (Tuple(..))
-
-import Data.Lens.Lens (Lens(), lens)
+import Data.Tuple (Tuple())
+import Data.Lens.Lens (Lens())
+import Data.Profunctor.Strong (first, second)
 
 -- | Lens for the first component of a `Tuple`.
 _1 :: forall a b c. Lens (Tuple a c) (Tuple b c) a b
-_1 = lens (\(Tuple a _) -> a) \(Tuple _ c) b -> Tuple b c
+_1 = first
 
 -- | Lens for the second component of a `Tuple`.
 _2 :: forall a b c. Lens (Tuple c a) (Tuple c b) a b
-_2 = lens (\(Tuple _ a) -> a) \(Tuple c _) b -> Tuple c b
+_2 = second
diff --git a/src/Data/Lens/Prism/Either.purs b/src/Data/Lens/Prism/Either.purs
@@ -1,15 +1,19 @@
-module Data.Lens.Prism.Either where
+module Data.Lens.Prism.Either
+  ( _Left
+  , _Right
+  , module Data.Profunctor.Choice
+  ) where
 
 import Prelude
 
-import Data.Either (Either(..), either)
-
+import Data.Either (Either(..))
 import Data.Lens.Prism (Prism(), prism)
+import Data.Profunctor.Choice (left, right)
 
 -- | Prism for the `Left` constructor of `Either`.
 _Left :: forall a b c. Prism (Either a c) (Either b c) a b
-_Left = prism Left $ either Right (Left <<< Right)
+_Left = left
 
 -- | Prism for the `Right` constructor of `Either`.
 _Right :: forall a b c. Prism (Either c a) (Either c b) a b
-_Right = prism Right $ either (Left <<< Left) Right
+_Right = right
