Hoogle Search

Within LTS Haskell 24.16 (ghc-9.10.3)

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

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

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

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

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

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

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

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

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

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

    ghc-internal GHC.Internal.Generics

    Products: encode multiple arguments to constructors

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

    ghc-internal GHC.Internal.Generics

    No documentation available.

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

    ghc-internal GHC.Internal.Generics

    Sums: encode choice between constructors

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

    ghc-internal GHC.Internal.Generics

    Composition of functors

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

    ghc-internal GHC.Internal.Real

    No documentation available.

  10. 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.

Page 19 of many | Previous | Next