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. catchImpossible :: CatchImpossible m => m a -> (Impossible -> m a) -> m a

   Agda	Agda.Utils.Impossible

   Catch any Impossible exception.

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

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

   Agda	Agda.Utils.Impossible

   Version of catchImpossible with argument order suiting short handlers.

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

5. throwImpossible :: Impossible -> a

   Agda	Agda.Utils.Impossible

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

6. JTImpossible :: JType

   jmacro	Language.Javascript.JMacro

   No documentation available.

7. JTImpossible :: JType

   jmacro	Language.Javascript.JMacro.Types

   No documentation available.

8. panicImpossible :: String -> a

   rzk	Rzk.TypeCheck

   No documentation available.

Page 7 of many | Previous | Next