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.

  1. SfxEscapeImpossible :: SfxMsg

    LambdaHack Game.LambdaHack.Atomic.CmdAtomic

    No documentation available.

  2. SfxTransImpossible :: SfxMsg

    LambdaHack Game.LambdaHack.Atomic.CmdAtomic

    No documentation available.

  3. KwIMPOSSIBLE :: Keyword

    Agda Agda.Syntax.Parser.Tokens

    No documentation available.

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

    Agda Agda.TypeChecking.Monad.Debug

    No documentation available.

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

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

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

    Agda Agda.Utils.Impossible

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

  8. __IMPOSSIBLE__ :: HasCallStack => a

    Agda Agda.Utils.Impossible

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

  9. __IMPOSSIBLE__1 :: HasCallStack => a

    Agda Agda.Utils.Impossible

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

  10. catchImpossible :: CatchImpossible m => m a -> (Impossible -> m a) -> m a

    Agda Agda.Utils.Impossible

    Catch any Impossible exception.

Page 6 of many | Previous | Next