Difference between revisions of "TypeCompose/Versions"

From HaskellWiki
Jump to: navigation, search
(version history)
 
(version 0.5)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 +
== Version 0.5 ==
 +
 +
* Backed out <hask>DistribM</hask>.  Now that I've read "Composing Monads", I know there's more to it.  At least four different ways, all with conflicting <hask>Monad</hask> instances.
 +
 +
== Version 0.4 ==
 +
 +
* <hask>pairEdit</hask>, <hask>pairEditM</hask> in <hask>Data.Pair</hask>
 +
* build-type simple
 +
* doc tweek <hask>DistribM</hask> & <hask>joinMM</hask>
 +
* <hask>DistribM</hask> export & comment tweak
 +
* <hask>DistribM</hask> and <hask>(m</hask> :. n) Monad
 +
* <hask>Functor/Functor</hask> & <hask>Applicative/Applicative</hask> tweak
 +
* <hask>inId2</hask>.  <hask>Functor</hask> & <hask>Applicative</hask> instances for <hask>Id</hask>
 +
* removed <hask>r->m</hask> dep in <hask>RefMonad</hask>
 +
* doc tweak
 +
 +
== Version 0.3 ==
 +
 +
* Simplified <hask>Applicative</hask> instance for <hask>(g</hask> :. f)
 +
* Renamed type constructors "<hask>O</hask>" and "<hask>App</hask>" to "<hask>(:.)" and</hask> "<hask>(:$</hask>)".  Also include old names for compatibility.
 +
* Replaced the 6.6-compatible {{{OPTIONS}}} pragmas with LANGUAGE
 +
* <hask>Pair</hask> & <hask>Copair</hask> for <hask>Const</hask>
 +
* Changed functional dependency for <hask>RefMonad</hask>
 +
 
== Version 0.2 ==
 
== Version 0.2 ==
  
Line 20: Line 44:
 
== Version 0.1 ==
 
== Version 0.1 ==
  
* Renamed "Compose/Comp/unComp" to "O/O/unO".
+
* Renamed "<hask>Compose</hask>"/"<hask>Comp<hask>"/"<hask>unComp</hask>" to "<hask>O</hask>"/"<hask>O</hask>"/"<hask>unO</hask>".
* Renamed "onComp" to "inO"
+
* Renamed "<hask>onComp</hask>" to "<hask>inO</hask>"
* Renamed "mapSrc" to "mapCur", and renamed type parameter "src" to "cur", to avoid confusion with "Source" in Phooey's use of DataDriven.
+
* Renamed "<hask>mapSrc</hask>" to "<hask>mapCur</hask>", and renamed type parameter "<hask>src</hask>" to "<hask>cur</hask>", to avoid confusion with <hask>Source</hask> in Phooey's use of DataDriven.
* Swapped argument order to dd in DataDriven.
+
* Swapped argument order to <hask>dd</hask> in DataDriven.
* Renamed "Updater" to "Action"
+
* Renamed "<hask>Updater</hask>" to "<hask>Action</hask>"
* Changed the Monoid (IO a) instance in Control.Instances to use "liftA2 mappend" instead of "(*>)".
+
* Changed the <hask>Monoid (IO a)</hask> instance in <hask>Control.Instances</hask> to use <hask>liftA2 mappend</hask> instead of <hask>(*>)</hask>.
* Added unFlip, inFlip, inFlip2
+
* Added <hask>unFlip</hask>, <hask>inFlip</hask>, <hask>inFlip2</hask>.

Latest revision as of 17:28, 18 March 2008

Version 0.5

  • Backed out DistribM. Now that I've read "Composing Monads", I know there's more to it. At least four different ways, all with conflicting Monad instances.

Version 0.4

  • pairEdit, pairEditM in Data.Pair
  • build-type simple
  • doc tweek DistribM & joinMM
  • DistribM export & comment tweak
  • DistribM and (m :. n) Monad
  • Functor/Functor & Applicative/Applicative tweak
  • inId2. Functor & Applicative instances for Id
  • removed r->m dep in RefMonad
  • doc tweak

Version 0.3

  • Simplified Applicative instance for (g :. f)
  • Renamed type constructors "O" and "App" to "(:.)" and "(:$)". Also include old names for compatibility.
  • Replaced the 6.6-compatible {{{OPTIONS}}} pragmas with LANGUAGE
  • Pair & Copair for Const
  • Changed functional dependency for RefMonad

Version 0.2

  • More comments
  • Added Data.Partial: partial values.
  • Data.Bijection: bijective arrows. Used in Control.Compose for composing representation transformations.
  • Using LANGUAGE instead of OPTIONS pragmas
  • Data.Pair & Data.Fun. Classes of pair-like and function-like types.
  • Data.RefMonad
  • Renamed StaticArrow/Static to OO/OO
  • Now in{O,Flip,Prod,Arrw,Const}{,2,3} (i.e., inO2 etc)
  • Sink type alias and Monoid instance.
  • Monoid_f and O instance.
  • Arrw type class with Functor & Cofunctor instances.
  • Data.Title: a titling class for type constructors. Doesn't really belong here.
  • Eliminated dependency on "mtl" package by removing a standard applicative instance for ReaderT.
  • Data.CxMonoid: context-dependent monoid
  • Type constructors :*:, ::*::, & :~>:
  • FunA and FunAble, for convenient Arrow definitions. See also FunD & FunDble in DeepArrow.

Version 0.1

  • Renamed "Compose"/"Comp<hask>"/"<hask>unComp" to "O"/"O"/"unO".
  • Renamed "onComp" to "inO"
  • Renamed "mapSrc" to "mapCur", and renamed type parameter "src" to "cur", to avoid confusion with Source in Phooey's use of DataDriven.
  • Swapped argument order to dd in DataDriven.
  • Renamed "Updater" to "Action"
  • Changed the Monoid (IO a) instance in Control.Instances to use liftA2 mappend instead of (*>).
  • Added unFlip, inFlip, inFlip2.