Update build

Author: garyb

Diff for: .gitignore

@@ -1,7 +1,6 @@
 /.*
 !/.gitignore
 !/.travis.yml
-/output/
-/node_modules/
 /bower_components/
-/tmp/
+/node_modules/
+/output/

Diff for: .travis.yml

@@ -0,0 +1,14 @@
+language: node_js
+sudo: false
+node_js:
+  - 0.10
+env:
+  - PATH=$HOME/purescript:$PATH
+install:
+  - TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
+  - 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
+script:
+  - npm run build

Diff for: LICENSE

@@ -0,0 +1,20 @@
+The MIT License (MIT)
+
+Copyright (c) 2014 PureScript
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of
+this software and associated documentation files (the "Software"), to deal in
+the Software without restriction, including without limitation the rights to
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
+the Software, and to permit persons to whom the Software is furnished to do so,
+subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
+FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
+COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
+IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
+CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

Diff for: README.md

@@ -1,83 +1,16 @@
-# Module Documentation
+# purescript-proxy
 
-## Module Type.Proxy
+[![Latest release](http://img.shields.io/bower/v/purescript-proxy.svg)](https://github.com/purescript/purescript-proxy/releases)
+[![Build Status](https://travis-ci.org/purescript/purescript-proxy.svg?branch=master)](https://travis-ci.org/purescript/purescript-proxy)
 
+Value proxy for type inputs.
 
-The `Proxy` type and values are for situations where type information is
-required for an input to determine the type of an output, but where it is
-not possible or convenient to provide a _value_ for the input.
+## Installation
 
-A hypothetical example: if you have a class that is used to handle the
-result of an AJAX request, you may want to use this information to set the
-expected content type of the request, so you might have a class something
-like this:
-
-``` purescript
-class AjaxResponse a where
-  responseType :: a -> ResponseType
-  fromResponse :: Foreign -> a
-```
-
-The problem here is `responseType` requires a value of type `a`, but we
-won't have a value of that type until the request has been completed. The
-solution is to use a `Proxy` type instead:
-
-``` purescript
-class AjaxResponse a where
-  responseType :: Proxy a -> ResponseType
-  fromResponse :: Foreign -> a
-```
-
-We can now call `responseType (Proxy :: Proxy SomeContentType)` to produce
-a `ResponseType` for `SomeContentType` without having to construct some
-empty version of `SomeContentType` first. In situations like this where
-the `Proxy` type can be statically determined, it is recommended to pull
-out the definition to the top level and make a declaration like:
-
-``` purescript
-_SomeContentType :: Proxy SomeContentType
-_SomeContentType = Proxy
 ```
-
-That way the proxy value can be used as `responseType _SomeContentType`
-for improved readability. However, this is not always possible, sometimes
-the type required will be determined by a type variable. As PureScript has
-scoped type variables, we can do things like this:
-
-``` purescript
-makeRequest :: URL -> ResponseType -> Aff _ Foreign
-makeRequest = ...
-
-fetchData :: forall a. (AjaxResponse a) => URL -> Aff _ a
-fetchData url = fromResponse <$> makeRequest url (responseType (Proxy :: Proxy a))
+bower install purescript-proxy
 ```
 
-#### `Proxy`
-
-``` purescript
-data Proxy a
-  = Proxy 
-```
-
-Value proxy for kind `*` types.
-
-#### `Proxy2`
-
-``` purescript
-data Proxy2 (a :: * -> *)
-  = Proxy2 
-```
-
-Value proxy for kind `* -> *` types.
-
-#### `Proxy3`
-
-``` purescript
-data Proxy3 (a :: * -> * -> *)
-  = Proxy3 
-```
-
-Value proxy for kind `* -> * -> *` types.
-
-
+## Module documentation
 
+- [Type.Proxy](docs/Type/Proxy.md)

Diff for: bower.json

@@ -12,9 +12,7 @@
     "node_modules",
     "output",
     "test",
-    "tmp",
     "bower.json",
-    "gulpfile.js",
     "package.json"
   ]
 }

Diff for: docs/Type/Proxy.md

@@ -0,0 +1,79 @@
+## Module Type.Proxy
+
+The `Proxy` type and values are for situations where type information is
+required for an input to determine the type of an output, but where it is
+not possible or convenient to provide a _value_ for the input.
+
+A hypothetical example: if you have a class that is used to handle the
+result of an AJAX request, you may want to use this information to set the
+expected content type of the request, so you might have a class something
+like this:
+
+``` purescript
+class AjaxResponse a where
+  responseType :: a -> ResponseType
+  fromResponse :: Foreign -> a
+```
+
+The problem here is `responseType` requires a value of type `a`, but we
+won't have a value of that type until the request has been completed. The
+solution is to use a `Proxy` type instead:
+
+``` purescript
+class AjaxResponse a where
+  responseType :: Proxy a -> ResponseType
+  fromResponse :: Foreign -> a
+```
+
+We can now call `responseType (Proxy :: Proxy SomeContentType)` to produce
+a `ResponseType` for `SomeContentType` without having to construct some
+empty version of `SomeContentType` first. In situations like this where
+the `Proxy` type can be statically determined, it is recommended to pull
+out the definition to the top level and make a declaration like:
+
+``` purescript
+_SomeContentType :: Proxy SomeContentType
+_SomeContentType = Proxy
+```
+
+That way the proxy value can be used as `responseType _SomeContentType`
+for improved readability. However, this is not always possible, sometimes
+the type required will be determined by a type variable. As PureScript has
+scoped type variables, we can do things like this:
+
+``` purescript
+makeRequest :: URL -> ResponseType -> Aff _ Foreign
+makeRequest = ...
+
+fetchData :: forall a. (AjaxResponse a) => URL -> Aff _ a
+fetchData url = fromResponse <$> makeRequest url (responseType (Proxy :: Proxy a))
+```
+
+#### `Proxy`
+
+``` purescript
+data Proxy a
+  = Proxy
+```
+
+Value proxy for kind `*` types.
+
+#### `Proxy2`
+
+``` purescript
+data Proxy2 (a :: * -> *)
+  = Proxy2
+```
+
+Value proxy for kind `* -> *` types.
+
+#### `Proxy3`
+
+``` purescript
+data Proxy3 (a :: * -> * -> *)
+  = Proxy3
+```
+
+Value proxy for kind `* -> * -> *` types.
+
+

Diff for: gulpfile.js

@@ -1,9 +1,11 @@
 {
   "private": true,
+  "scripts": {
+    "postinstall": "pulp dep install",
+    "build": "pulp build && rimraf docs && pulp docs"
+  },
   "devDependencies": {
-    "gulp": "^3.8.11",
-    "gulp-jsvalidate": "^1.0.1",
-    "gulp-plumber": "^1.0.0",
-    "gulp-purescript": "^0.3.1"
+    "pulp": "^4.0.2",
+    "rimraf": "^2.4.1"
   }
 }