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]

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

Versions 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.2
Change log None available
Dependencies base (>=4.8 && <5), bound, monad-gen (>=0.3), mtl (>=2) [details]
License MIT
Author Danny Gratzer
Maintainer jozefg@cmu.edu
Category Compilers/Interpreters
Source repo head: git clone http://github.com/jozefg/bound-gen
Uploaded by jozefg at 2015-03-27T13:59:18Z

Modules

[Index]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Readme for bound-gen-0.1.0.2

[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.