Hoogle Search

Within LTS Haskell 24.48 (ghc-9.10.3)

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

Exact lookup

1. forall_ :: [(Text, Sort)] -> Term -> Term

   what4	What4.Protocol.SMTLib2.Syntax

   forall_ vars t denotes a predicate that holds if t for every valuation of the variables in vars.

2. forallExpr :: SMTWriter h => [(Text, Some TypeMap)] -> Term h -> Term h

   what4	What4.Protocol.SMTWriter

   Create a forall expression

3. forgetModelAndCore :: SatResult a b -> SatResult () ()

   what4	What4.SatResult

   No documentation available.

4. forceScreenSaver :: Display -> ScreenSaverMode -> IO ()

   xmonad	XMonad

   interface to the X11 library function XForceScreenSaver().

5. forgetGravity :: BitGravity

   xmonad	XMonad

   No documentation available.

6. formattedString :: Text -> (Text -> Either Text a) -> String a

   yaml-unscrambler	YamlUnscrambler

   String parsed using the provided function.

7. forwardUrl :: AuthRoute

   yesod-auth	Yesod.Auth.BrowserId

   No documentation available.

8. forgotPasswordHandler :: YesodAuthEmail site => AuthHandler site Html

   yesod-auth	Yesod.Auth.Email

   Handler called to render the "forgot password" page. The default works fine, but you may want to override it in order to have a different DOM. Default: defaultForgotPasswordHandler. @since: 1.2.6

9. forgotPasswordR :: AuthRoute

   yesod-auth	Yesod.Auth.Email

   No documentation available.

10. forwardUrl :: AuthRoute

    yesod-auth	Yesod.Auth.GoogleEmail2

    No documentation available.

Page 148 of many | Previous | Next