# 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 conflicting`Monad`

instances.

## Version 0.4

`pairEdit`

,`pairEditM`

in`Data.Pair`

- build-type simple
- doc tweek
`DistribM`

&`joinMM`

`DistribM`

export & comment tweak`DistribM`

and`(m`

:. n) Monad`Functor/Functor`

&`Applicative/Applicative`

tweak`inId2`

.`Functor`

&`Applicative`

instances for`Id`

- removed
`r->m`

dep in`RefMonad`

- 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`

for`Const`

- Changed functional dependency for
`RefMonad`

## Version 0.2

- More comments
- Added
`Data.Partial`

: partial values. `Data.Bijection`

: bijective arrows. Used in`Control.Compose`

for composing representation transformations.- Using
`LANGUAGE`

instead of`OPTIONS`

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 and`Monoid`

instance.`Monoid_f`

and`O`

instance.`Arrw`

type class with`Functor`

&`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`

and`FunAble`

, for convenient`Arrow`

definitions. See also`FunD`

&`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 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`

.