Closed, Cochoice and Costrong, fixed.

Author: zrho

docs/Data/Profunctor/Closed.md

@@ -0,0 +1,17 @@
+## Module Data.Profunctor.Closed
+
+#### `Closed`
+
+``` purescript
+class (Profunctor p) <= Closed p where
+  closed :: forall a b x. p a b -> p (x -> a) (x -> b)
+```
+
+The `Closed` class extends the `Profunctor` class to work with functions.
+
+##### Instances
+``` purescript
+instance closedFunction :: Closed Function
+```
+
+

docs/Data/Profunctor/Cochoice.md

@@ -0,0 +1,13 @@
+## Module Data.Profunctor.Cochoice
+
+#### `Cochoice`
+
+``` purescript
+class (Profunctor p) <= Cochoice p where
+  unleft :: forall a b c. p (Either a c) (Either b c) -> p a b
+  unright :: forall a b c. p (Either a b) (Either a c) -> p b c
+```
+
+The `Cochoice` class provides the dual operations of the `Choice` class.
+
+

docs/Data/Profunctor/Costrong.md

@@ -0,0 +1,13 @@
+## Module Data.Profunctor.Costrong
+
+#### `Costrong`
+
+``` purescript
+class (Profunctor p) <= Costrong p where
+  unfirst :: forall a b c. p (Tuple a c) (Tuple b c) -> p a b
+  unsecond :: forall a b c. p (Tuple a b) (Tuple a c) -> p b c
+```
+
+The `Costrong` class provides the dual operations of the `Strong` class.
+
+

src/Data/Profunctor/Closed.purs

@@ -8,5 +8,5 @@ import Data.Profunctor
 class (Profunctor p) <= Closed p where
   closed :: forall a b x. p a b -> p (x -> a) (x -> b)
 
-instance Closed Function where
+instance closedFunction :: Closed Function where
   closed = (<<<)

src/Data/Profunctor/Costrong.purs

@@ -1,8 +1,8 @@
-module Data.Profunctor.Cochoice where
+module Data.Profunctor.Costrong where
 
 import Prelude
 
-import Data.Either (Tuple ())
+import Data.Tuple (Tuple ())
 import Data.Profunctor
 
 -- | The `Costrong` class provides the dual operations of the `Strong` class.