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

Safe HaskellNone
LanguageHaskell2010

TypeLevel.Rewrite.Internal.TypeTemplate

Documentation

type TypeTemplate = Term TyCon TyVar Source #

toTypeTemplate_maybe :: Type -> Maybe TypeTemplate Source #