unfix-binders: Unfixing and recursion schemes for data types with binders

[ bsd3, data, library ] [ Propose Tags ]

Use fixed-point of endofunctors of endofunctors (that is initial algebras in the category of endofunctors) to define recursion schemes for data types with binders


[Skip to Readme]
Versions 0.1.0
Change log ChangeLog.md
Dependencies base (==4.12.*) [details]
License BSD-3-Clause
Copyright 2018 Arnaud Spiwack
Author Arnaud Spiwack
Maintainer arnaud@spiwack.net
Category Data
Home page https://github.com/aspiwack/peppermint-prover
Uploaded by aspiwack at Thu Oct 11 09:07:42 UTC 2018
Distributions NixOS:0.1.0
Downloads 48 total (12 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for unfix-binders-0.1.0

[back to package description]

Unfix binders

when your substitutions are in a fix

This library defines fixed points of endofunctors of the category of endofunctors with the purpose of generalising recursion schemes for data types with binders.

It is still in a very experimental state: for demonstration purpose only (though contributions welcome!)