bound-gen: Unwrap Scope's with globally fresh values

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]


It's quite common when working with bound to need to unwrap a Scope. In order to ensure that this can be done safely, without shadowing any existing free variables, bound-gen glues monad-gen's fresh value monad into bound.

[Skip to Readme]


Change log None available
Dependencies base (>=4.0 && <5), bound, monad-gen (>=0.3), mtl (>=2) [details]
License MIT
Author Danny Gratzer
Category Compilers/Interpreters
Source repo head: git clone
Uploaded by jozefg at 2015-03-27T13:15:09Z



Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Readme for bound-gen-

[back to package description]


A small library intended to make bound easier to use with monad-gen. This simplifies the process of using bound to do nontrivial work under binders by providing a way to unwrap a Scope with a globally unique free variable.