Hoogle Search

Within LTS Haskell 24.2 (ghc-9.10.2)

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

  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 :: k) :~: (b :: k)

    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 :: k1) :~~: (b :: k2)

    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 :: k) :~: (b :: k)

    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 :: k1) :~~: (b :: k2)

    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 :: k) :~: (b :: k)

    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 :: k1) :~~: (b :: k2)

    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