TypeCompose/Versions
Jump to navigation
Jump to search
Version 0.2
- More comments
- Added
Data.Partial
: partial values. Data.Bijection
: bijective arrows. Used inControl.Compose
for composing representation transformations.- Using
LANGUAGE
instead ofOPTIONS
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 andMonoid
instance.Monoid_f
andO
instance.Arrw
type class withFunctor
&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
andFunAble
, for convenientArrow
definitions. See alsoFunD
&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