Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

  1. Equal :: Result

    doctest-lib Test.DocTest.Base

    No documentation available.

  2. type EqTag (tag :: k' -> Type) (f :: k' -> Type) = (GEq tag, Has' Eq tag f)

    dependent-sum Data.Dependent.Sum

    Deprecated: Instead of 'EqTag tag f', use '(GEq tag, Has' Eq tag f)'

  3. type Equality (s :: k1) (t :: k2) (a :: k1) (b :: k2) = forall k3 (p :: k1 -> k3 -> Type) (f :: k2 -> k3) . () => p a f b -> p s f t

    diagrams-lib Diagrams.Prelude

    A witness that (a ~ s, b ~ t). Note: Composition with an Equality is index-preserving.

  4. type Equality' (s :: k2) (a :: k2) = Equality s s a a

    diagrams-lib Diagrams.Prelude

    A Simple Equality.

  5. module Test.Syd.Validity.Functions.Equivalence

    No documentation available.

  6. class C f => EqShape (f :: Type -> Type)

    comfort-array Data.Array.Comfort.Container

    No documentation available.

  7. module Data.EqP

    No documentation available.

  8. module Test.Validity.Functions.Equivalence

    No documentation available.

  9. type family EQSym0 :: Ordering

    singletons-base Data.Ord.Singletons

    No documentation available.

  10. type family EQSym0 :: Ordering

    singletons-base Data.Singletons.Base.TH

    No documentation available.

Page 22 of many | Previous | Next