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.

Exact lookup

1. EqualTo :: EqualTo (n :: Nat)

   refined	Refined

   No documentation available.

2. module Test.TypeSpec.Internal.Equality

   Type Equality

3. type family EqExtra (a :: ak) (b :: bk) :: Bool

   type-spec	Test.TypeSpec.Internal.Equality

   Operator 'Data.Equality.(==)' expects both arguments to have the same kind.

4. module ELynx.Tools.Equality

   Creation date: Thu Feb 14 13:27:05 2019. Equality tests.

5. module Proof.Equational

   No documentation available.

6. class Preorder eq => Equality (eq :: k -> k -> Type)

   equational-reasoning	Proof.Equational

   No documentation available.

7. EqStablePtrOp :: PrimOp

   ghc-lib-parser	GHC.Builtin.PrimOps

   No documentation available.

8. data EqSpec

   ghc-lib-parser	GHC.Core.DataCon

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

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

   ghc-lib-parser	GHC.Core.Predicate

   A type equality predicate, (t1 ~#N t2) or (t1 ~#R t2)

10. data EqRel

    ghc-lib-parser	GHC.Core.Predicate

    A choice of equality relation. This is separate from the type Role because Phantom does not define a (non-trivial) equality relation.

Page 24 of many | Previous | Next