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.

  1. equals :: forall (a :: Nat) (b :: Nat) (o :: Nat) (p :: Nat) . Closed a b -> Closed o p -> Bool

    closed Closed.Internal

    Test two different types of Closed values for equality.

  2. equalModuloTesting :: Conjurable f => Int -> Int -> String -> f -> Defn -> Defn -> Bool

    code-conjure Conjure.Defn.Test

    No documentation available.

  3. equations :: Thy -> [Equation]

    code-conjure Conjure.Reason

    No documentation available.

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

    comfort-blas Numeric.BLAS.Scalar

    No documentation available.

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

    doldol Data.Flag.Phantom

    No documentation available.

  6. 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)

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

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

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

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

    Construct and internalizing a EqTerm.

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

Page 125 of many | Previous | Next