Merge pull request #16 from ethul/topic/move-free

Moving Free and Trampoline to purescript-free

Author: garyb

Gruntfile.js

@@ -39,10 +39,6 @@ module.exports = function(grunt) {
       exampleCont: {
         src: ["examples/Cont.purs", "<%=libFiles%>"],
         dest: "tmp/Cont.js"
-      },
-      exampleFree: {
-        src: ["examples/Free.purs", "<%=libFiles%>"],
-        dest: "tmp/Free.js"
       }
     },
 
@@ -58,9 +54,6 @@ module.exports = function(grunt) {
       },
       exampleCont: {
         src: "tmp/Cont.js"
-      },
-      exampleFree: {
-        src: "tmp/Free.js"
       }
     }
 
@@ -74,7 +67,6 @@ module.exports = function(grunt) {
   grunt.registerTask("exampleState", ["psc:exampleState", "execute:exampleState"]);
   grunt.registerTask("exampleWriter", ["psc:exampleWriter", "execute:exampleWriter"]);
   grunt.registerTask("exampleCont", ["psc:exampleCont", "execute:exampleCont"]);
-  grunt.registerTask("exampleFree", ["psc:exampleFree", "execute:exampleFree"]);
   grunt.registerTask("examples", ["psc", "execute"]);
   grunt.registerTask("make", ["pscMake", "dotPsci", "docgen"]);
   grunt.registerTask("default", ["make"]);

docs/Module.md

@@ -139,54 +139,6 @@
     runErrorT :: forall e m a. ErrorT e m a -> m (Either e a)
 
 
-## Module Control.Monad.Free
-
-### Types
-
-    data Free f a where
-      Pure :: a -> Free f a
-      Free :: f (Free f a) -> Free f a
-      Gosub :: forall s. (forall r. (Unit -> Free f r) -> (r -> Free f a) -> s) -> s -> Free f a
-
-
-### Type Classes
-
-    class MonadFree f m where
-      wrap :: forall a. f (m a) -> m a
-
-
-### Type Class Instances
-
-    instance applicativeFree :: (Functor f) => Applicative (Free f)
-
-    instance applyFree :: (Functor f) => Apply (Free f)
-
-    instance bindFree :: (Functor f) => Bind (Free f)
-
-    instance functorFree :: (Functor f) => Functor (Free f)
-
-    instance monadFree :: (Functor f) => Monad (Free f)
-
-    instance monadFreeFree :: (Functor f) => MonadFree f (Free f)
-
-    instance monadTransFree :: MonadTrans Free
-
-
-### Values
-
-    go :: forall f a. (Functor f) => (f (Free f a) -> Free f a) -> Free f a -> a
-
-    goEff :: forall e f a. (Functor f) => (f (Free f a) -> Eff e (Free f a)) -> Free f a -> Eff e a
-
-    goM :: forall f m a. (Functor f, Monad m) => (f (Free f a) -> m (Free f a)) -> Free f a -> m a
-
-    iterM :: forall f m a. (Functor f, Monad m) => (forall a. f (m a) -> m a) -> Free f a -> m a
-
-    liftF :: forall f m a. (Functor f, Monad m, MonadFree f m) => f a -> m a
-
-    pureF :: forall f a. (Applicative f) => a -> Free f a
-
-
 ## Module Control.Monad.Identity
 
 ### Types
@@ -566,36 +518,6 @@
     withStateT :: forall s m a. (s -> s) -> StateT s m a -> StateT s m a
 
 
-## Module Control.Monad.Trampoline
-
-### Types
-
-    newtype Delay a where
-      Delay :: Unit -> a -> Delay a
-
-    type Trampoline a = Free Delay a
-
-
-### Type Class Instances
-
-    instance delayApplicative :: Applicative Delay
-
-    instance delayApply :: Apply Delay
-
-    instance delayFunctor :: Functor Delay
-
-
-### Values
-
-    delay :: forall a. (Unit -> a) -> Trampoline a
-
-    done :: forall a. a -> Trampoline a
-
-    runTrampoline :: forall a. Trampoline a -> a
-
-    suspend :: forall a. Trampoline a -> Trampoline a
-
-
 ## Module Control.Monad.Trans
 
 ### Type Classes