compstrat: Strategy combinators for compositional data types

[ bsd3, generics, language, library ] [ Propose Tags ] [ Report a vulnerability ]

A library for strategic programming on compositional data types. See The Essence of Strategic Programming, http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.104.5296&rep=rep1&type=pdf, by Ralf Laemmel et al.

Strategic programming is a way of allowing traversals to be written in a highly generic and composable fashion.

The names and general interface are modeled on the KURE library, but this library tries to be as composable as the lens library.

The type of a strategy combinator is the same as the Vertical type that ekmett proposed and rejected as an extension to the current lens library. A Vertical is essentially a monadic traversal. This hence could potentially be merged with the lens library.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.0.1, 0.1.0.2
Dependencies base (>=4.7 && <4.8), compdata (<1), mtl (<2.3), template-haskell, th-expand-syns (<=0.4), transformers (<0.5) [details]
License BSD-3-Clause
Author James Koppel
Maintainer jkoppel@mit.edu
Category Language, Generics
Source repo head: git clone https://github.com/jkoppel/compstrat
Uploaded by JamesKoppel at 2015-03-24T16:29:10Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 2420 total (9 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-03-24 [all 1 reports]

Readme for compstrat-0.1.0.2

[back to package description]

compstrat

Strategy combinators for compositional data types