Safe Haskell | None |
---|---|
Language | Haskell2010 |
TypeLevel.Rewrite.Internal.TypeTemplate
Documentation
type TypeTemplate = Term TyCon TyVar Source #
typelevel-rewrite-rules-0.1: Solve type equalities using custom type-level rewrite rules
Safe Haskell | None |
---|---|
Language | Haskell2010 |
TypeLevel.Rewrite.Internal.TypeTemplate
type TypeTemplate = Term TyCon TyVar Source #