Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. lookupSEnv :: Symbol -> SEnv a -> Maybe a

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

2. lookupSEnvWithDistance :: Symbol -> SEnv a -> SESearch a

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

3. lookupQBind :: Sol a QBind -> KVar -> QBind

   liquid-fixpoint	Language.Fixpoint.Types.Solutions

   Read / Write Solution at KVar ---------------------------------------------

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

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

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

   No documentation available.

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

Page 115 of many | Previous | Next