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.

Exact lookup

1. catchImpossibleJust :: CatchImpossible m => (Impossible -> Maybe b) -> m a -> (b -> m a) -> m a

   Agda	Agda.Utils.Impossible

   Catch only Impossible exceptions selected by the filter.

2. handleImpossible :: CatchImpossible m => (Impossible -> m a) -> m a -> m a

   Agda	Agda.Utils.Impossible

   Version of catchImpossible with argument order suiting short handlers.

3. handleImpossibleJust :: CatchImpossible m => (Impossible -> Maybe b) -> (b -> m a) -> m a -> m a

   Agda	Agda.Utils.Impossible

   Version of catchImpossibleJust with argument order suiting short handlers.

4. throwImpossible :: Impossible -> a

   Agda	Agda.Utils.Impossible

   Abort by throwing an "impossible" error. You should not use this function directly. Instead use IMPOSSIBLE

5. JTImpossible :: JType

   jmacro	Language.Javascript.JMacro

   No documentation available.

6. JTImpossible :: JType

   jmacro	Language.Javascript.JMacro.Types

   No documentation available.

Page 7 of many | Previous | Next