TypeCompose/Versions

From HaskellWiki
< TypeCompose
Revision as of 05:25, 9 September 2007 by Conal (talk | contribs) (version history)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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/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