Home
last modified time | relevance | path

Searched refs:gblBindingType (Results 1 – 2 of 2) sorted by relevance

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/ghcide/src/Development/IDE/Plugin/
H A DTypeLenses.hs263 result <- liftIO $ gblBindingType (hscEnv <$> hsc) (tmrTypechecked <$> tmr)
266 gblBindingType :: Maybe HscEnv -> Maybe TcGblEnv -> IO (Maybe GlobalBindingTypeSigsResult)
267 gblBindingType (Just hsc) (Just gblEnv) = do function
289 gblBindingType _ _ = pure Nothing function
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/ghcide/src/Development/IDE/Plugin/
H A DTypeLenses.hs263 result <- liftIO $ gblBindingType (hscEnv <$> hsc) (tmrTypechecked <$> tmr)
266 gblBindingType :: Maybe HscEnv -> Maybe TcGblEnv -> IO (Maybe GlobalBindingTypeSigsResult)
267 gblBindingType (Just hsc) (Just gblEnv) = do function
289 gblBindingType _ _ = pure Nothing function