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

TypeLevel.Rewrite.Internal.Lookup

Documentation

lookupModule Source #

Arguments

:: String

module name

-> TcPluginM Module 

lookupTyCon Source #

Arguments

:: String

module name

-> String

type constructor/family name

-> TcPluginM TyCon 

lookupDataCon Source #

Arguments

:: String

module name

-> String

data constructor name

-> TcPluginM DataCon