% TypeCompose changes == Version 0.5.1 == * Tweaked to work with ghc before and after 6.9 == 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](src/Data/Partial.hs): partial values. + [Data.Bijection](src/Data/Bijection.hs): bijective arrows. Used in [Control.Compose] for composing representation transformations. + Using `LANGUAGE` instead of `OPTIONS` pragmas + [Data.Pair](src/Data/Pair.hs) & [Data.Fun](src/Data/Fun.hs). Classes of pair-like and function-like types. + [Data.RefMonad](src/Data/RefMonad.hs) + 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](src/Data/Title.hs): 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](src/Data/CxMonoid.hs): 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 [TypeCompose]: http://haskell.org/haskellwiki/TypeCompose [DeepArrow]: http://haskell.org/haskellwiki/DeepArrow [Control.Compose]: src/Control.Compose.hs