Searched refs:findInterfaceFile (Results 1 – 2 of 2) sorted by relevance
14 , findInterfaceFile', findInterfaceFile188 findInterfaceFile :: TopLevelModuleName -> TCM (Maybe InterfaceFile)189 findInterfaceFile m = findInterfaceFile' =<< findFile m function
270 mifile <- (Just . filePath . intFilePath =<<) <$> findInterfaceFile mName