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.



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 logNone available
Dependenciesbase (>=4.0 && <5), bound, monad-gen (>=0.3), mtl (>=2) [details]
AuthorDanny Gratzer
Source repositoryhead: git clone
UploadedFri Mar 27 13:15:09 UTC 2015 by jozefg



Maintainers' corner

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.