TypeCompose/Versions
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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