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

Safe Haskell	None
Language	Haskell2010

TypeLevel.Rewrite.Internal.TypeTerm

Documentation

type TypeTerm = Term TyCon TypeEq Source #

toTypeTerm :: Type -> TypeTerm Source #

fromTypeTerm :: TypeTerm -> Type Source #