Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. eqBy :: (IsStream t, Monad m) => (a -> b -> Bool) -> t m a -> t m b -> m Bool

   streamly	Streamly.Internal.Data.Stream.IsStream

   Compare two streams for equality using an equality function.

2. eqBy :: (IsStream t, Monad m) => (a -> b -> Bool) -> t m a -> t m b -> m Bool

   streamly	Streamly.Prelude

   Compare two streams for equality using an equality function.

3. eqStruct :: Struct t => t s -> t s -> Bool

   structs	Data.Struct

   No documentation available.

4. eqStruct :: Struct t => t s -> t s -> Bool

   structs	Data.Struct.Internal

   No documentation available.

5. equivalenceClasses :: Label lb => LabelMap lb -> Set lb -> [EquivalenceClass lb]

   swish	Swish.GraphMatch

   Return the equivalence classes of the supplied nodes using the label map.

6. equivalentTo :: Ord o => Sig s1 o x -> Sig s2 o x -> RefinementProperty o x

   tasty-dejafu	Test.Tasty.DejaFu

   Observational equivalence. True iff the result-set of the left expression is equal to the result-set of the right expression. The two signatures can have different state types, this lets you compare the behaviour of different data structures. The observation and seed types must match, however.

7. eqValueList :: forall (a :: TValue) (b :: TValue) . [Value a] -> [Value b] -> Bool

   tomland	Toml.Type.Value

   Compare list of Value of possibly different types.

8. eqCmpNat :: forall (m :: Natural) (n :: Natural) . (m :~: n) -> CmpNat m n :~: 'EQ

   typelits-witnesses	GHC.TypeLits.Compare

   A witness of equality implies that CmpNat m n is Eq.

9. equ :: forall (w :: (Type -> Type) -> Type -> Type) s a . C w => Variable w s a -> Variable w s a -> T w s ()

   unique-logic	UniqueLogic.ST.Rule

   No documentation available.

10. equ :: forall (w :: (Type -> Type) -> Type -> Type) (s :: Type -> Type) a . (C w, C s) => Variable w s a -> Variable w s a -> T w s ()

    unique-logic-tf	UniqueLogic.ST.TF.Rule

    No documentation available.

Page 126 of many | Previous | Next