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. readdTypedInstance :: QName -> Type -> TCM ()

   Agda	Agda.TypeChecking.InstanceArguments

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

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

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

   Agda	Agda.Utils.IO.Binary

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

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

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

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

   Agda	Agda.Utils.IORef

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

7. readLogColor :: String -> Either String LogColor

   Blammo	Blammo.Logging.LogSettings

   No documentation available.

8. readLogDestination :: String -> Either String LogDestination

   Blammo	Blammo.Logging.LogSettings

   No documentation available.

9. readLogFormat :: String -> Either String LogFormat

   Blammo	Blammo.Logging.LogSettings

   No documentation available.

10. readLogLevels :: String -> Either String LogLevels

    Blammo	Blammo.Logging.LogSettings

    No documentation available.

Page 290 of many | Previous | Next