Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. notSoPrettySigCubicalNotErasure :: QName -> String

   Agda	Agda.TypeChecking.Monad.Signature

   Generates a string error message corresponding to SigCubicalNotErasure for a given QName.

2. prettySigCubicalNotErasure :: MonadPretty m => QName -> m Doc

   Agda	Agda.TypeChecking.Monad.Signature

   Generates an error message corresponding to SigCubicalNotErasure for a given QName.

3. doubleDenotEq :: Double -> Double -> Bool

   Agda	Agda.Utils.Float

   Denotational equality for floating point numbers, checks bitwise equality. NOTE: Denotational equality distinguishes NaNs, so its results may vary depending on the architecture and compilation flags. Unfortunately, this is a problem with floating-point numbers in general.

4. DoNotExist :: Status a

   TCache	Data.TCache.Defs

   No documentation available.

5. DoNotExist :: Status a

   TCache	Data.TCache.Triggers

   No documentation available.

6. MustNotEndSeparator :: PackageNameError

   bower-json	Web.Bower.PackageMeta

   No documentation available.

7. type RoleAnnotEnv = NameEnv LRoleAnnotDecl GhcRn

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

8. emptyRoleAnnotEnv :: RoleAnnotEnv

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

9. mkRoleAnnotEnv :: [LRoleAnnotDecl GhcRn] -> RoleAnnotEnv

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

10. isNotEmpty :: FieldType a => Field a -> SearchExpression

    bugzilla-redhat	Web.RedHatBugzilla.Search

    No documentation available.

Page 127 of many | Previous | Next