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. readline :: String -> IM (Maybe String)

   Agda	Agda.Interaction.Monad

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

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

   Agda	Agda.Mimer.Options

   No documentation available.

3. readFilePM :: RangeFile -> PM Text

   Agda	Agda.Syntax.Parser

   Returns the contents of the given file.

4. readdTypedInstance :: QName -> Type -> TCM ()

   Agda	Agda.TypeChecking.InstanceArguments

   Like addTypedInstance, but delete any existing entries for the given name from the discrimination tree.

5. readFromCachedLog :: (MonadDebug m, MonadTCState m, ReadTCState m) => m (Maybe (TypeCheckAction, PostScopeState))

   Agda	Agda.TypeChecking.Monad.Caching

   Reads the next entry in the cached type check log, if present.

6. readBinaryFile' :: FilePath -> IO (ByteString, IO ())

   Agda	Agda.Utils.IO.Binary

   Returns a close function for the file together with the contents.

7. readFile :: FilePath -> IO String

   Agda	Agda.Utils.IO.UTF8

   Reads a UTF8-encoded text file and converts many character sequences which may be interpreted as line or paragraph separators into 'n'. If the file cannot be decoded, then a ReadException is raised.

8. readTextFile :: FilePath -> IO Text

   Agda	Agda.Utils.IO.UTF8

   Reads a UTF8-encoded text file and converts many character sequences which may be interpreted as line or paragraph separators into 'n'. If the file cannot be decoded, then a ReadException is raised.

9. readModifyIORef' :: IORef a -> (a -> a) -> IO a

   Agda	Agda.Utils.IORef

   Read IORef, modify it strictly, and return old value.

10. readLogColor :: String -> Either String LogColor

    Blammo	Blammo.Logging.LogSettings

    No documentation available.

Page 292 of many | Previous | Next