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

Safe HaskellNone
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 

splitFirstDot :: String -> Maybe (String, String) Source #

splitLastDot :: String -> Maybe (String, String) Source #

lookupFQN :: String -> TcPluginM TyCon Source #