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. bisequence_ :: (Bifoldable t, Applicative f) => t (f a) (f b) -> f ()

   base	Data.Bifoldable

   Evaluate each action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results, see bisequence.

   Examples

   Basic usage:

   >>> bisequence_ (print "Hello", print "World")
   "Hello"
   "World"
   

   >>> bisequence_ (Left (print "Hello"))
   "Hello"
   

   >>> bisequence_ (Right (print "World"))
   "World"
   

2. bisequence :: (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b)

   base	Data.Bitraversable

   Sequences all the actions in a structure, building a new structure with the same shape using the results of the actions. For a version that ignores the results, see bisequence_.

   bisequence ≡ bitraverse id id
   

   Examples

   Basic usage:

   >>> bisequence (Just 4, Nothing)
   Nothing
   

   >>> bisequence (Just 4, Just 5)
   Just (4,5)
   

   >>> bisequence ([1, 2, 3], [4, 5])
   [(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)]
   

3. bisequenceA :: (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b)

   base	Data.Bitraversable

   Alias for bisequence.

4. sequenceA_ :: (Foldable t, Applicative f) => t (f a) -> f ()

   base	Data.Foldable

   Evaluate each action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequenceA. sequenceA_ is just like sequence_, but generalised to Applicative actions.

   Examples

   Basic usage:

   >>> sequenceA_ [print "Hello", print "world", print "!"]
   "Hello"
   "world"
   "!"
   

5. sequence_ :: (Foldable t, Monad m) => t (m a) -> m ()

   base	Data.Foldable

   Evaluate each monadic action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequence. sequence_ is just like sequenceA_, but specialised to monadic actions.

6. liftEq :: Eq1 f => (a -> b -> Bool) -> f a -> f b -> Bool

   base	Data.Functor.Classes

   Lift an equality test through the type constructor. The function will usually be applied to an equality function, but the more general type ensures that the implementation uses it to compare elements of the first container with elements of the second.

7. liftEq2 :: Eq2 f => (a -> b -> Bool) -> (c -> d -> Bool) -> f a c -> f b d -> Bool

   base	Data.Functor.Classes

   Lift equality tests through the type constructor. The function will usually be applied to equality functions, but the more general type ensures that the implementation uses them to compare elements of the first container with elements of the second.

8. comparisonEquivalence :: Comparison a -> Equivalence a

   base	Data.Functor.Contravariant

   No documentation available.

9. defaultEquivalence :: Eq a => Equivalence a

   base	Data.Functor.Contravariant

   Check for equivalence with ==. Note: The instances for Double and Float violate reflexivity for NaN.

10. getEquivalence :: Equivalence a -> a -> a -> Bool

    base	Data.Functor.Contravariant

    No documentation available.

Page 134 of many | Previous | Next