Hoogle Search

Within LTS Haskell 24.13 (ghc-9.10.3)

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

Exact lookup

1. SfxTransImpossible :: SfxMsg

   LambdaHack	Game.LambdaHack.Atomic

   No documentation available.

2. SfxEscapeImpossible :: SfxMsg

   LambdaHack	Game.LambdaHack.Atomic.CmdAtomic

   No documentation available.

3. SfxTransImpossible :: SfxMsg

   LambdaHack	Game.LambdaHack.Atomic.CmdAtomic

   No documentation available.

4. KwIMPOSSIBLE :: Keyword

   Agda	Agda.Syntax.Parser.Tokens

   No documentation available.

5. __IMPOSSIBLE_VERBOSE__ :: (HasCallStack, MonadDebug m) => String -> m a

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

6. catchAndPrintImpossible :: (CatchImpossible m, Monad m) => VerboseKey -> VerboseLevel -> m String -> m String

   Agda	Agda.TypeChecking.Monad.Debug

   During printing, catch internal errors of kind Impossible and print them.

7. toImpossible :: Empty -> IO Impossible

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

8. class CatchImpossible (m :: Type -> Type)

   Agda	Agda.Utils.Impossible

   Monads in which we can catch an "impossible" error, if possible.

9. __IMPOSSIBLE__ :: HasCallStack => a

   Agda	Agda.Utils.Impossible

   Throw an Impossible error reporting the location where you place __IMPOSSIBLE__.

10. __IMPOSSIBLE__1 :: HasCallStack => a

    Agda	Agda.Utils.Impossible

    Throw an Impossible error reporting the *caller's* call site.

Page 6 of many | Previous | Next