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. mlookup :: (?callStack :: CallStack, Eq k, Show k, Hashable k) => HashMap k v -> k -> v

   liquid-fixpoint	Language.Fixpoint.Misc

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Misc

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Types.Solutions

   No documentation available.

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

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

5. data GHCTyLookupEnv

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

   No documentation available.

6. GHCTyLookupEnv :: Session -> TypeEnv -> GHCTyLookupEnv

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

   No documentation available.

7. makeGHCTyLookupEnv :: CoreProgram -> TcRn GHCTyLookupEnv

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

   No documentation available.

8. data GHCTyLookupEnv

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

   No documentation available.

9. GHCTyLookupEnv :: Session -> TypeEnv -> GHCTyLookupEnv

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

   No documentation available.

10. reTyLookupEnv :: Env -> GHCTyLookupEnv

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

    No documentation available.

Page 215 of many | Previous | Next