Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. mfromJust :: (?callStack :: CallStack) => String -> Maybe a -> a

   liquid-fixpoint	Language.Fixpoint.Misc

   No documentation available.

2. adjustBindEnv :: ((Symbol, SortedReft) -> (Symbol, SortedReft)) -> BindId -> BindEnv a -> BindEnv a

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

3. firstJust :: (a -> Maybe b) -> [a] -> Maybe b

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

4. safeFromJust :: String -> Maybe t -> t

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

5. adjust' :: Ord k => (a -> a) -> k -> Map k a -> Map k a

   lrucache	Data.Cache.LRU.Internal

   Internal function. This is very similar to adjust, with two major differences. First, it's strict in the application of the function, which is a huge win when working with this structure. Second, it requires that the key be present in order to work. If the key isn't present, undefined will be inserted into the Map, which will cause problems later.

6. adjustLogAction :: LoggingMonad msg m => (forall (k :: Type -> Type) . () => LogAction k msg -> LogAction k msg) -> m a -> m a

   lumberjack	Lumberjack

   No documentation available.

7. catchJust :: (MonadPeelIO m, Exception e) => (e -> Maybe b) -> m a -> (b -> m a) -> m a

   monad-peel	Control.Exception.Peel

   Generalized version of catchJust.

8. handleJust :: (MonadPeelIO m, Exception e) => (e -> Maybe b) -> (b -> m a) -> m a -> m a

   monad-peel	Control.Exception.Peel

   Generalized version of handleJust.

9. tryJust :: (MonadPeelIO m, Exception e) => (e -> Maybe b) -> m a -> m (Either b a)

   monad-peel	Control.Exception.Peel

   Generalized version of tryJust.

10. adjust :: (Ord k, MonoidNull v) => (v -> v) -> k -> MonoidMap k v -> MonoidMap k v

    monoidmap-internal	Data.MonoidMap.Internal

    Adjusts the value associated with the given key. Satisfies the following property:

    adjust f k m == set k (f (get k m)) m
    

Page 113 of many | Previous | Next