TypeCompose/Versions
Contents |
[edit]
1 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 conflictingMonadinstances.
[edit]
2 Version 0.4
-
pairEdit,pairEditMinData.Pair - build-type simple
- doc tweek
DistribM&joinMM -
DistribMexport & comment tweak -
DistribMand(m:. n) Monad -
Functor/Functor&Applicative/Applicativetweak -
inId2.Functor&Applicativeinstances forId - removed
r->mdep inRefMonad - doc tweak
[edit]
3 Version 0.3
- Simplified
Applicativeinstance 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&CopairforConst - Changed functional dependency for
RefMonad
[edit]
4 Version 0.2
- More comments
- Added
Data.Partial: partial values. -
Data.Bijection: bijective arrows. Used inControl.Composefor composing representation transformations. - Using
LANGUAGEinstead ofOPTIONSpragmas -
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.,
inO2etc) -
Sinktype alias andMonoidinstance. -
Monoid_fandOinstance. -
Arrwtype class withFunctor&Cofunctorinstances. -
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
:*:,::*::, &:~>: -
FunAandFunAble, for convenientArrowdefinitions. See alsoFunD&FunDblein DeepArrow.
[edit]
5 Version 0.1
- Renamed "
Compose"/"Comp<hask>"/"<hask>unComp" to "O"/"O"/"unO". - Renamed "
onComp" to "inO" - Renamed "
mapSrc" to "mapCur", and renamed type parameter "src" to "cur", to avoid confusion withSourcein Phooey's use of DataDriven. - Swapped argument order to
ddin DataDriven. - Renamed "
Updater" to "Action" - Changed the
Monoid (IO a)instance inControl.Instancesto useliftA2 mappendinstead of(*>). - Added
unFlip,inFlip,inFlip2.
