typelevel-rewrite-rules-1.0.0.1: Solve type equalities using custom type-level rewrite rules
Safe HaskellSafe-Inferred
LanguageHaskell2010

TypeLevel.Rewrite.Internal.TypeSubst

Documentation

type TypeSubst = [(TypeEq, TypeTerm)] Source #