Changes between Version 1 and Version 2 of Proposals/transformers

Timestamp:

11/18/09 17:33:35 (4 years ago)

Author:

ross (IP: 138.40.95.95)

Comment:

retitle, fix links

Proposals/transformers

@@ -1 +1 @@
 [[PageOutline]]
 
-= Refactoring the mtl package =
-The proposal is to add the [http://hackage.haskell.org/package/transformers transformers] and [http://hackage.haskell.org/package/monads-fd monads-fd] packages, and make the next version of the [http://hackage.haskell.org/package/mtl mtl] package a compatibility layer over them.  A draft of this compatibility layer is available at http://urchin.earth.li/darcs/ganesh/mtl-compat .  This represents a restructuring of the mtl package.
+= Add transformers and monads-tf, and base the mtl package on them =
+The proposal is to restructure the [http://hackage.haskell.org/package/mtl mtl] package as a compatibility layer over new [http://hackage.haskell.org/package/transformers transformers] and [http://hackage.haskell.org/package/monads-fd monads-fd] packages.  A draft of this compatibility layer is available at [http://urchin.earth.li/darcs/ganesh/mtl-compat].
 
 == Credits ==
@@ -23 +23 @@
     * Functor instances for monad transformers no longer require Monad where Functor is sufficient.
     * instances of {{{Applicative}}} and {{{Alternative}}} have been added as appropriate.
- The package can be used on its own, or with packages adding type classes.  There are examples of standalone use in the [http://hackage.haskell.org/packages/archive/transformers/0.1.4.0/doc/html/Control-Monad-Trans.html Control.Monad.Trans documentation].
+ The package can be used on its own (see the [http://hackage.haskell.org/packages/archive/transformers/0.1.4.0/doc/html/Control-Monad-Trans.html Control.Monad.Trans documentation] for examples), or with packages adding type classes.
 
  * [http://hackage.haskell.org/package/monads-fd monads-fd] depends on transformers and adds type classes using functional dependencies.  Usage is the same as the current mtl package, except for module names.
@@ -47 +47 @@
 Different dependencies, extra instances:
 
- * [http://hackage.haskell.org/package/monad-param/blogination blogination]: Functor instances depending on Functor, instance collision Applicative/Alternative ErrorT
+ * [http://hackage.haskell.org/package/blogination blogination]: Functor instances depending on Functor, instance collision Applicative/Alternative ErrorT
  * [http://hackage.haskell.org/package/category-extras category-extras]: Functor instances depending on Functor 
- * [http://hackage.haskell.org/package/monad-param/cgi cgi]: Functor instances depending on Functor
- * [http://hackage.haskell.org/package/monad-param/encoding encoding]: instance collision: Monad Either
- * [http://hackage.haskell.org/package/monad-param/logict logict]: instance collision: Applicative Identity (will be superfluous: same as instance in transformers)
+ * [http://hackage.haskell.org/package/cgi cgi]: Functor instances depending on Functor
+ * [http://hackage.haskell.org/package/encoding encoding]: instance collision: Monad Either
+ * [http://hackage.haskell.org/package/logict logict]: instance collision: Applicative Identity (will be superfluous: same as instance in transformers)
  * [http://hackage.haskell.org/package/monad-param monad-param]: Functor instances depending on Functor
- * [http://hackage.haskell.org/package/monad-param/mueval mueval]: Functor instances depending on Functor
+ * [http://hackage.haskell.org/package/mueval mueval]: Functor instances depending on Functor
  * [http://hackage.haskell.org/package/xcb-types xcb-types]: instance collision: Applicative/Alternative ReaderT (will be superfluous: same as instance in transformers; version 0.5.1.1 has mtl < 1.2)
  * [http://hackage.haskell.org/package/xmonad-contrib xmonad-contrib]: instance collision: Error [a]:
@@ -59 +59 @@
 Data constructors for basic monad classes:
 
- * [http://hackage.haskell.org/package/monad-param/FileManip FileManip]: Missing data constructor: State
+ * [http://hackage.haskell.org/package/FileManip FileManip]: Missing data constructor: State
  * [http://hackage.haskell.org/package/HAppS-Server HAppS-Server]: Missing data constructor: Reader
- * [http://hackage.haskell.org/package/monad-param/HaLeX HaLeX]: Missing data constructor: State 
- * [http://hackage.haskell.org/package/monad-param/LambdaHack LambdaHack]: Missing data constructor: State (version 0.1.20090606 has mtl < 2)
- * [http://hackage.haskell.org/package/monad-param/lambdabot lambdabot]: Missing data constructor: State
+ * [http://hackage.haskell.org/package/HaLeX HaLeX]: Missing data constructor: State 
+ * [http://hackage.haskell.org/package/LambdaHack LambdaHack]: Missing data constructor: State (version 0.1.20090606 has mtl < 2)
+ * [http://hackage.haskell.org/package/lambdabot lambdabot]: Missing data constructor: State
  * [http://hackage.haskell.org/package/open-witness open-witness]: Missing data constructor: State
 
@@ -69 +69 @@
 
  * [http://hackage.haskell.org/package/applicative-extras applicative-extras]: instance Applicative (State a) (will be superfluous: same as instance in transformers)
- * [http://hackage.haskell.org/package/monad-param/derive derive]: instance Applicative (Writer a) (will be superfluous: same as instance in transformers)
+ * [http://hackage.haskell.org/package/derive derive]: instance Applicative (Writer a) (will be superfluous: same as instance in transformers)
  * [http://hackage.haskell.org/package/random-fu random-fu]: instance MonadRandom (State StdGen) (will be superfluous: same instance as declared for StateT)
- * [http://hackage.haskell.org/package/monad-param/yhccore yhccore]: instance UniqueIdM (State a) (could be trivially generalized to StateT)
+ * [http://hackage.haskell.org/package/yhccore yhccore]: instance UniqueIdM (State a) (could be trivially generalized to StateT)