@hackage unbound-generics0.4.4

Support for programming with names and binders using GHC Generics

Categories
License
BSD-3-Clause
Maintainer
aleksey@lambdageek.org
Links
Versions
- 0.4.4 Thu, 21 Mar 2024
- 0.4.3 Thu, 27 Apr 2023
- 0.4.2 Wed, 26 Apr 2023
- 0.4.1 Wed, 26 Apr 2023
- 0.4.0 Wed, 26 Apr 2023
- 0.3.4 Wed, 26 Apr 2023

Installation
In your cabal file:
Tested Compilers
- 9.8.4
- 9.8.3
- 9.8.2
- 9.8.1
- 9.4.8
- 9.4.7
- 9.4.6
- 9.4.5
- 9.4.4
- 9.4.3
- 9.4.2
- 9.4.1
- 9.2.8
- 9.2.7
- 9.2.6
- 9.2.5
- 9.2.4
- 9.2.3
- 9.2.2
- 9.2.1
- 9.0.2
- 8.10.7
- 8.8.4
- 8.6.5
- 8.4.4
- 8.2.2
- 8.0.2
Dependencies (12)
- base >=4.9 && <5
- containers >=0.5 && <0.8
- deepseq >=1.3.0.0
- mtl >=2.1
- template-haskell >=2.8.0.0
- transformers >=0.3 && <0.7
Dependents (8)
@hackage/unbound-generics-unify, @hackage/jsonnet, @hackage/clash-lib, @hackage/unbound-kind-generics, @hackage/acme-everything, @hackage/pi-forall, Show all…

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.

@hackage unbound-generics0.4.4

Categories

License

Maintainer

Links

Versions

Installation

Tested Compilers

Dependencies (12)

Dependents (8)