Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. ExeNotExecutable :: ExeName -> FilePath -> ExecError

   Agda	Agda.TypeChecking.Monad.Base

   The given file path does not have executable permissions.

2. TypeDoesNotEndInSort :: Type -> Telescope -> IncorrectTypeForRewriteRelationReason

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. SigCubicalNotErasure :: SigError

   Agda	Agda.TypeChecking.Monad.Signature

   The name is not available because it was defined in Cubical Agda, but the current language is Erased Cubical Agda, and --erasure is not active.

4. notSoPrettySigCubicalNotErasure :: QName -> String

   Agda	Agda.TypeChecking.Monad.Signature

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

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

   Agda	Agda.TypeChecking.Monad.Signature

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

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

7. DoNotExist :: Status a

   TCache	Data.TCache.Defs

   No documentation available.

8. DoNotExist :: Status a

   TCache	Data.TCache.Triggers

   No documentation available.

9. CreateIfNotExists :: TempTableCreateMode

   beam-migrate	Database.Beam.Migrate.TempTable

   Emit CREATE TEMPORARY TABLE IF NOT EXISTS. If the table already exists, do nothing.

10. CreateIfNotExists :: TempTableCreateMode

    beam-postgres	Database.Beam.Postgres.TempTable

    Emit CREATE TEMPORARY TABLE IF NOT EXISTS. If the table already exists, do nothing.

Page 162 of many | Previous | Next