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. (:*:) :: f p -> g p -> (:*:) (f :: k -> Type) (g :: k -> Type) (p :: k)

   ghc-internal	GHC.Internal.Generics

   No documentation available.

2. data ((f :: k -> Type) :+: (g :: k -> Type)) (p :: k)

   ghc-internal	GHC.Internal.Generics

   Sums: encode choice between constructors

3. newtype ((f :: k2 -> Type) :.: (g :: k1 -> k2)) (p :: k1)

   ghc-internal	GHC.Internal.Generics

   Composition of functors

4. (:%) :: a -> a -> Ratio a

   ghc-internal	GHC.Internal.Real

   No documentation available.

5. data (a :: k) :~: (b :: k)

   ghc-internal	GHC.Internal.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.

6. data (a :: k1) :~~: (b :: k2)

   ghc-internal	GHC.Internal.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.

7. (:$$:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

   ghc-internal	GHC.Internal.TypeError

   Stack two pieces of error message on top of each other.

8. (:<>:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

   ghc-internal	GHC.Internal.TypeError

   Put two pieces of error message next to each other.

9. (:$$:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

   ghc-internal	GHC.Internal.TypeLits

   Stack two pieces of error message on top of each other.

10. (:<>:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

    ghc-internal	GHC.Internal.TypeLits

    Put two pieces of error message next to each other.

Page 21 of many | Previous | Next