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. eqHeteroRep :: Eq a => TypeRep a -> TypeRep b -> a -> b -> Bool

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Utils

   Compare two values of different types for equality, resolve the type equality using the type representation.

2. eqTypeRepBool :: forall ka kb (a :: ka) (b :: kb) . TypeRep a -> TypeRep b -> Bool

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Utils

   Compare two type representations for equality.

3. equation :: TypedAnySymbol a -> Model -> Maybe (Term Bool)

   grisette	Grisette.Internal.SymPrim.Prim.Model

   Given a typed symbol and a model, return the equation (symbol = value) encoded in the model.

4. eqClasses :: [Name]

   grisette	Grisette.Internal.TH.Derivation.Derive

   Eq classes that can be derived for GADTs. This includes:

   • Eq
   • Eq1
   • Eq2

5. eqClasses :: [Name]

   grisette	Grisette.TH

   Eq classes that can be derived for GADTs. This includes:

   • Eq
   • Eq1
   • Eq2

6. equals :: Doc

   mainland-pretty	Text.PrettyPrint.Mainland

   The document equals consists of an equals sign, "=".

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

   mappings	Data.Mapping.Util

   Helper function (not exported)

8. eqPPField :: EqPP (Field a) ignored

   opaleye	Opaleye.Adaptors

   No documentation available.

9. eqPPMaybeFields :: EqPP a b -> EqPP (MaybeFields a) (MaybeFields b)

   opaleye	Opaleye.Adaptors

   No documentation available.

10. eqPPMaybeFields :: EqPP a b -> EqPP (MaybeFields a) (MaybeFields b)

    opaleye	Opaleye.Internal.MaybeFields

    No documentation available.

Page 126 of many | Previous | Next