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.

  1. (:<) :: a -> Infinite a -> Infinite a

    infinite-list Data.List.Infinite

    No documentation available.

  2. (:*:) :: a -> b -> PairS a b

    jsaddle Data.JSString.Internal.Fusion.Types

    No documentation available.

  3. (:%) :: a -> a -> T a

    numeric-prelude Number.Ratio

    No documentation available.

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

    numhask NumHask

    No documentation available.

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

    numhask NumHask.Data.Rational

    No documentation available.

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

    parameterized-utils Data.Parameterized.BoolRepr

    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.

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

    parameterized-utils Data.Parameterized.Classes

    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. (::>) :: Ctx k -> k -> Ctx k

    parameterized-utils Data.Parameterized.Context

    No documentation available.

  9. type (c :: Ctx k) ::> (a :: k) = c '::> a

    parameterized-utils Data.Parameterized.Context

    No documentation available.

  10. (::>) :: Ctx k -> k -> Ctx k

    parameterized-utils Data.Parameterized.Ctx

    No documentation available.

Page 22 of many | Previous | Next