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. PragmaCompileMaybe_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

2. RewriteMaybeNonConfluent_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

3. BuiltinMaybe :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

4. builtinMaybe :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

5. PragmaCompileMaybe :: Warning

   Agda	Agda.TypeChecking.Monad.Base

   COMPILE GHC pragma for MAYBE; ignored.

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

   Agda	Agda.TypeChecking.Monad.Base

   Confluence checker got stuck on computing overlap between two rewrite rules

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

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

8. tMaybe :: TCM Term -> TCM Term

   Agda	Agda.TypeChecking.Primitive.Base

   No documentation available.

9. blockedFromMaybe :: Maybe NotBlocked -> Blocked_

   Agda	Agda.TypeChecking.Serialise.Instances.Internal

   No documentation available.

10. blockedToMaybe :: Blocked_ -> Maybe NotBlocked

    Agda	Agda.TypeChecking.Serialise.Instances.Internal

    No documentation available.

Page 262 of many | Previous | Next