Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. data a :+ b

    generic-random Generic.Random.Internal.Generic

    Heterogeneous list of generators.

  2. (:+) :: a -> b -> (:+) a b

    generic-random Generic.Random.Internal.Generic

    No documentation available.

  3. data a :| b

    generic-random Generic.Random.Internal.Generic

    No documentation available.

  4. pattern (:->) :: Type -> Type -> Type

    polysemy Polysemy.Internal.TH.Common

    Pattern constructing function type and matching on one that may contain type annotations on arrow itself.

  5. data a :> b

    sandwich Test.Sandwich.Internal

    No documentation available.

  6. (:>) :: a -> b -> (:>) a b

    sandwich Test.Sandwich.Internal

    No documentation available.

  7. data a :> b

    sandwich Test.Sandwich.Misc

    No documentation available.

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

    ghc-internal GHC.Internal.Base

    No documentation available.

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

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

Page 18 of many | Previous | Next