Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. eqConstraintT :: Name -> Type -> Type

   th-lego	THLego.Helpers

   No documentation available.

2. equating :: Eq a => (b -> a) -> b -> b -> Bool

   basic-prelude	CorePrelude

   No documentation available.

3. equating :: Eq a => (b -> a) -> b -> b -> Bool

   classy-prelude	ClassyPrelude

   No documentation available.

4. package equational-reasoning

   Proof assistant for Haskell using DataKinds & PolyKinds A simple convenient library to write equational / preorder proof as in Agda. Since 0.6.0.0, this no longer depends on singletons package, and the Proof.Induction module goes to equational-reasoning-induction package.

5. eqLt' :: Parser Tm

   flatparse	FlatParse.Examples.BasicLambda.Parser

   Parse an Eq or Lt-level expression.

6. equals :: Doc

   ghc-lib-parser	GHC.Boot.TH.PprLib

   No documentation available.

7. eqClassKey :: Unique

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

8. eqClassName :: Name

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

9. eqClassOpKey :: Unique

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

10. eqDataConKey :: Unique

    ghc-lib-parser	GHC.Builtin.Names

    No documentation available.

Page 97 of many | Previous | Next