Hoogle Search

Within LTS Haskell 22.18 (ghc-9.6.4)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. (:+) :: a -> a -> Complex a

   base	Data.Complex

   forms a complex number from its real and imaginary rectangular components.

2. (:|) :: a -> [a] -> NonEmpty a

   base	Data.List.NonEmpty

   No documentation available.

3. data a :~: b

   base	Data.Type.Equality

   Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

4. data a :~~: b

   base	Data.Type.Equality

   Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.

5. data a :~: b

   base	Data.Typeable

   Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

6. data a :~~: b

   base	Data.Typeable

   Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.

7. data a :~: b

   base	Type.Reflection

   Propositional equality. If a :~: b is inhabited by some terminating value, then the type a is the same as the type b. To use this equality in practice, pattern-match on the a :~: b to get out the Refl constructor; in the body of the pattern-match, the compiler knows that a ~ b.

8. data a :~~: b

   base	Type.Reflection

   Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.

9. (:|) :: a -> [a] -> NonEmpty a

   base	GHC.Base

   No documentation available.

10. data (:*:) (f :: k -> Type) (g :: k -> Type) (p :: k)

    base	GHC.Generics

    Products: encode multiple arguments to constructors

Page 1 of many | Next