Merge pull request #6 from purescript/0.8-updates

Updates for PureScript 0.8

Author: garyb

.gitignore

@@ -4,4 +4,3 @@
 /bower_components/
 /node_modules/
 /output/
-/tmp/

.travis.yml

@@ -1,14 +1,24 @@
 language: node_js
-sudo: false
-node_js:
-  - 0.10
+sudo: required
+dist: trusty
+node_js: 5
 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 -g bower
   - npm install
+  - bower install
 script:
   - npm run build
+after_success:
+- >-
+  test $TRAVIS_TAG &&
+  psc-publish > .pursuit.json &&
+  curl -X POST http://pursuit.purescript.org/packages \
+    -d @.pursuit.json \
+    -H 'Accept: application/json' \
+    -H "Authorization: token ${GITHUB_TOKEN}"

README.md

@@ -12,6 +12,6 @@ Identity value.
 bower install purescript-identity
 ```
 
-## Module documentation
+## Documentation
 
-- [Data.Identity](docs/Data/Identity.md)
+Module documentation is [published on Pursuit](http://pursuit.purescript.org/packages/purescript-identity).

bower.json

@@ -2,9 +2,6 @@
   "name": "purescript-identity",
   "homepage": "https://github.com/purescript/purescript-identity",
   "description": "Identity value",
-  "keywords": [
-    "purescript"
-  ],
   "authors": [
     "Gary Burgess <[email protected]>",
     "Hardy Jones <[email protected]>"
@@ -24,6 +21,6 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-foldable-traversable": "^0.4.0"
+    "purescript-foldable-traversable": "^1.0.0-rc.1"
   }
 }

docs/Data.Identity.md

@@ -1,11 +1,11 @@
 {
   "private": true,
   "scripts": {
-    "postinstall": "pulp dep install",
-    "build": "pulp build && rimraf docs && pulp docs"
+    "clean": "rimraf output && rimraf .pulp-cache",
+    "build": "pulp build"
   },
   "devDependencies": {
-    "pulp": "^4.0.2",
-    "rimraf": "^2.4.1"
+    "pulp": "^8.1.0",
+    "rimraf": "^2.5.0"
   }
 }

package.json

@@ -1,13 +1,29 @@
 module Data.Identity where
 
-import Prelude
-
-import Control.Comonad (Comonad)
-import Control.Extend (Extend)
-import Data.Foldable (Foldable)
-import Data.Functor.Invariant (Invariant, imapF)
-import Data.Monoid (Monoid, mempty)
-import Data.Traversable (Traversable)
+import Control.Applicative (class Applicative)
+import Control.Apply (class Apply)
+import Control.Bind (class Bind)
+import Control.Comonad (class Comonad)
+import Control.Extend (class Extend)
+import Control.Monad (class Monad)
+
+import Data.BooleanAlgebra (class BooleanAlgebra, not, (||), (&&))
+import Data.Bounded (class Bounded, bottom, top)
+import Data.BoundedOrd (class BoundedOrd)
+import Data.DivisionRing (class DivisionRing)
+import Data.Eq (class Eq, (==))
+import Data.Foldable (class Foldable)
+import Data.Functor (class Functor, (<$>))
+import Data.Functor.Invariant (class Invariant, imapF)
+import Data.ModuloSemiring (class ModuloSemiring, mod, (/))
+import Data.Monoid (class Monoid, mempty)
+import Data.Num (class Num)
+import Data.Ord (class Ord, compare)
+import Data.Ring (class Ring, (-))
+import Data.Semigroup (class Semigroup, (<>))
+import Data.Semiring (class Semiring, one, zero, (+), (*))
+import Data.Show (class Show, show)
+import Data.Traversable (class Traversable)
 
 newtype Identity a = Identity a
 
@@ -27,8 +43,8 @@ instance boundedIdentity :: (Bounded a) => Bounded (Identity a) where
 instance boundedOrdIdentity :: (BoundedOrd a) => BoundedOrd (Identity a)
 
 instance booleanAlgebraIdentity :: (BooleanAlgebra a) => BooleanAlgebra (Identity a) where
-  conj (Identity x) (Identity y) = Identity (conj x y)
-  disj (Identity x) (Identity y) = Identity (disj x y)
+  conj (Identity x) (Identity y) = Identity (x && y)
+  disj (Identity x) (Identity y) = Identity (x || y)
   not (Identity x) = Identity (not x)
 
 instance semigroupIdenity :: (Semigroup a) => Semigroup (Identity a) where
@@ -55,7 +71,7 @@ instance divisionRingIdentity :: (DivisionRing a) => DivisionRing (Identity a)
 instance numIdentity :: (Num a) => Num (Identity a)
 
 instance showIdentity :: (Show a) => Show (Identity a) where
-  show (Identity x) = "Identity (" ++ show x ++ ")"
+  show (Identity x) = "(Identity " <> show x <> ")"
 
 instance functorIdentity :: Functor Identity where
   map f (Identity x) = Identity (f x)