Hoogle Search

Within LTS Haskell 24.62 (ghc-9.10.3)

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

Exact lookup

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

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

2. data GHCTyLookupEnv

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

   No documentation available.

3. GHCTyLookupEnv :: Session -> TypeEnv -> GHCTyLookupEnv

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

   No documentation available.

4. makeGHCTyLookupEnv :: CoreProgram -> TcRn GHCTyLookupEnv

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

   No documentation available.

5. data GHCTyLookupEnv

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

   No documentation available.

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

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

   No documentation available.

7. reTyLookupEnv :: Env -> GHCTyLookupEnv

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

   No documentation available.

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

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

   No documentation available.

9. linLookup :: (Fractional a, Fractional t, Real t) => t -> Timeline t a -> a

   netwire	FRP.Netwire.Utils.Timeline

   Look up with linear sampling.

10. scLookup :: Ord t => t -> Timeline t a -> a

    netwire	FRP.Netwire.Utils.Timeline

    Look up on staircase.

Page 216 of many | Previous | Next