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. equalTo :: (Eq a, Show a) => a -> Filter a ()

   inbox	Test.Inbox

   A filter that matches messages equal to the given one.

2. eqByName :: CNode a => a -> a -> Bool

   language-c	Language.C.Data.Node

   equality by name

3. equals :: Doc ann

   prettyprinter-compat-annotated-wl-pprint	Text.PrettyPrint.Annotated.Leijen

   >>> equals
   =
   

4. equals :: Doc

   prettyprinter-compat-wl-pprint	Text.PrettyPrint.Leijen

   No documentation available.

5. equal :: (Num prob, Eq prob, Ord a) => T prob a -> T prob a -> Bool

   probability	Numeric.Probability.Distribution

   No documentation available.

6. equalize :: a -> Seq (Seq a) -> Seq (Seq a)

   rainbox	Rainbox.Core

   Ensures that each inner Seq is the same length by adding the given empty element where needed.

7. equals :: IsString s => s

   string-combinators	Data.String.Combinators

   A '=' character.

8. equals :: forall (t :: Type -> Type) v m . BindingMonad t v m => UTerm t v -> UTerm t v -> m Bool

   unification-fd	Control.Unification

   Determine if two terms are structurally equal. This is essentially equivalent to (==) except that it does not require applying bindings before comparing, so it is more efficient. N.B., this function does not consider alpha-variance, and thus variables with different names are considered unequal. Cf., equiv.

9. equiv :: forall (t :: Type -> Type) v m . BindingMonad t v m => UTerm t v -> UTerm t v -> m (Maybe (IntMap Int))

   unification-fd	Control.Unification

   Determine if two terms are structurally equivalent; that is, structurally equal modulo renaming of free variables. Returns a mapping from variable IDs of the left term to variable IDs of the right term, indicating the renaming used.

10. equals :: forall (t :: Type -> Type) v m . BindingMonad t v m => UTerm t v -> UTerm t v -> m Bool

    unification-fd	Control.Unification.Ranked

    Determine if two terms are structurally equal. This is essentially equivalent to (==) except that it does not require applying bindings before comparing, so it is more efficient. N.B., this function does not consider alpha-variance, and thus variables with different names are considered unequal. Cf., equiv.

Page 132 of many | Previous | Next