Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. ghcEnvMaybe :: GHCEnv -> Maybe QName

   Agda	Agda.Compiler.MAlonzo.Misc

   No documentation available.

2. ghcEnvMaybeArity :: GHCEnv -> Maybe Int

   Agda	Agda.Compiler.MAlonzo.Misc

   No documentation available.

3. PragmaCompileMaybe_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

4. RewriteMaybeNonConfluent_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

5. BuiltinMaybe :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

6. builtinMaybe :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

7. PragmaCompileMaybe :: Warning

   Agda	Agda.TypeChecking.Monad.Base

   COMPILE GHC pragma for MAYBE; ignored.

8. RewriteMaybeNonConfluent :: Term -> Term -> [Doc] -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   Confluence checker got stuck on computing overlap between two rewrite rules

9. primMaybe :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m Term

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

10. tMaybe :: TCM Term -> TCM Term

    Agda	Agda.TypeChecking.Primitive.Base

    No documentation available.

Page 262 of many | Previous | Next