Hoogle Search

Within LTS Haskell 22.26 (ghc-9.6.5)

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

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

    lens Control.Lens.Combinators

    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. pattern (:<) :: Cons b b a a => a -> b -> b

    lens Control.Lens.Cons

    No documentation available.

  3. pattern (:>) :: Snoc a a b b => a -> b -> a

    lens Control.Lens.Cons

    No documentation available.

  4. data () => (a :: k) :~: (b :: k)

    lens Control.Lens.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.

  5. data i :~> f

    test-framework Test.Framework.Providers.API

    No documentation available.

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

    base-compat Data.List.NonEmpty.Compat

    No documentation available.

  7. (:.) :: a -> Vec n a -> Vec ('S n) a

    hedgehog Hedgehog.Internal.Gen

    No documentation available.

  8. type p :-> q = forall a b . p a b -> q a b

    profunctors Data.Profunctor

    (:->) has a polymorphic kind since 5.6.

  9. type p :-> q = forall a b . p a b -> q a b

    profunctors Data.Profunctor.Types

    (:->) has a polymorphic kind since 5.6.

  10. (:|) :: a -> DList a -> DNonEmpty a

    dlist Data.DList.DNonEmpty

    No documentation available.

Page 4 of many | Previous | Next