Updates for PureScript 0.8

Author: garyb

.gitignore

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

.travis.yml

@@ -1,14 +1,23 @@
 language: node_js
 sudo: false
 node_js:
-  - 0.10
+  - 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
 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 @@ Constant data type.
 bower install purescript-const
 ```
 
-## Module documentation
+## Documentation
 
-- [Data.Const](docs/Data/Const.md)
+Module documentation is [published on Pursuit](http://pursuit.purescript.org/packages/purescript-const).

bower.json

@@ -2,11 +2,6 @@
   "name": "purescript-const",
   "homepage": "https://github.com/purescript/purescript-const",
   "description": "Constant data type for PureScript",
-  "keywords": [
-    "purescript",
-    "const",
-    "constant"
-  ],
   "authors": [
     "Hardy Jones <[email protected]>",
     "Gary Burgess <[email protected]>",
@@ -27,7 +22,7 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-contravariant": "^0.2.0",
-    "purescript-foldable-traversable": "^0.4.0"
+    "purescript-contravariant": "^1.0.0",
+    "purescript-foldable-traversable": "^1.0.0"
   }
 }

docs/Data/Const.md

@@ -2,10 +2,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.1",
-    "rimraf": "^2.4.1"
+    "pulp": "^7.0.0",
+    "rimraf": "^2.5.0"
   }
 }

package.json

@@ -1,15 +1,28 @@
--- | This module defines the `Const` type constructor.
-
 module Data.Const where
 
-import Prelude
-
-import Data.Bifoldable (Bifoldable)
-import Data.Foldable (Foldable)
-import Data.Functor.Contravariant (Contravariant)
-import Data.Functor.Invariant (Invariant, imapF)
-import Data.Monoid (Monoid, mempty)
-import Data.Traversable (Traversable)
+import Control.Applicative (class Applicative, pure)
+import Control.Apply (class Apply)
+import Control.Bind (class Bind)
+import Control.Semigroupoid (class Semigroupoid)
+
+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.Contravariant (class Contravariant)
+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)
 
 -- | The `Const` type constructor, which wraps its first type argument
 -- | and ignores its second. That is, `Const a b` is isomorphic to `a`
@@ -24,46 +37,70 @@ newtype Const a b = Const a
 getConst :: forall a b. Const a b ->  a
 getConst (Const x) = x
 
-instance eqConst :: (Eq a) => Eq (Const a b) where
+instance eqConst :: Eq a => Eq (Const a b) where
   eq (Const x) (Const y) = x == y
 
-instance ordConst :: (Ord a) => Ord (Const a b) where
+instance ordConst :: Ord a => Ord (Const a b) where
   compare (Const x) (Const y) = compare x y
 
-instance boundedConst :: (Bounded a) => Bounded (Const a b) where
+instance boundedConst :: Bounded a => Bounded (Const a b) where
   top = Const top
   bottom = Const bottom
 
-instance showConst :: (Show a) => Show (Const a b) where
-  show (Const x) = "Const (" ++ show x ++ ")"
+instance boundedOrdConst :: BoundedOrd a => BoundedOrd (Const a b)
+
+instance showConst :: Show a => Show (Const a b) where
+  show (Const x) = "(Const " <> show x <> ")"
 
 instance semigroupoidConst :: Semigroupoid Const where
   compose _ (Const x) = Const x
 
-instance semigroupConst :: (Semigroup a) => Semigroup (Const a b) where
+instance semigroupConst :: Semigroup a => Semigroup (Const a b) where
   append (Const x) (Const y) = Const (x <> y)
 
-instance monoidConst :: (Monoid a) => Monoid (Const a b) where
+instance monoidConst :: Monoid a => Monoid (Const a b) where
   mempty = Const mempty
 
+instance semiringConst :: Semiring a => Semiring (Const a b) where
+  add (Const x) (Const y) = Const (x + y)
+  zero = Const zero
+  mul (Const x) (Const y) = Const (x * y)
+  one = Const one
+
+instance ringConst :: Ring a => Ring (Const a b) where
+  sub (Const x) (Const y) = Const (x - y)
+
+instance moduloSemiringConst :: ModuloSemiring a => ModuloSemiring (Const a b) where
+  div (Const x) (Const y) = Const (x / y)
+  mod (Const x) (Const y) = Const (x `mod` y)
+
+instance divisionRingConst :: DivisionRing a => DivisionRing (Const a b)
+
+instance numConst :: Num a => Num (Const a b)
+
+instance booleanAlgebraConst :: BooleanAlgebra a => BooleanAlgebra (Const a b) where
+  conj (Const x) (Const y) = Const (x && y)
+  disj (Const x) (Const y) = Const (x || y)
+  not (Const x) = Const (not x)
+
 instance functorConst :: Functor (Const a) where
   map _ (Const x) = Const x
 
 instance invariantConst :: Invariant (Const a) where
   imap = imapF
 
-instance applyConst :: (Semigroup a) => Apply (Const a) where
+instance contravariantConst :: Contravariant (Const a) where
+  cmap _ (Const x) = Const x
+
+instance applyConst :: Semigroup a => Apply (Const a) where
   apply (Const x) (Const y) = Const (x <> y)
 
-instance bindConst :: (Semigroup a) => Bind (Const a) where
+instance bindConst :: Semigroup a => Bind (Const a) where
   bind (Const x) _ = Const x
 
-instance applicativeConst :: (Monoid a) => Applicative (Const a) where
+instance applicativeConst :: Monoid a => Applicative (Const a) where
   pure _ = Const mempty
 
-instance contravariantConst :: Contravariant (Const a) where
-  cmap _ (Const x) = Const x
-
 instance foldableConst :: Foldable (Const a) where
   foldr _ z _ = z
   foldl _ z _ = z