We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
typeOf
If the user can't use these identifiers nor obtain their types, maybe we shouldn't list them in getModuleExports?
getModuleExports
-- | -- >>> :{ -- do contents <- browse "Data.Map" -- for_ contents $ \(identifier, tp) -> do -- putStrLn $ identifier ++ " :: " ++ tp -- :} -- *** Exception: WontCompile [GhcError {errMsg = "<interactive>:1:1: error: Data.Map.fold is gone. Use foldr."}] browse :: Hint.ModuleName -> IO [(String, String)] browse moduleName = runInterpreter $ do Hint.setImports ["Prelude", "Data.Typeable", moduleName] exports <- Hint.getModuleExports moduleName execWriterT $ do for_ exports $ \case Hint.Fun identifier -> do tp <- lift $ Hint.typeOf identifier tell [(identifier, tp)] _ -> pure () -- skip datatypes and typeclasses
The text was updated successfully, but these errors were encountered:
No branches or pull requests
If the user can't use these identifiers nor obtain their types, maybe we shouldn't list them in
getModuleExports
?The text was updated successfully, but these errors were encountered: