Add tests for Inject

Author: garyb

.travis.yml

@@ -11,9 +11,11 @@ install:
   - chmod a+x $HOME/purescript
   - npm install -g bower
   - npm install
-  - bower install
+  - bower install --production
 script:
   - npm run -s build
+  - bower install 
+  - npm run -s test
 after_success:
 - >-
   test $TRAVIS_TAG &&

bower.json

@@ -22,5 +22,10 @@
     "purescript-invariant": "^4.0.0",
     "purescript-maybe": "^4.0.0",
     "purescript-prelude": "^4.0.0"
+  },
+  "devDependencies": {
+    "purescript-assert": "^4.0.0",
+    "purescript-console": "^4.0.0",
+    "purescript-effect": "^2.0.0"
   }
 }

package.json

@@ -2,7 +2,8 @@
   "private": true,
   "scripts": {
     "clean": "rimraf output && rimraf .pulp-cache",
-    "build": "pulp build -- --censor-lib --strict"
+    "build": "pulp build -- --censor-lib --strict",
+    "test": "pulp test"
   },
   "devDependencies": {
     "pulp": "^12.2.0",

test/Main.purs

@@ -0,0 +1,53 @@
+module Test.Main where
+
+import Prelude
+
+import Data.Either.Inject (inj, prj)
+import Data.Either.Nested (Either3, in1, in2, in3)
+import Data.Maybe (Maybe(..))
+import Effect (Effect)
+import Effect.Console (log)
+import Test.Assert (assertEqual)
+
+type MySum = Either3 Boolean String Int
+
+main :: Effect Unit
+main = do
+  log "Test injection"
+  assertEqual
+    { actual: inj true :: MySum
+    , expected: in1 true
+    }
+  assertEqual
+    { actual: inj "hello" :: MySum
+    , expected: in2 "hello"
+    }
+  assertEqual
+    { actual: inj 100 :: MySum
+    , expected: in3 100
+    }
+  log "Test projection"
+  assertEqual
+    { actual: prj (in1 true :: MySum)
+    , expected: Just true
+    }
+  assertEqual
+    { actual: prj (in2 "hello" :: MySum)
+    , expected: Just "hello"
+    }
+  assertEqual
+    { actual: prj (in3 100 :: MySum)
+    , expected: Just 100
+    }
+  assertEqual
+    { actual: prj (in1 true :: MySum)
+    , expected: Nothing :: Maybe String
+    }
+  assertEqual
+    { actual: prj (in2 "hello" :: MySum)
+    , expected: Nothing :: Maybe Int
+    }
+  assertEqual
+    { actual: prj (in3 100 :: MySum)
+    , expected: Nothing :: Maybe Boolean
+    }