Hoogle Search

Within LTS Haskell 24.61 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. lookupGhcDataConLHName :: HasCallStack => Env -> Located LHName -> Lookup DataCon

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Resolve

   No documentation available.

2. lookupGhcDnTyCon :: Env -> ModName -> DataName -> Lookup (Maybe TyCon)

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Resolve

   No documentation available.

3. lookupGhcId :: Env -> Name -> Maybe Id

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Resolve

   No documentation available.

4. lookupGhcIdLHName :: HasCallStack => Env -> Located LHName -> Lookup Id

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Resolve

   No documentation available.

5. lookupGhcTyConLHName :: HasCallStack => GHCTyLookupEnv -> Located LHName -> Lookup TyCon

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Resolve

   No documentation available.

6. lookupGhcTyThingFromName :: GHCTyLookupEnv -> Name -> Maybe TyThing

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Resolve

   No documentation available.

7. 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.

8. lookupREnv :: Symbol -> REnv -> Maybe SpecType

   liquidhaskell-boot	Language.Haskell.Liquid.Constraint.Env

   No documentation available.

9. lookupNewType :: TyCon -> CG (Maybe SpecType)

   liquidhaskell-boot	Language.Haskell.Liquid.Constraint.Monad

   No documentation available.

10. lookupTyThing :: GhcMonad m => TypeEnv -> Name -> m (Maybe TyThing)

    liquidhaskell-boot	Language.Haskell.Liquid.GHC.Interface

    No documentation available.

Page 116 of many | Previous | Next