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, 0.2.0.0
Change log CHANGELOG.md
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 Sep 12 20:17:45 UTC 2018
Distributions NixOS:0.2.0.0, Stackage:0.2.0.0
Downloads 70 total (28 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-09-12 [all 1 reports]
Hackage Matrix CI

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for first-class-families-0.2.0.0

[back to package description]

First-class type families Hackage Build Status

Haskell with only one type family (blogpost)

See src/Fcf.


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