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.

Exact lookup

1. readWord64OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word# #)

   word-compat	GHC.Prim.Compat

   No documentation available.

2. readWord8Array# :: MutableByteArray# d -> Int# -> State# d -> (# State# d, Word# #)

   word-compat	GHC.Prim.Compat

   No documentation available.

3. readWord8OffAddr# :: Addr# -> Int# -> State# d -> (# State# d, Word# #)

   word-compat	GHC.Prim.Compat

   No documentation available.

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

   xmonad	XMonad

   interface to the X11 library function XReadBitmapFile.

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

   xmonad	XMonad

   Retrieves a function of the current environment.

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

   xmonad	XMonad.Core

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

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

8. readParse :: Read a => Parse a

   Agda	Agda.Interaction.Base

   No documentation available.

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

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

    Agda	Agda.Interaction.Imports

    Read interface file corresponding to a module.

Page 291 of many | Previous | Next