TypeLevel.Rewrite.Internal.Lookup

Documentation

lookupModule

Arguments

:: String

module name

-> TcPluginM Module

lookupTyCon

Arguments

:: String

module name

-> String

type constructor/family name

-> TcPluginM TyCon

lookupDataCon

Arguments

:: String

module name

-> String

data constructor name

-> TcPluginM DataCon

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

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

lookupFQN :: String -> TcPluginM TyCon