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. PragmaNoTerminationCheck :: Range -> DeclarationWarning'

   Agda	Agda.Syntax.Concrete.Definitions

   Pragma {-# NO_TERMINATION_CHECK #-} has been replaced by {-# TERMINATING #-} and {-# NON_TERMINATING #-}.

2. PragmaNoTerminationCheck :: Range -> DeclarationWarning'

   Agda	Agda.Syntax.Concrete.Definitions.Errors

   Pragma {-# NO_TERMINATION_CHECK #-} has been replaced by {-# TERMINATING #-} and {-# NON_TERMINATING #-}.

3. getNotErasedConstructors :: QName -> TCM [QName]

   Agda	Agda.TypeChecking.Datatypes

   No documentation available.

4. AttributeKindNotEnabled :: String -> String -> String -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

5. CannotEliminateWithPattern :: Maybe Blocker -> NamedArg Pattern -> Type -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

6. CannotEliminateWithProjection :: Arg Type -> Bool -> QName -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

7. CubicalNotErasure :: QName -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   Name was defined for --cubical and for use in --erased-cubical the option --erasure is needed.

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

   Agda	Agda.TypeChecking.Monad.Base

   The given file path does not have executable permissions.

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

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

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

Page 126 of many | Previous | Next