On Mon, Dec 29, 2008 at 1:34 PM, Martijn van Steenbergen <martijn@van.steenbergen.nl> wrote:

Conal Elliott wrote:

If you think of f (here f=not) as an "semantic editor" (transformer) of values, then 'result', 'first', and 'second' are "semantic editor combinators", which can be composed together arbitrarily. See http://conal.net/blog/semantic-editor-combinators .

I recently found out Henning and Luke's Data.Accessor[1], and your editor combinators and their accessors seem very much related. Was one inspired by the other?

Martijn.

[1] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/data-accessor