first-class-families: First class type families

[ library, mit, other ] [ Propose Tags ]

First class type families, eval-style defunctionalization

See Fcf.


[Skip to Readme]
Versions 0.1.0.0
Dependencies base (>=4.9 && <5) [details]
License MIT
Copyright 2018 Li-yao Xia
Author Li-yao Xia
Maintainer lysxia@gmail.com
Category Other
Home page https://github.com/Lysxia/first-class-families#readme
Source repo head: git clone https://github.com/Lysxia/first-class-families
Uploaded by lyxia at Wed Jul 11 04:38:13 UTC 2018
Distributions NixOS:0.1.0.0, Stackage:0.1.0.0
Downloads 37 total (13 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-07-11 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for first-class-families-0.1.0.0

[back to package description]

First-class type families Hackage Build Status

See src/Fcf.


Contributions are welcome. Feel free to open an issue or make a PR on Github!