type-fun

Collection of widely reimplemented type families https://github.com/s9gf4ult/type-fun

Version on this page:0.1.1
LTS Haskell 8.15:0.1.1
Stackage Nightly 2017-05-27:0.1.1
Latest on Hackage:0.1.1
BSD3 licensed by Aleksey Uimanov
Maintained by s9gf4ult@gmail.com

Module documentation for 0.1.1

Changes

TODO

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

CHANGELOG

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

Depends on:
comments powered byDisqus