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

Safe Haskell	None
Language	Haskell2010

TypeLevel.Rewrite.Internal.TypeRule

Documentation

type TypeRule = Rule TyCon TyVar Source #

toTypeRule_maybe :: Type -> Maybe TypeRule Source #

applyRules :: [TypeRule] -> TypeTerm -> TypeTerm Source #