The bound-gen package

[maintain]
Warnings:

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]

Properties

Versions0.1.0.0, 0.1.0.0, 0.1.0.1, 0.1.0.2
Dependenciesbase (>=4.0 && <5), bound, monad-gen (>=0.3), mtl (>=2) [details]
LicenseMIT
AuthorDanny Gratzer
Maintainerjozefg@cmu.edu
CategoryCompilers/Interpreters
Source repositoryhead: git clone http://github.com/jozefg/bound-gen
UploadedFri Mar 27 13:15:09 UTC 2015 by jozefg

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for bound-gen-0.1.0.0

bound-gen

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.