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. class Monad m => ReadGHCModuleEnv (m :: Type -> Type)

   Agda	Agda.Compiler.MAlonzo.Misc

   Monads that can produce a GHCModuleEnv.

2. ReadError :: IOException -> String -> LibError'

   Agda	Agda.Interaction.Library.Base

   An I/O Error occurred when reading a file.

3. ReadFailure :: FilePath -> IOException -> LibParseError

   Agda	Agda.Interaction.Library.Base

   I/O error while reading file.

4. ReadFileError :: RangeFile -> IOError -> ParseError

   Agda	Agda.Syntax.Parser

   No documentation available.

5. ReadFileError :: RangeFile -> IOError -> ParseError

   Agda	Agda.Syntax.Parser.Monad

   No documentation available.

6. class Monad m => ReadTCState (m :: Type -> Type)

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

7. data ReadException

   Agda	Agda.Utils.IO.UTF8

   A kind of exception that can be thrown by readTextFile and readFile.

8. module Graphics.SVGFonts.ReadFont

   No documentation available.

9. module Graphics.SVGFonts.ReadPath

   Parsing the SVG path command, see http://www.w3.org/TR/SVG/paths.html#PathData :

10. data Read0

    aftovolio	Aftovolio.General.Datatype3

    No documentation available.

Page 410 of many | Previous | Next