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 [RSS] [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 2020-03-19T17:59:05Z
Distributions NixOS:
Downloads 239 total (5 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