Updates for 0.11.1

Author: paf31

.travis.yml

@@ -1,15 +1,21 @@
 language: node_js
 dist: trusty
 sudo: required
-node_js: 6
+node_js: stable
+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 -s build
 after_success:
-- >-
-  test $TRAVIS_TAG &&
-  echo $GITHUB_TOKEN | pulp login &&
-  echo y | pulp publish --no-push
+  - >-
+    test $TRAVIS_TAG &&
+    echo $GITHUB_TOKEN | pulp login &&
+    echo y | pulp publish --no-push

bower.json

@@ -19,6 +19,7 @@
     "purescript-control": "^3.0.0",
     "purescript-tailrec": "^3.0.0",
     "purescript-transformers": "^3.0.0",
-    "purescript-exists": "^3.0.0"
+    "purescript-exists": "^3.0.0",
+    "purescript-eff": "^3.0.0"
   }
 }

package.json

@@ -2,12 +2,14 @@
   "private": true,
   "scripts": {
     "clean": "rimraf output && rimraf .pulp-cache",
-    "build": "pulp build -- --censor-lib --strict"
+    "build": "jshint src && jscs src && pulp build --censor-lib --strict",
+    "test": "pulp test"
   },
   "devDependencies": {
-    "pulp": "^10.0.1",
-    "purescript-psa": "^0.5.0",
-    "purescript": "^0.11.1",
-    "rimraf": "^2.5.4"
+    "jscs": "^2.8.0",
+    "jshint": "^2.9.1",
+    "pulp": "^10.0.4",
+    "purescript-psa": "^0.3.9",
+    "rimraf": "^2.5.0"
   }
 }

src/Control/Monad/Free/Trans.purs

@@ -13,15 +13,19 @@ module Control.Monad.Free.Trans
 
 import Prelude
 
+import Control.Apply (lift2)
+import Control.Monad.Eff.Class (class MonadEff, liftEff)
+import Control.Monad.Error.Class (class MonadThrow, throwError)
+import Control.Monad.Reader.Class (class MonadAsk, ask)
+import Control.Monad.Rec.Class (class MonadRec, Step(..), tailRecM)
+import Control.Monad.State.Class (class MonadState, state)
+import Control.Monad.Trans.Class (class MonadTrans, lift)
+import Control.Monad.Writer.Class (class MonadTell, tell)
 import Data.Bifunctor (bimap)
 import Data.Either (Either(..))
 import Data.Exists (Exists, mkExists, runExists)
 import Data.Monoid (class Monoid, mempty)
 
-import Control.Apply (lift2)
-import Control.Monad.Rec.Class (class MonadRec, Step(..), tailRecM)
-import Control.Monad.Trans.Class (class MonadTrans)
-
 -- | Instead of implementing `bind` directly, we capture the bind using this data structure, to
 -- | evaluate later.
 data Bound f m b a = Bound (Unit -> FreeT f m a) (a -> FreeT f m b)
@@ -84,6 +88,18 @@ instance semigroupFreeT :: (Functor f, Monad m, Semigroup w) => Semigroup (FreeT
 instance monoidFreeT :: (Functor f, Monad m, Monoid w) => Monoid (FreeT f m w) where
   mempty = pure mempty
 
+instance monadEffFreeT :: (Functor f, MonadEff eff m) => MonadEff eff (FreeT f m) where
+  liftEff = lift <<< liftEff
+
+instance monadAskFreeT :: (Functor f, MonadAsk r m) => MonadAsk r (FreeT f m) where
+  ask = lift ask
+
+instance monadTellFreeT :: (Functor f, MonadTell w m) => MonadTell w (FreeT f m) where
+  tell = lift <<< tell
+
+instance monadThrowFreeT :: (Functor f, MonadThrow e m) => MonadThrow e (FreeT f m) where
+  throwError = lift <<< throwError
+
 -- | Lift an action from the functor `f` to a `FreeT` action.
 liftFreeT :: forall f m a. Functor f => Monad m => f a -> FreeT f m a
 liftFreeT fa = FreeT \_ -> pure (Right (map pure fa))