def symbol_info(filename, module_name, symbol_name, cabal = None, no_ghci = False): result = None if hdevtools.hdevtools_enabled(): result = hdevtools.hdevtools_info(filename, symbol_name, cabal = cabal) if not result and ghcmod.ghcmod_enabled(): result = ghcmod.ghcmod_info(filename, module_name, symbol_name, cabal = cabal) if not result and not filename and not no_ghci: result = ghci.ghci_info(module_name, symbol_name, cabal = cabal) return result
def symbol_info(filename, module_name, symbol_name, cabal=None): result = None if common.get_setting_async("enable_hdevtools"): result = hdevtools.hdevtools_info(filename, symbol_name, cabal=cabal) if not result: result = ghcmod.ghcmod_info(filename, module_name, symbol_name, cabal=cabal) if not result and filename: result = ghci.ghci_info(module_name, symbol_name, cabal=cabal) return result