Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

  1. allocNone :: ColormapAlloc

    xmonad XMonad

    No documentation available.

  2. allocaSetWindowAttributes :: (Ptr SetWindowAttributes -> IO a) -> IO a

    xmonad XMonad

    No documentation available.

  3. allocaXEvent :: (XEventPtr -> IO a) -> IO a

    xmonad XMonad

    No documentation available.

  4. allowEvents :: Display -> AllowEvents -> Time -> IO ()

    xmonad XMonad

    interface to the X11 library function XAllowEvents().

  5. allowExposures :: AllowExposuresMode

    xmonad XMonad

    No documentation available.

  6. allWindows :: Eq a => StackSet i l a s sd -> [a]

    xmonad XMonad.StackSet

    Get a list of all windows in the StackSet in no particular order

  7. allHelpTopics :: [(String, HelpTopic)]

    Agda Agda.Interaction.Options.Help

    No documentation available.

  8. allWarnings :: Set WarningName

    Agda Agda.Interaction.Options.Warnings

    No documentation available.

  9. allUsedNames :: Expr -> Set Name

    Agda Agda.Syntax.Abstract.UsedNames

    All names used in an abstract expression. This is used when rendering clauses to figure out which (implicit) pattern variables must be preserved. For example, the for f : Nat → Nat, the clause f {n} = 0 can be printed as f = 0 (dropping the n), but f {n} = n must preserve the n.

  10. allCohesions :: [Cohesion]

    Agda Agda.Syntax.Common

    No documentation available.

Page 123 of many | Previous | Next