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.

Exact lookup

1. module Control.Lens.Equality

   No documentation available.

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

   lens	Control.Lens.Equality

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

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

   lens	Control.Lens.Equality

   A Simple Equality.

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

   lens	Control.Lens.Type

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

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

   lens	Control.Lens.Type

   A Simple Equality.

6. data Eq1Args v a b

   transformers-compat	Data.Functor.Classes.Generic.Internal

   An Eq1Args value either stores an Eq a dictionary (for the transformers-0.4 version of Eq1), or it stores the function argument that checks the equality of occurrences of the type parameter (for the non-transformers-0.4 version of Eq1).

7. EqStablePtrOp :: PrimOp

   ghc	GHC.Builtin.PrimOps

   No documentation available.

8. EQQ :: Cond

   ghc	GHC.CmmToAsm.PPC.Cond

   No documentation available.

9. EQQ :: Cond

   ghc	GHC.CmmToAsm.X86.Cond

   No documentation available.

10. data EqSpec

    ghc	GHC.Core.DataCon

    An EqSpec is a tyvar/type pair representing an equality made in rejigging a GADT constructor

Page 18 of many | Previous | Next