unbound-generics
Support for programming with names and binders using GHC Generics
http://github.com/lambdageek/unbound-generics
Version on this page: | 0.1.2.1 |
LTS Haskell 23.19: | 0.4.4 |
Stackage Nightly 2025-04-30: | 0.4.4 |
Latest on Hackage: | 0.4.4 |
Maintained by [email protected]
This version can be pinned in stack with:
unbound-generics-0.1.2.1@sha256:5d3b9df5fcf005d926118cf9972608d6d1f651d181b71a0e2bd020a091e1159f,4238
Module documentation for 0.1.2.1
- Unbound
- Unbound.Generics
- Unbound.Generics.LocallyNameless
- Unbound.Generics.LocallyNameless.Alpha
- Unbound.Generics.LocallyNameless.Bind
- Unbound.Generics.LocallyNameless.Embed
- Unbound.Generics.LocallyNameless.Fresh
- Unbound.Generics.LocallyNameless.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
- Unbound.Generics
Depends on 8 packages(full list with versions):