Searched refs:gblBindingType (Results 1 – 2 of 2) sorted by relevance
263 result <- liftIO $ gblBindingType (hscEnv <$> hsc) (tmrTypechecked <$> tmr)266 gblBindingType :: Maybe HscEnv -> Maybe TcGblEnv -> IO (Maybe GlobalBindingTypeSigsResult)267 gblBindingType (Just hsc) (Just gblEnv) = do function289 gblBindingType _ _ = pure Nothing function