Safe Haskell | None |
---|---|
Language | Haskell2010 |
TypeLevel.Rewrite.Internal.PrettyPrint
Documentation
pprTypeTemplate :: TypeTemplate -> String Source #
pprTypeTerm :: TypeTerm -> String Source #
pprTypeRule :: TypeRule -> String Source #
typelevel-rewrite-rules-0.1: Solve type equalities using custom type-level rewrite rules
Safe Haskell | None |
---|---|
Language | Haskell2010 |
TypeLevel.Rewrite.Internal.PrettyPrint
pprTypeTemplate :: TypeTemplate -> String Source #
pprTypeTerm :: TypeTerm -> String Source #
pprTypeRule :: TypeRule -> String Source #