unbound-generics: Support for programming with names and binders using GHC Generics
Specify the binding structure of your data type with an
expressive set of type combinators, and unbound-generics
handles the rest! Automatically derives
alpha-equivalence, free variable calculation,
capture-avoiding substitution, and more. See
Unbound.Generics.LocallyNameless
to get started.
This is an independent re-implementation of Unbound but using GHC.Generics instead of RepLib. See the accompanying README for some porting notes.
[Skip to Readme]
Modules
[Index] [Quick Jump]
- Unbound
- Generics
- Unbound.Generics.LocallyNameless
- Unbound.Generics.LocallyNameless.Alpha
- Unbound.Generics.LocallyNameless.Bind
- Unbound.Generics.LocallyNameless.Embed
- Unbound.Generics.LocallyNameless.Fresh
- Unbound.Generics.LocallyNameless.Ignore
- Internal
- Unbound.Generics.LocallyNameless.LFresh
- Unbound.Generics.LocallyNameless.Name
- Unbound.Generics.LocallyNameless.Operations
- Unbound.Generics.LocallyNameless.Rebind
- Unbound.Generics.LocallyNameless.Rec
- Unbound.Generics.LocallyNameless.Shift
- Unbound.Generics.LocallyNameless.Subst
- Unbound.Generics.LocallyNameless.TH
- Unbound.Generics.LocallyNameless.Unsafe
- Unbound.Generics.PermM
- Unbound.Generics.LocallyNameless
- Generics
Downloads
- unbound-generics-0.4.4.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.0.0.90, 0.0.1, 0.0.2, 0.0.2.1, 0.0.3, 0.1, 0.1.2, 0.1.2.1, 0.2, 0.3, 0.3.1, 0.3.2, 0.3.3, 0.3.4, 0.4.0, 0.4.1, 0.4.2, 0.4.3, 0.4.4 |
---|---|
Change log | Changelog.md |
Dependencies | ansi-wl-pprint (>=0.6.7.2 && <1.1), base (>=4.9 && <5), containers (>=0.5 && <0.8), contravariant (>=0.5), deepseq (>=1.3.0.0), exceptions (>=0.8 && <0.11), mtl (>=2.1), profunctors (>=4.0), semigroups (>=0.18 && <0.19), template-haskell (>=2.8.0.0), transformers (>=0.3 && <0.7), transformers-compat (>=0.3) [details] |
License | BSD-3-Clause |
Copyright | (c) 2014-2022, Aleksey Kliger |
Author | Aleksey Kliger, Austin Erlandson |
Maintainer | aleksey@lambdageek.org |
Category | Language |
Home page | http://github.com/lambdageek/unbound-generics |
Bug tracker | http://github.com/lambdageek/unbound-generics/issues |
Source repo | head: git clone git://github.com/lambdageek/unbound-generics.git |
Uploaded | by AlekseyKliger at 2024-03-21T00:41:16Z |
Distributions | Stackage:0.4.4 |
Reverse Dependencies | 8 direct, 8 indirect [details] |
Downloads | 13784 total (80 in the last 30 days) |
Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |