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. impossible' :: Which '[Void] -> a

    data-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 '[]

  2. impossibleTest :: (MonadDebug m, HasCallStack) => [String] -> m a

    Agda Agda.ImpossibleTest

    If the given list of words is non-empty, print them as debug message (using __IMPOSSIBLE_VERBOSE__) before raising the internal error.

  3. impossibleTestReduceM :: HasCallStack => [String] -> TCM a

    Agda Agda.ImpossibleTest

    No documentation available.

  4. impossibleTerm :: CallStack -> Term

    Agda Agda.Syntax.Internal

    No documentation available.

  5. impossibleConstructorErrorName :: NegativeUnification -> NegativeUnification_

    Agda Agda.TypeChecking.Errors.Names

    No documentation available.

  6. ImpossibleInternalDep :: [Dependency] -> CheckExplanation

    Cabal Distribution.PackageDescription.Check

    No documentation available.

  7. ImpossibleInternalExe :: [ExeDependency] -> CheckExplanation

    Cabal Distribution.PackageDescription.Check

    No documentation available.

  8. class Disallowed "Impossible0" => Impossible0

    trivial-constraint Data.Constraint.Trivial

    A constraint that never is fulfilled, in other words it is guaranteed that something whose context contains this constraint will never actually be invoked in a program.

  9. class Disallowed "Impossible2" => Impossible2 (t :: k) (s :: k1)

    trivial-constraint Data.Constraint.Trivial

    No documentation available.

  10. class Disallowed "Impossible3" => Impossible3 (t :: k) (s :: k1) (r :: k2)

    trivial-constraint Data.Constraint.Trivial

    No documentation available.

Page 3 of many | Previous | Next