Exporting things.

Author: joneshf

src/Control/Lens.purs

@@ -18,6 +18,9 @@ module Control.Lens
   , tail
   , uncons
   , unsnoc
+  -- Equality
+  , simple
+  , simply
   -- Fold
   , (^..), (^?)
   , filtered
@@ -63,6 +66,19 @@ module Control.Lens
   , _Right
   , _Just
   , _Nothing
+  -- Review
+  , Review()
+  , ReviewP()
+  , AReview()
+  , AReviewP()
+  , (##)
+  , re
+  , reuse
+  , reuses
+  , review
+  , reviews
+  , unto
+  , un
   -- Setter
   , (%~), (.~), (+~), (-~), (*~), (//~), (||~), (&&~), (<>~), (++~), (?~)
   , (%=), (.=), (+=), (-=), (*=), (//=), (||=), (&&=), (<>=), (++=), (?=)
@@ -143,16 +159,18 @@ module Control.Lens
   , TraversalP()
   , Traversal1()
   , Traversal1P()
-  )  where
+  ) where
 
   import qualified Control.Lens.At as At
   import qualified Control.Lens.Cons as Cons
+  import qualified Control.Lens.Equality as Equality
   import qualified Control.Lens.Fold as Fold
   import qualified Control.Lens.Getter as Getter
   import qualified Control.Lens.Indexed as Indexed
   import qualified Control.Lens.Iso as Iso
   import qualified Control.Lens.Lens as Lens
   import qualified Control.Lens.Prism as Prism
+  import qualified Control.Lens.Review as Review
   import qualified Control.Lens.Setter as Setter
   import qualified Control.Lens.Traversal as Traversal
   import qualified Control.Lens.Tuple as Tuple
@@ -181,6 +199,10 @@ module Control.Lens
   uncons = Cons.uncons
   unsnoc = Cons.unsnoc
 
+  -- Equality
+  simple = Equality.simple
+  simply = Equality.simply
+
   -- Fold
   infixl 8 ^..
   infixl 8 ^?
@@ -241,6 +263,21 @@ module Control.Lens
   _Just      = Prism._Just
   _Nothing   = Prism._Nothing
 
+  -- Review
+  infixr 8 ##
+  type Review s t a b  = Review.Review s t a b
+  type ReviewP t b     = Review.ReviewP t b
+  type AReview s t a b = Review.AReview s t a b
+  type AReviewP t b    = Review.AReviewP t b
+  (##)       = Review.(##)
+  re         = Review.re
+  reuse      = Review.reuse
+  reuses     = Review.reuses
+  review     = Review.review
+  reviews    = Review.reviews
+  unto       = Review.unto
+  un         = Review.un
+
   -- Setter
   infixr 4 %~
   infixr 4 .~

src/Control/Lens/Equality.purs

@@ -1,6 +1,12 @@
-module Control.Lens.Equality where
+module Control.Lens.Equality
+  ( simple
+  , simply
+  ) where
 
-  import Control.Lens.Type (OpticP())
+  import Control.Lens.Type (EqualityP(), OpticP())
+
+  simple :: forall a. EqualityP a a
+  simple = id
 
   simply :: forall p f s a r. (OpticP p f s a -> r) -> OpticP p f s a -> r
   simply = id

src/Control/Lens/README.md

@@ -98,6 +98,8 @@
 
 ### Values
 
+    simple :: forall a. EqualityP a a
+
     simply :: forall p f s a r. (OpticP p f s a -> r) -> OpticP p f s a -> r
 
 
@@ -250,16 +252,11 @@
 
     type ReviewP t b = Review t t b b
 
-    newtype Void where
-      Void :: Void -> Void
-
 
 ### Values
 
     (##) :: forall s t a b. AReview s t a b -> b -> t
 
-    absurd :: forall a. Void -> a
-
     re :: forall s t a b. AReview s t a b -> Getter b t
 
     reuse :: forall m b a t s. (Monad m, MonadState b m) => AReview s t a b -> m t

src/Control/Lens/Review.purs

@@ -1,4 +1,17 @@
-module Control.Lens.Review where
+module Control.Lens.Review
+  ( Review()
+  , ReviewP()
+  , AReview()
+  , AReviewP()
+  , (##)
+  , re
+  , reuse
+  , reuses
+  , review
+  , reviews
+  , unto
+  , un
+  ) where
 
   import Control.Lens.Getter (to, view, Getting())
   import Control.Lens.Internal.Setter (Settable)

src/Control/README.md

@@ -4,6 +4,10 @@
 
 ### Types
 
+    type AReview s t a b = Review.AReview s t a b
+
+    type AReviewP t b = Review.AReviewP t b
+
     type Action m s a = Type.Action m s a
 
     type As a = Type.As a
@@ -114,6 +118,10 @@
 
     type RelevantMonadicFold m s a = Type.RelevantMonadicFold m s a
 
+    type Review s t a b = Review.Review s t a b
+
+    type ReviewP t b = Review.ReviewP t b
+
     type Setter s t a b = Type.Setter s t a b
 
     type SetterP s a = Type.SetterP s a

src/Data/Profunctor/Choice.purs

@@ -2,7 +2,6 @@ module Data.Profunctor.Choice where
 
   import Data.Either (Either(..))
   import Data.Profunctor (Profunctor)
-  import Data.Tagged (Tagged(..))
 
   class (Profunctor p) <= Choice p where
     left' :: forall a b c. p a b -> p (Either a c) (Either b c)
@@ -13,7 +12,3 @@ module Data.Profunctor.Choice where
     left' _   (Right c) = Right c
 
     right' = (<$>)
-
-  instance choiceTagged :: Choice Tagged where
-    left'  (Tagged x) = Tagged $ Left x
-    right' (Tagged x) = Tagged $ Right x

src/Data/Tagged.purs

@@ -8,9 +8,11 @@ module Data.Tagged where
   import Data.Bifoldable (Bifoldable)
   import Data.Bifunctor (bimap, Bifunctor)
   import Data.Bitraversable (bitraverse, Bitraversable)
+  import Data.Either (Either(..))
   import Data.Foldable (Foldable)
   import Data.Monoid (mempty, Monoid)
   import Data.Profunctor (Profunctor)
+  import Data.Profunctor.Choice (Choice)
   import Data.Traversable (Traversable)
 
   newtype Tagged s b = Tagged b
@@ -88,3 +90,7 @@ module Data.Tagged where
 
   instance profunctorTagged :: Profunctor Tagged where
     dimap _ f (Tagged x) = Tagged $ f x
+
+  instance choiceTagged :: Choice Tagged where
+    left'  (Tagged x) = Tagged $ Left x
+    right' (Tagged x) = Tagged $ Right x