Searched refs:InstalledInterface (Results 1 – 6 of 6) sorted by relevance
18 InstalledInterface(..),
55 type InstIfaceMap = Map Module InstalledInterface -- TODO: rename155 data InstalledInterface = InstalledInterface constructor188 toInstalledIface :: Interface -> InstalledInterface189 toInstalledIface interface = InstalledInterface
50 ifInstalledIfaces :: [InstalledInterface]387 instance Binary InstalledInterface where388 put_ bh (InstalledInterface modu is_sig info docMap argMap408 return (InstalledInterface modu is_sig info docMap argMap
27 jsonInstalledInterface :: InstalledInterface -> JsonDoc28 jsonInstalledInterface InstalledInterface{..} = jsonObject properties function
63 -> [InstalledInterface] -- ^ Reexported interfaces266 -> [InstalledInterface] -> Bool -> Maybe (MDoc GHC.RdrName)295 toInstalledDescription :: InstalledInterface -> Maybe (MDoc Name)423 -> [InstalledInterface]
275 -> [InstalledInterface] -> Map Module FilePath -> IO ()340 installedMap :: Map Module InstalledInterface