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.
CubicalNotErasure_ :: ErrorNameAgda Agda.Interaction.Options.Errors No documentation available.
ExeNotExecutable_ :: ExecError_Agda Agda.Interaction.Options.Errors No documentation available.
PragmaNoTerminationCheck_ :: WarningNameAgda Agda.Interaction.Options.Warnings No documentation available.
PragmaNoTerminationCheck :: Range -> DeclarationWarning'Agda Agda.Syntax.Concrete.Definitions Pragma {-# NO_TERMINATION_CHECK #-} has been replaced by {-# TERMINATING #-} and {-# NON_TERMINATING #-}.
PragmaNoTerminationCheck :: Range -> DeclarationWarning'Agda Agda.Syntax.Concrete.Definitions.Errors Pragma {-# NO_TERMINATION_CHECK #-} has been replaced by {-# TERMINATING #-} and {-# NON_TERMINATING #-}.
getNotErasedConstructors :: QName -> TCM [QName]Agda Agda.TypeChecking.Datatypes No documentation available.
AttributeKindNotEnabled :: String -> String -> String -> TypeErrorAgda Agda.TypeChecking.Monad.Base No documentation available.
CannotEliminateWithPattern :: Maybe Blocker -> NamedArg Pattern -> Type -> TypeErrorAgda Agda.TypeChecking.Monad.Base No documentation available.
CannotEliminateWithProjection :: Arg Type -> Bool -> QName -> TypeErrorAgda Agda.TypeChecking.Monad.Base No documentation available.
CubicalNotErasure :: QName -> TypeErrorAgda Agda.TypeChecking.Monad.Base Name was defined for --cubical and for use in --erased-cubical the option --erasure is needed.