All Versions
6
Latest Version
Avg Release Cycle
-
Latest Release
-

Changelog History

  • v0.5.1 Changes

    • 👉 Tweaked to work with ghc before and after 6.9

  • v0.5 Changes

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

  • v0.4 Changes

    • 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

  • v0.3 Changes

    • 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

  • v0.2 Changes

    • 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].

  • v0.1 Changes

    • 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