Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

Exact lookup

1. safeLookup :: (?callStack :: CallStack, Eq k, Hashable k) => String -> k -> HashMap k v -> v

   liquid-fixpoint	Language.Fixpoint.Misc

   No documentation available.

2. glookup :: GSolution -> KVar -> Either Hyp (Either QBind (((Symbol, Sort), Expr), GBind))

   liquid-fixpoint	Language.Fixpoint.Types.Solutions

   No documentation available.

3. tceLookup :: (Eq a, Hashable a) => a -> TCEmb a -> Maybe (Sort, TCArgs)

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

4. data GHCTyLookupEnv

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

   No documentation available.

5. GHCTyLookupEnv :: Session -> TypeEnv -> GHCTyLookupEnv

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

   No documentation available.

6. makeGHCTyLookupEnv :: CoreProgram -> TcRn GHCTyLookupEnv

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

   No documentation available.

7. data GHCTyLookupEnv

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

   No documentation available.

8. GHCTyLookupEnv :: Session -> TypeEnv -> GHCTyLookupEnv

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

   No documentation available.

9. reTyLookupEnv :: Env -> GHCTyLookupEnv

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

   No documentation available.

10. dlookup :: (Eq k, Hashable k) => DEnv k t -> k -> Maybe (HashMap Symbol (RISig t))

    liquidhaskell-boot	Language.Haskell.Liquid.Types.Dictionaries

    No documentation available.

Page 164 of many | Previous | Next