Difference between revisions of "TypeCompose/Versions"
Jump to navigation
Jump to search
(version history) |
(version 0.5) |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
+ | == Version 0.5 == |
||
+ | |||
+ | * Backed out <hask>DistribM</hask>. Now that I've read "Composing Monads", I know there's more to it. At least four different ways, all with conflicting <hask>Monad</hask> instances. |
||
+ | |||
+ | == Version 0.4 == |
||
+ | |||
+ | * <hask>pairEdit</hask>, <hask>pairEditM</hask> in <hask>Data.Pair</hask> |
||
+ | * build-type simple |
||
+ | * doc tweek <hask>DistribM</hask> & <hask>joinMM</hask> |
||
+ | * <hask>DistribM</hask> export & comment tweak |
||
+ | * <hask>DistribM</hask> and <hask>(m</hask> :. n) Monad |
||
+ | * <hask>Functor/Functor</hask> & <hask>Applicative/Applicative</hask> tweak |
||
+ | * <hask>inId2</hask>. <hask>Functor</hask> & <hask>Applicative</hask> instances for <hask>Id</hask> |
||
+ | * removed <hask>r->m</hask> dep in <hask>RefMonad</hask> |
||
+ | * doc tweak |
||
+ | |||
+ | == Version 0.3 == |
||
+ | |||
+ | * Simplified <hask>Applicative</hask> instance for <hask>(g</hask> :. f) |
||
+ | * Renamed type constructors "<hask>O</hask>" and "<hask>App</hask>" to "<hask>(:.)" and</hask> "<hask>(:$</hask>)". Also include old names for compatibility. |
||
+ | * Replaced the 6.6-compatible {{{OPTIONS}}} pragmas with LANGUAGE |
||
+ | * <hask>Pair</hask> & <hask>Copair</hask> for <hask>Const</hask> |
||
+ | * Changed functional dependency for <hask>RefMonad</hask> |
||
+ | |||
== Version 0.2 == |
== Version 0.2 == |
||
Line 20: | Line 44: | ||
== Version 0.1 == |
== Version 0.1 == |
||
− | * Renamed "Compose/Comp/unComp" to "O/O/unO". |
+ | * Renamed "<hask>Compose</hask>"/"<hask>Comp<hask>"/"<hask>unComp</hask>" to "<hask>O</hask>"/"<hask>O</hask>"/"<hask>unO</hask>". |
− | * Renamed "onComp" to "inO" |
+ | * Renamed "<hask>onComp</hask>" to "<hask>inO</hask>" |
− | * Renamed "mapSrc" to "mapCur", and renamed type parameter "src" to "cur", to avoid confusion with |
+ | * Renamed "<hask>mapSrc</hask>" to "<hask>mapCur</hask>", and renamed type parameter "<hask>src</hask>" to "<hask>cur</hask>", to avoid confusion with <hask>Source</hask> in Phooey's use of DataDriven. |
− | * Swapped argument order to dd in DataDriven. |
+ | * Swapped argument order to <hask>dd</hask> in DataDriven. |
− | * Renamed "Updater" to "Action" |
+ | * Renamed "<hask>Updater</hask>" to "<hask>Action</hask>" |
− | * Changed the Monoid (IO a) instance in Control.Instances to use |
+ | * Changed the <hask>Monoid (IO a)</hask> instance in <hask>Control.Instances</hask> to use <hask>liftA2 mappend</hask> instead of <hask>(*>)</hask>. |
− | * Added unFlip, inFlip, inFlip2 |
+ | * Added <hask>unFlip</hask>, <hask>inFlip</hask>, <hask>inFlip2</hask>. |
Latest revision as of 17:28, 18 March 2008
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 conflictingMonad
instances.
Version 0.4
pairEdit
,pairEditM
inData.Pair
- build-type simple
- doc tweek
DistribM
&joinMM
DistribM
export & comment tweakDistribM
and(m
:. n) MonadFunctor/Functor
&Applicative/Applicative
tweakinId2
.Functor
&Applicative
instances forId
- removed
r->m
dep inRefMonad
- doc tweak
Version 0.3
- 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
forConst
- Changed functional dependency for
RefMonad
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<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 withSource
in Phooey's use of DataDriven. - Swapped argument order to
dd
in DataDriven. - Renamed "
Updater
" to "Action
" - Changed the
Monoid (IO a)
instance inControl.Instances
to useliftA2 mappend
instead of(*>)
. - Added
unFlip
,inFlip
,inFlip2
.