syz: Scrap Your Zippers

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

This package contains the generic zipper system described in the Scrap Your Zippers paper (see http://www.cs.indiana.edu/~adamsmd/papers/scrap_your_zippers/). It defines the Zipper type permitting zipper traversals over arbitrary instances of Data.


[Skip to Readme]

Modules

[Index]

Flags

Automatic Flags
NameDescriptionDefault
base4

If True, use base-4.*. Otherwise, use base-3.*.

Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.2.0.0
Dependencies base (>=3 && <5), syb (<1) [details]
License BSD-3-Clause
Copyright (c) 2010 Michael D. Adams
Author Michael D. Adams
Maintainer adamsmd-AT-cs.indiana.edu
Category Generics
Home page http://www.cs.indiana.edu/~adamsmd/papers/scrap_your_zippers/
Uploaded by MichaelAdams at 2010-07-27T05:02:38Z
Distributions NixOS:0.2.0.0
Reverse Dependencies 6 direct, 0 indirect [details]
Downloads 4578 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for syz-0.2.0.0

[back to package description]
This package contains the generic zipper system described in:

 Scrap Your Zippers: A Generic Zipper for Heterogeneous Types.
 Michael D. Adams.  WGP '10: Proceedings of the 2010 ACM SIGPLAN
 workshop on Generic programming, 2010.

It defines the Zipper type permitting zipper traversals over arbitrary
instances of Data.  See the paper for an introduction on using it.

The paper is available at:
 http://www.cs.indiana.edu/~adamsmd/papers/scrap_your_zippers/

While the core zipper data structures are quite solid, the surrounding
library design is likely to change based on feedback from the
community.  So if you find any bugs or would like to see something
changed, please let me know.