typelevel-rewrite-rules-0.1: Solve type equalities using custom type-level rewrite rules

Safe HaskellNone
LanguageHaskell2010

TypeLevel.Rewrite.Internal.TypeRule

Documentation