Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. equal :: Floating a => a -> a -> Bool

   comfort-blas	Numeric.BLAS.Scalar

   No documentation available.

2. eqAbout :: PhantomFlag t -> PhantomFlag t -> PhantomFlag t -> Bool

   doldol	Data.Flag.Phantom

   No documentation available.

3. eqAbout :: Flag -> Flag -> Flag -> Bool

   doldol	Data.Flag.Simple

   Check whether two Flags are same or not under the first Flag eqAbout fb f1 f2 = (fb .&. f1) == (fb .&. f2)

4. equivalence_closure :: Ix a => Relation a a -> Relation a a

   ersatz	Ersatz.Relation

   Constructs the equivalence closure <math> of the relation <math>. Formula size: linear in <math>

5. eqHeteroSymbol :: forall (ta :: SymbolKind) a (tb :: SymbolKind) b . TypedSymbol ta a -> TypedSymbol tb b -> Bool

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   Compare two TypedSymbols for equality.

6. eqTerm :: Term a -> Term a -> Term Bool

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   Construct and internalizing a EqTerm.

7. eqHetero :: (Typeable a, Typeable b, Eq a) => a -> b -> Bool

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

   Compare two values of different types for equality.

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

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

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

Page 125 of many | Previous | Next