unbound-kind-generics: Support for programming with names and binders using kind-generics

[ bsd3, language, library ] [ Propose Tags ] [ Report a vulnerability ]

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.Kind.Derive to get started.

This is an independent re-implementation of unbound-generics but using kind-generics instead of GHC Generics.

Modules

[Index] [Quick Jump]

Unbound
- Generics
  - LocallyNameless
    - Kind
      - Unbound.Generics.LocallyNameless.Kind.Derive
      - Unbound.Generics.LocallyNameless.Kind.Example

Downloads

unbound-kind-generics-0.2.1.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

AlejandroSerrano, lyxia

For package maintainers and hackage trustees

edit package information

Candidates

0.2.0.0, 0.2.1.0, 0.2.1.1

Versions [RSS]	0.2.0.0, 0.2.1.0, 0.2.1.1
Change log	CHANGELOG.md
Dependencies	base (>=4.12 && <5), kind-generics (>=0.4), kind-generics-th, unbound-generics (>=0.4) [details]
License	BSD-3-Clause
Author	Alejandro Serrano
Maintainer	trupill@gmail.com
Category	Language
Uploaded	by AlejandroSerrano at 2023-05-22T15:10:12Z
Distributions	NixOS:0.2.1.1
Downloads	869 total (3 in the last 30 days)
Rating	1.75 (votes: 1) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]