BiGUL: The Bidirectional Generic Update Language

[ generics, language, lenses, library, public-domain ] [ Propose Tags ]

Putback-based bidirectional programming allows the programmer to write only one putback transformation, from which the unique corresponding forward transformation is derived for free. BiGUL, short for the Bidirectional Generic Update Language, is designed to be a minimalist putback-based bidirectional programming language. BiGUL was originally developed in the dependently typed programming language Agda, and its well-behavedness has been completely formally verified; this package is the Haskell port of BiGUL.

For more detail, see the following paper:

Versions 0.9.0.0, 1.0.0, 1.0.1
Change log CHANGELOG.md
Dependencies base (>=4.8 && <4.10), containers (>=0.5), mtl (>=2.2), template-haskell (>=2.10), th-extras (>=0.0.0.4) [details]
License LicenseRef-PublicDomain
Author Josh Ko, Tao Zan, Li Liu, Zirun Zhu, Jorge Mendes, and Zhenjiang Hu
Maintainer Josh Ko <hsiang-shang@nii.ac.jp> and Zirun Zhu <zhu@nii.ac.jp>
Category Language, Generics, Lenses
Home page http://www.prg.nii.ac.jp/project/bigul/
Uploaded by joshko at Tue Aug 30 09:49:01 UTC 2016
Distributions NixOS:1.0.1
Downloads 790 total (7 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-08-30 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees