« Changelog History


TypeCompose v0.2 Release Notes

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