Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. mkAdjust :: Window -> X (D -> D)

   xmonad	XMonad.Operations

   Given a window, build an adjuster function that will reduce the given dimensions according to the window's border width and size hints.

2. ghcEnvJust :: GHCEnv -> Maybe QName

   Agda	Agda.Compiler.MAlonzo.Misc

   No documentation available.

3. BuiltinJust :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

4. builtinJust :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

5. primJust :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m Term

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

6. adjust :: (Ord k, Ord (Tag v), HasTag v) => (v -> v) -> k -> BiMap k v -> BiMap k v

   Agda	Agda.Utils.BiMap

   Modifies the value at the given position, if any. O(log n). Precondition: See adjustPrecondition.

7. adjustPrecondition :: (Ord k, Eq v, Eq (Tag v), HasTag v) => (v -> v) -> k -> BiMap k v -> Bool

   Agda	Agda.Utils.BiMap

   The precondition for adjust f k m is that, if the value v is inserted into m, and tag v is defined, then no key other than k may map to a value v' for which tag v' = tag v.

8. applyWhenJust :: Maybe b -> (b -> a -> a) -> a -> a

   Agda	Agda.Utils.Function

   Maybe version of applyWhen.

9. catchImpossibleJust :: CatchImpossible m => (Impossible -> Maybe b) -> m a -> (b -> m a) -> m a

   Agda	Agda.Utils.Impossible

   Catch only Impossible exceptions selected by the filter.

10. handleImpossibleJust :: CatchImpossible m => (Impossible -> Maybe b) -> (b -> m a) -> m a -> m a

    Agda	Agda.Utils.Impossible

    Version of catchImpossibleJust with argument order suiting short handlers.

Page 105 of many | Previous | Next