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. (:.:) :: Label -> Labels -> Labels

    resolv Network.DNS

    No documentation available.

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

    singletons-th Data.Singletons.TH

    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.

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

    type-errors Type.Errors

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

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

    type-errors Type.Errors

    Put two pieces of error message next to each other.

  5. (:->) :: k -> p -> Binding k p

    PSQueue Data.PSQueue

    No documentation available.

  6. (:->) :: k -> p -> Binding k p

    PSQueue Data.PSQueue.Internal

    No documentation available.

  7. (:=) :: s -> s -> Attribute s

    algebraic-graphs Algebra.Graph.Export.Dot

    No documentation available.

  8. type (:&) = 'Union

    bluefin-internal Bluefin.Internal 

    type (:&) :: Effects -> Effects -> Effects
    Union of effects

  9. class (es1 :: Effects) :> (es2 :: Effects)

    bluefin-internal Bluefin.Internal

    Effect subset constraint

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

    cabal-install-solver Distribution.Solver.Compat.Prelude

    No documentation available.

Page 37 of many | Previous | Next