TypeCompose/Versions

From HaskellWiki

Contents 1 Version 0.5 2 Version 0.4 3 Version 0.3 4 Version 0.2 5 Version 0.1

1 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.

2 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

3 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

4 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.

5 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
  .