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. class Disallowed "Impossible4" => Impossible4 (t :: k) (s :: k1) (r :: k2) (q :: k3)

   trivial-constraint	Data.Constraint.Trivial

   No documentation available.

2. class Disallowed "Impossible5" => Impossible5 (t :: k) (s :: k1) (r :: k2) (q :: k3) (p :: k4)

   trivial-constraint	Data.Constraint.Trivial

   No documentation available.

3. class Disallowed "Impossible6" => Impossible6 (t :: k) (s :: k1) (r :: k2) (q :: k3) (p :: k4) (o :: k5)

   trivial-constraint	Data.Constraint.Trivial

   No documentation available.

4. class Disallowed "Impossible7" => Impossible7 (t :: k) (s :: k1) (r :: k2) (q :: k3) (p :: k4) (o :: k5) (n :: k6)

   trivial-constraint	Data.Constraint.Trivial

   No documentation available.

5. class Disallowed "Impossible8" => Impossible8 (t :: k) (s :: k1) (r :: k2) (q :: k3) (p :: k4) (o :: k5) (n :: k6) (m :: k7)

   trivial-constraint	Data.Constraint.Trivial

   No documentation available.

6. class Disallowed "Impossible9" => Impossible9 (t :: k) (s :: k1) (r :: k2) (q :: k3) (p :: k4) (o :: k5) (n :: k6) (m :: k7) (l :: k8)

   trivial-constraint	Data.Constraint.Trivial

   No documentation available.

7. module Agda.ImpossibleTest

   Facility to test throwing internal errors.

8. ImpossibleError :: AgdaError

   Agda	Agda.Interaction.ExitCode

   154

9. ImpossibleConstructor_ :: NegativeUnification_ -> ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

10. ImpossiblePragma :: Range -> [String] -> Pragma

    Agda	Agda.Syntax.Concrete

    Throws an internal error in the scope checker. The Strings are words to be displayed with the error.

Page 4 of many | Previous | Next