BinderAnn: Source-to-source plugin for enhancing EDSLs with static annotations

[ bsd3, compiler-plugin, library ] [ Propose Tags ]

Please see the README on GitHub at

[Skip to Readme]
Versions [faq]
Change log
Dependencies base (>=4.7 && <5), containers, ghc, ghc-prim, mtl, split, syb, transformers [details]
License BSD-3-Clause
Copyright 2019 Agustín Mista
Author Agustín Mista
Category Compiler Plugin
Home page
Bug tracker
Source repo head: git clone
Uploaded by agustinmista at Thu Mar 19 17:59:05 UTC 2020
Distributions NixOS:
Downloads 34 total (34 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-03-19 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees

Readme for BinderAnn-

[back to package description]

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs