Hoogle Search

Within LTS Haskell 24.17 (ghc-9.10.3)

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

Exact lookup

1. module Arithmetic.Equal

   No documentation available.

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

   natural-arithmetic	Arithmetic.Unsafe

   No documentation available.

3. module EquivalentTypeTest

   No documentation available.

4. type family EQT x y

   tfp	Type.Data.Ord

   No documentation available.

5. class EqProp a

   checkers	Test.QuickCheck.Checkers

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

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

   dhall	Dhall.Core

   Equivalent _ x y                           ~  x ≡ y
   

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

   dhall	Dhall.TypeCheck

   No documentation available.

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

   fin	Data.Type.Nat

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

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

   generic-data	Generic.Data.Internal.Traversable

   No documentation available.

10. EqPred :: EqRel -> Type -> Type -> Pred

    ghc-typelits-presburger	GHC.TypeLits.Presburger.Compat

    A type equality predicate.

Page 26 of many | Previous | Next