Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

  1. type family FromJust (a :: Maybe k) :: k

    type-fun TypeFun.Data.Maybe

    No documentation available.

  2. AlignJustify :: Align

    web-view Web.View

    No documentation available.

  3. AlignJustify :: Align

    web-view Web.View.Types

    No documentation available.

  4. clickJustFocuses :: XConfig (l :: Type -> Type) -> !Bool

    xmonad XMonad.Core

    False to make a click which changes focus to be additionally passed to the window

  5. whenJust :: Monad m => Maybe a -> (a -> m ()) -> m ()

    xmonad XMonad.Core

    Conditionally run an action, using a Maybe a to decide.

  6. 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.

  7. ghcEnvJust :: GHCEnv -> Maybe QName

    Agda Agda.Compiler.MAlonzo.Misc

    No documentation available.

  8. BuiltinJust :: BuiltinId

    Agda Agda.Syntax.Builtin

    No documentation available.

  9. builtinJust :: BuiltinId

    Agda Agda.Syntax.Builtin

    No documentation available.

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

    Agda Agda.TypeChecking.Monad.Builtin

    No documentation available.

Page 117 of many | Previous | Next