Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
LambdaHack Game.LambdaHack.Atomic.CmdAtomic No documentation available.
-
LambdaHack Game.LambdaHack.Atomic.CmdAtomic No documentation available.
-
Agda Agda.Syntax.Parser.Tokens No documentation available.
__IMPOSSIBLE_VERBOSE__ :: (HasCallStack, MonadDebug m) => String -> m aAgda Agda.TypeChecking.Monad.Debug No documentation available.
-
Agda Agda.TypeChecking.Monad.Debug During printing, catch internal errors of kind Impossible and print them.
toImpossible :: Empty -> IO ImpossibleAgda Agda.Utils.Empty toImpossible e extracts the Impossible value raised via IMPOSSIBLE to create the element e of type Empty. It proceeds by evaluating e to weak head normal form and catching the exception. We are forced to wrap things in a Maybe because of catchImpossible's type.
class
CatchImpossible (m :: Type -> Type)Agda Agda.Utils.Impossible Monads in which we can catch an "impossible" error, if possible.
__IMPOSSIBLE__ :: HasCallStack => aAgda Agda.Utils.Impossible Throw an Impossible error reporting the location where you place __IMPOSSIBLE__.
__IMPOSSIBLE__1 :: HasCallStack => aAgda Agda.Utils.Impossible Throw an Impossible error reporting the *caller's* call site.
catchImpossible :: CatchImpossible m => m a -> (Impossible -> m a) -> m aAgda Agda.Utils.Impossible Catch any Impossible exception.