type-fun

Collection of widely reimplemented type families

https://github.com/s9gf4ult/type-fun

LTS Haskell 23.19:0.1.3
Stackage Nightly 2025-04-30:0.1.3
Latest on Hackage:0.1.3

See all snapshots type-fun appears in

BSD-3-Clause licensed by Aleksey Uimanov
Maintained by [email protected]
This version can be pinned in stack with:type-fun-0.1.3@sha256:336b851757792f201078043210aec180021ac052f0955c71fa330a5fe11b0604,1765

Module documentation for 0.1.3

Depends on 1 package(full list with versions):
base
Used by 1 package in nightly-2025-04-30(full list with versions):
hset

Changes

TODO

  • Add doctests
  • Add TyFun from singletons (or just depend from)?

CHANGELOG

0.1.3

Fixed

  • Buildability with GHC-8.10 (by enobayram)

0.1.2

Added KnownPeano

0.1.1

Fixed

  • Compilable with ghc-8.0.1

0.1.0

Added

  • Type family Substract to remove elements of one list from another
  • Unsafe helper functions to relax constraints in some safe points. But we use unsafeCoerce so this functions are potentially just break constants

Changed

  • Compilable under ghc-7.8

0.0.1

First version