type-fun

Collection of widely reimplemented type families

BSD-3-Clause licensed by Aleksey Uimanov

Maintained by s9gf4ult@gmail.com

This version can be pinned in stack with:type-fun-0.1.3@sha256:336b851757792f201078043210aec180021ac052f0955c71fa330a5fe11b0604,1765

Depends on 1 package(full list with versions):

Used by 1 package in nightly-2023-03-23(full list with versions):

Changes

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

First version