Update dependencies, build, docs

.travis.yml

@@ -8,8 +8,7 @@ install:
   - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
   - tar -xvf $HOME/purescript.tar.gz -C $HOME/
   - chmod a+x $HOME/purescript
-  - npm install bower grunt-cli -g
-  - npm install
-  - bower install
+  - npm install bower gulp -g
+  - npm install && bower install
 script:
-  - grunt
+  - gulp

README.md

@@ -1,8 +1,17 @@
-purescript-arrows
-=================
+# purescript-arrows
 
 [![Build Status](https://travis-ci.org/purescript-contrib/purescript-arrows.svg?branch=master)](https://travis-ci.org/purescript-contrib/purescript-arrows)
 
-Type classes for Arrows.
+Typeclasses for arrows.
 
-- [Module documentation](docs/Module.md)
+## Installation
+
+```
+bower install purescript-arrows
+```
+
+## Module documentation
+
+- [Control.Arrow](docs/Control.Arrow.md)
+- [Control.Arrow.Kleisli](docs/Control.Arrow.Kleisli.md)
+- [Control.Arrow.Cokleisli](docs/Control.Arrow.Cokleisli.md)

bower.json

@@ -22,7 +22,6 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-tuples": "~0.3.0",
-    "purescript-profunctor": "~0.2.0"
+    "purescript-profunctor": "~0.3.0"
   }
 }

docs/Control.Arrow.Cokleisli.md

@@ -0,0 +1,56 @@
+# Module Documentation
+
+## Module Control.Arrow.Cokleisli
+
+#### `Cokleisli`
+
+``` purescript
+newtype Cokleisli w a b
+  = Cokleisli (w a -> b)
+```
+
+
+#### `runCokleisli`
+
+``` purescript
+runCokleisli :: forall w a b. Cokleisli w a b -> w a -> b
+```
+
+
+#### `semigroupoidCokleisli`
+
+``` purescript
+instance semigroupoidCokleisli :: (Extend m) => Semigroupoid (Cokleisli m)
+```
+
+
+#### `categoryCokleisli`
+
+``` purescript
+instance categoryCokleisli :: (Comonad m) => Category (Cokleisli m)
+```
+
+
+#### `profunctorCokleisli`
+
+``` purescript
+instance profunctorCokleisli :: (Functor f) => Profunctor (Cokleisli f)
+```
+
+
+#### `strongCokleisli`
+
+``` purescript
+instance strongCokleisli :: (Comonad m) => Strong (Cokleisli m)
+```
+
+
+#### `arrowCokleisli`
+
+``` purescript
+instance arrowCokleisli :: (Comonad m) => Arrow (Cokleisli m)
+```
+
+
+
+

docs/Control.Arrow.Kleisli.md

@@ -0,0 +1,56 @@
+# Module Documentation
+
+## Module Control.Arrow.Kleisli
+
+#### `Kleisli`
+
+``` purescript
+newtype Kleisli m a b
+  = Kleisli (a -> m b)
+```
+
+
+#### `runKleisli`
+
+``` purescript
+runKleisli :: forall m a b. Kleisli m a b -> a -> m b
+```
+
+
+#### `semigroupoidKleisli`
+
+``` purescript
+instance semigroupoidKleisli :: (Monad m) => Semigroupoid (Kleisli m)
+```
+
+
+#### `categoryKleisli`
+
+``` purescript
+instance categoryKleisli :: (Monad m) => Category (Kleisli m)
+```
+
+
+#### `profunctorKleisli`
+
+``` purescript
+instance profunctorKleisli :: (Functor f) => Profunctor (Kleisli f)
+```
+
+
+#### `strongKleisli`
+
+``` purescript
+instance strongKleisli :: (Monad m) => Strong (Kleisli m)
+```
+
+
+#### `arrowKleisli`
+
+``` purescript
+instance arrowKleisli :: (Monad m) => Arrow (Kleisli m)
+```
+
+
+
+

docs/Control.Arrow.md

@@ -0,0 +1,36 @@
+# Module Documentation
+
+## Module Control.Arrow
+
+#### `Arrow`
+
+``` purescript
+class (Category a, Strong a) <= Arrow a where
+```
+
+
+#### `arrowFunction`
+
+``` purescript
+instance arrowFunction :: Arrow Prim.Function
+```
+
+
+#### `ArrowZero`
+
+``` purescript
+class ArrowZero a where
+  azero :: forall b c. a b c
+```
+
+
+#### `ArrowPlus`
+
+``` purescript
+class ArrowPlus a where
+  (<+>) :: forall b c. a b c -> a b c -> a b c
+```
+
+
+
+