Hoogle Search
Within LTS Haskell 24.12 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
lookupGhcId :: Env -> Name -> Maybe Idliquidhaskell-boot Language.Haskell.Liquid.Bare.Resolve No documentation available.
lookupGhcIdLHName :: HasCallStack => Env -> Located LHName -> Lookup Idliquidhaskell-boot Language.Haskell.Liquid.Bare.Resolve No documentation available.
lookupGhcTyConLHName :: HasCallStack => GHCTyLookupEnv -> Located LHName -> Lookup TyConliquidhaskell-boot Language.Haskell.Liquid.Bare.Resolve No documentation available.
lookupGhcTyThingFromName :: GHCTyLookupEnv -> Name -> Maybe TyThingliquidhaskell-boot Language.Haskell.Liquid.Bare.Resolve No documentation available.
lookupLocalVar :: Loc a => LocalVars -> LocSymbol -> [a] -> Maybe (Either a Var)liquidhaskell-boot Language.Haskell.Liquid.Bare.Resolve lookupLocalVar takes as input the list of "global" (top-level) vars that also match the name lx; we then pick the "closest" definition. See testsnamesLocalSpec.hs for a motivating example.
lookupREnv :: Symbol -> REnv -> Maybe SpecTypeliquidhaskell-boot Language.Haskell.Liquid.Constraint.Env No documentation available.
lookupNewType :: TyCon -> CG (Maybe SpecType)liquidhaskell-boot Language.Haskell.Liquid.Constraint.Monad No documentation available.
lookupTyThing :: GhcMonad m => TypeEnv -> Name -> m (Maybe TyThing)liquidhaskell-boot Language.Haskell.Liquid.GHC.Interface No documentation available.
lookupGRE :: GlobalRdrEnvX info -> LookupGRE info -> [GlobalRdrEltX info]liquidhaskell-boot Liquid.GHC.API Look something up in the Global Reader Environment. The LookupGRE argument specifies what to look up, and in particular whether there should there be any lee-way if the NameSpaces don't exactly match.
lookupGRE_Name :: Outputable info => GlobalRdrEnvX info -> Name -> Maybe (GlobalRdrEltX info)liquidhaskell-boot Liquid.GHC.API Look for precisely this Name in the environment, in the same NameSpace as the Name. This tests whether it is in scope, ignoring anything else that might be in scope which doesn't have the same Unique.