https://github.com/jozefg/bound-gen
Making bound play nice with monad-gen.
https://github.com/jozefg/bound-gen
Last synced: 2 months ago
JSON representation
Making bound play nice with monad-gen.
- Host: GitHub
- URL: https://github.com/jozefg/bound-gen
- Owner: jozefg
- License: mit
- Created: 2014-11-25T16:22:17.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2016-04-10T00:26:05.000Z (about 9 years ago)
- Last Synced: 2025-01-28T16:34:51.283Z (4 months ago)
- Language: Haskell
- Size: 168 KB
- Stars: 2
- Watchers: 5
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
## bound-gen
A small library intended to make [bound][bound-hackage] easier to use
with [monad-gen][monad-gen-hackage]. 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.
[bound-hackage]: http://hackage.haskell.org/package/bound
[monad-gen-hackage]: http://hackage.haskell.org/package/monad-gen