Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

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

   classy-prelude	ClassyPrelude

   No documentation available.

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

3. eqLt' :: Parser Tm

   flatparse	FlatParse.Examples.BasicLambda.Parser

   Parse an Eq or Lt-level expression.

4. equals :: Doc

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

   No documentation available.

5. eqClassKey :: Unique

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

6. eqClassName :: Name

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

7. eqClassOpKey :: Unique

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

8. eqDataConKey :: Unique

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

9. eqName :: Name

   ghc-lib-parser	GHC.Builtin.Names

   No documentation available.

10. eqPhantPrimTyConKey :: Unique

    ghc-lib-parser	GHC.Builtin.Names

    No documentation available.

Page 97 of many | Previous | Next