Hoogle Search
Within LTS Haskell 22.23 (ghc-9.6.5)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
impossibleConstraintError :: Addr# -> abase Control.Exception.Base No documentation available.
-
base Control.Exception.Base No documentation available.
impossibleConstraintErrorIdKey :: Uniqueghc GHC.Builtin.Names No documentation available.
impossibleErrorIdKey :: Uniqueghc GHC.Builtin.Names No documentation available.
impossibleConstraintErrorIdKey :: Uniqueghc-lib-parser GHC.Builtin.Names No documentation available.
impossibleErrorIdKey :: Uniqueghc-lib-parser GHC.Builtin.Names No documentation available.
impossibleReqFailure :: ReqFailure -> BoolLambdaHack Game.LambdaHack.Common.ReqFailure No documentation available.
impossible' :: Which '[Void] -> adata-diverse Data.Diverse.Which A Which '[Void] is equivalent to Which '[] A Which '[Void] might occur if you lift a Void into a Which with pick. This allows you to convert it back to Void or Which '[]
impossible' :: Which '[Void] -> adata-diverse Data.Diverse.Which.Internal A Which '[Void] is equivalent to Which '[] A Which '[Void] might occur if you lift a Void into a Which with pick. This allows you to convert it back to Void or Which '[]
impossibleTest :: (MonadDebug m, HasCallStack) => [String] -> m aAgda Agda.ImpossibleTest If the given list of words is non-empty, print them as debug message (using __IMPOSSIBLE_VERBOSE__) before raising the internal error.