diff --git a/.travis.yml b/.travis.yml index f9843c2..27b95cd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,7 +1,7 @@ language: node_js dist: trusty sudo: required -node_js: 6 +node_js: stable env: - PATH=$HOME/purescript:$PATH install: diff --git a/package.json b/package.json index 62272ec..f9e9db6 100644 --- a/package.json +++ b/package.json @@ -2,11 +2,11 @@ "private": true, "scripts": { "clean": "rimraf output && rimraf .pulp-cache", - "build": "pulp build --censor-lib --strict" + "build": "pulp build -- --censor-lib --strict" }, "devDependencies": { - "pulp": "^9.0.1", - "purescript-psa": "^0.3.9", - "rimraf": "^2.5.0" + "pulp": "^10.0.4", + "purescript-psa": "^0.5.0-rc.1", + "rimraf": "^2.6.1" } } diff --git a/src/Type/Proxy.purs b/src/Type/Proxy.purs index 1080561..9c6079b 100644 --- a/src/Type/Proxy.purs +++ b/src/Type/Proxy.purs @@ -48,11 +48,11 @@ -- | ``` module Type.Proxy where --- | Value proxy for kind `*` types. +-- | Value proxy for kind `Type` types. data Proxy a = Proxy --- | Value proxy for kind `* -> *` types. -data Proxy2 (a :: * -> *) = Proxy2 +-- | Value proxy for kind `Type -> Type` types. +data Proxy2 (a :: Type -> Type) = Proxy2 --- | Value proxy for kind `* -> * -> *` types. -data Proxy3 (a :: * -> * -> *) = Proxy3 +-- | Value proxy for kind `Type -> Type -> Type` types. +data Proxy3 (a :: Type -> Type -> Type) = Proxy3