Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. readBitmapFile :: Display -> Drawable -> String -> IO (Either String (Dimension, Dimension, Pixmap, Maybe CInt, Maybe CInt))

   xmonad	XMonad

   interface to the X11 library function XReadBitmapFile.

2. reader :: MonadReader r m => (r -> a) -> m a

   xmonad	XMonad

   Retrieves a function of the current environment.

3. readsLayout :: Layout a -> String -> [(Layout a, String)]

   xmonad	XMonad.Core

   Using the Layout as a witness, parse existentially wrapped windows from a String.

4. readStateFile :: forall (l :: Type -> Type) . (LayoutClass l Window, Read (l Window)) => XConfig l -> X (Maybe XState)

   xmonad	XMonad.Operations

   Read the state of a previous xmonad instance from a file and return that state. The state file is removed after reading it.

5. readParse :: Read a => Parse a

   Agda	Agda.Interaction.Base

   No documentation available.

6. readsToParse :: String -> (String -> Maybe (a, String)) -> Parse a

   Agda	Agda.Interaction.Base

   Converter from the type of reads to Parse The first paramter is part of the error message in case the parse fails.

7. readInterface :: InterfaceFile -> TCM (Maybe Interface)

   Agda	Agda.Interaction.Imports

   Read interface file corresponding to a module.

8. readline :: String -> IM (Maybe String)

   Agda	Agda.Interaction.Monad

   Line reader. The line reader history is not stored between sessions.

9. readTokens :: [String] -> [Token]

   Agda	Agda.Mimer.Options

   No documentation available.

10. readFilePM :: RangeFile -> PM Text

    Agda	Agda.Syntax.Parser

    Returns the contents of the given file.

Page 289 of many | Previous | Next