first-class-families

First class type families

https://github.com/Lysxia/first-class-families#readme

Version on this page:0.3.0.1@rev:1
LTS Haskell 24.20:0.8.2.0
Stackage Nightly 2025-11-18:0.8.2.0
Latest on Hackage:0.8.2.0

See all snapshots first-class-families appears in

MIT licensed by Li-yao Xia
Maintained by [email protected]
This version can be pinned in stack with:first-class-families-0.3.0.1@sha256:82baaf134b131af754506abf3030d671546246c21d7481f2b8bf19ee5188cbbf,953

Module documentation for 0.3.0.1

Depends on 1 package(full list with versions):
base

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!

Changes

0.3.0.1

  • GHC 8.6 compatibility

0.3.0.0

  • More new functions, thanks to isovector

0.2.0.0

  • A whole bunch of basic functions, thanks to isovector
  • Remove Traverse (now Map), BimapPair, BimapEither (now Bimap)

0.1.0.0

Initial version