Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. ctorMap :: MSpec ty ctor -> HashMap LHName [Def ty ctor]

   liquidhaskell-boot	Language.Haskell.Liquid.Measure

   No documentation available.

2. measMap :: MSpec ty ctor -> HashMap (Located LHName) (Measure ty ctor)

   liquidhaskell-boot	Language.Haskell.Liquid.Measure

   No documentation available.

3. concatMapM :: (Monad m, Traversable t) => (a -> m [b]) -> t a -> m [b]

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

4. foldMapM :: (Monoid b, Monad m, Foldable f) => (a -> m b) -> f a -> m b

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

5. hashMapMapKeys :: (Eq k2, Hashable k2) => (k1 -> k2) -> HashMap k1 v -> HashMap k2 v

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

6. hashMapMapWithKey :: (k -> v1 -> v2) -> HashMap k v1 -> HashMap k v2

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

7. emapBoundM :: Monad m => ([Symbol] -> t0 -> m t1) -> ([Symbol] -> e0 -> m e1) -> Bound t0 e0 -> m (Bound t1 e1)

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

   No documentation available.

8. dmap :: (v1 -> v2) -> HashMap k v1 -> HashMap k v2

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

   No documentation available.

9. dmapty :: (a -> b) -> DEnv v a -> DEnv v b

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

   No documentation available.

10. emapExprVM :: Monad m => ([Symbol] -> v -> m v') -> ExprV v -> m (ExprV v')

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

    A map traversal that collects the local variables in scope

Page 1069 of many | Previous | Next