Updates for RC

Author: garyb

bower.json

@@ -27,7 +27,7 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-either": "~0.2.0",
-    "purescript-tuples": "~0.4.0"
+    "purescript-either": "^0.2.0",
+    "purescript-tuples": "^0.4.0"
   }
 }

docs/Data.Profunctor.Choice.md

@@ -8,17 +8,17 @@ class (Profunctor p) <= Choice p where
   right :: forall a b c. p b c -> p (Either a b) (Either a c)
 ```
 
-##### Instances
-``` purescript
-instance choiceArr :: Choice Function
-```
-
 The `Choice` class extends `Profunctor` with combinators for working with
 sum types.
 
 `left` and `right` lift values in a `Profunctor` to act on the `Left` and
 `Right` components of a sum, respectively.
 
+##### Instances
+``` purescript
+instance choiceFn :: Choice Function
+```
+
 #### `(+++)`
 
 ``` purescript

docs/Data.Profunctor.Strong.md

@@ -8,17 +8,17 @@ class (Profunctor p) <= Strong p where
   second :: forall a b c. p b c -> p (Tuple a b) (Tuple a c)
 ```
 
-##### Instances
-``` purescript
-instance strongArr :: Strong Function
-```
-
 The `Strong` class extends `Profunctor` with combinators for working with
 product types.
 
 `first` and `second` lift values in a `Profunctor` to act on the first and
 second components of a `Tuple`, respectively.
 
+##### Instances
+``` purescript
+instance strongFn :: Strong Function
+```
+
 #### `(***)`
 
 ``` purescript

docs/Data.Profunctor.md

@@ -7,11 +7,6 @@ class Profunctor p where
   dimap :: forall a b c d. (a -> b) -> (c -> d) -> p b c -> p a d
 ```
 
-##### Instances
-``` purescript
-instance profunctorArr :: Profunctor Function
-```
-
 A `Profunctor` is a `Functor` from the pair category `(Type^op, Type)`
 to `Type`.
 
@@ -29,6 +24,11 @@ Laws:
 - Identity: `dimap id id = id`
 - Composition: `dimap f1 g1 <<< dimap f2 g2 = dimap (f1 >>> f2) (g1 <<< g2)`
 
+##### Instances
+``` purescript
+instance profunctorFn :: Profunctor Function
+```
+
 #### `lmap`
 
 ``` purescript

package.json

@@ -3,7 +3,7 @@
   "devDependencies": {
     "gulp": "^3.8.11",
     "gulp-plumber": "^1.0.0",
-    "gulp-purescript": "^0.5.0",
+    "gulp-purescript": "^0.5.0-rc.1",
     "rimraf": "^2.3.3"
   }
 }

src/Data/Profunctor.purs

@@ -33,5 +33,5 @@ rmap b2c = dimap id b2c
 arr :: forall a b p. (Category p, Profunctor p) => (a -> b) -> p a b
 arr f = rmap f id
 
-instance profunctorArr :: Profunctor (->) where
+instance profunctorFn :: Profunctor (->) where
   dimap a2b c2d b2c = a2b >>> b2c >>> c2d

src/Data/Profunctor/Choice.purs

@@ -14,7 +14,7 @@ class (Profunctor p) <= Choice p where
   left :: forall a b c. p a b -> p (Either a c) (Either b c)
   right :: forall a b c. p b c -> p (Either a b) (Either a c)
 
-instance choiceArr :: Choice (->) where
+instance choiceFn :: Choice (->) where
   left a2b (Left a)  = Left $ a2b a
   left _   (Right c) = Right c
   right = (<$>)

src/Data/Profunctor/Strong.purs

@@ -14,7 +14,7 @@ class (Profunctor p) <= Strong p where
   first :: forall a b c. p a b -> p (Tuple a c) (Tuple b c)
   second :: forall a b c. p b c -> p (Tuple a b) (Tuple a c)
 
-instance strongArr :: Strong (->) where
+instance strongFn :: Strong (->) where
   first a2b (Tuple a c) = Tuple (a2b a) c
   second = (<$>)