The bound-gen package

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]

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.1, 0.1.0.1, 0.1.0.2
Change logNone available
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:19:24 UTC 2015 by jozefg

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees


Readme for bound-gen-0.1.0.1

[back to package description]

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.