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. type EqVar = EvId

   ghc-lib-parser	GHC.Types.Var

   Equality Variable

2. module Arithmetic.Equal

   No documentation available.

3. Eq# :: forall (a :: Nat) (b :: Nat) . (# #) -> a :=:# b

   natural-arithmetic	Arithmetic.Unsafe

   No documentation available.

4. module EquivalentTypeTest

   No documentation available.

5. type family EQT x y

   tfp	Type.Data.Ord

   No documentation available.

6. class EqProp a

   checkers	Test.QuickCheck.Checkers

   Types of values that can be tested for equality, perhaps through random sampling.

7. Equivalent :: Maybe CharacterSet -> Expr s a -> Expr s a -> Expr s a

   dhall	Dhall.Core

   Equivalent _ x y                           ~  x ≡ y
   

8. EquivalenceTypeMismatch :: Expr s a -> Expr s a -> Expr s a -> Expr s a -> TypeMessage s a

   dhall	Dhall.TypeCheck

   No documentation available.

9. type family EqNat (n :: Nat) (m :: Nat) :: Bool

   fin	Data.Type.Nat

   Type family used to implement == from Data.Type.Equality module.

10. data Equal (f :: Type -> Type) a b

    generic-data	Generic.Data.Internal.Traversable

    No documentation available.

Page 26 of many | Previous | Next