Data.Foldable.Extra

Documentation

module Data.Foldable

sum' :: (Foldable f, Num a) => f a -> a

A generalization of sum' to Foldable instances.

product' :: (Foldable f, Num a) => f a -> a

A generalization of product' to Foldable instances.

sumOn' :: (Foldable f, Num b) => (a -> b) -> f a -> b

A generalization of sumOn' to Foldable instances.

productOn' :: (Foldable f, Num b) => (a -> b) -> f a -> b

A generalization of productOn' to Foldable instances.

anyM :: (Foldable f, Monad m) => (a -> m Bool) -> f a -> m Bool

A generalization of anyM to Foldable instances. Retains the short-circuiting behaviour.

allM :: (Foldable f, Monad m) => (a -> m Bool) -> f a -> m Bool

A generalization of allM to Foldable instances. Retains the short-circuiting behaviour.

orM :: (Foldable f, Monad m) => f (m Bool) -> m Bool

A generalization of orM to Foldable instances. Retains the short-circuiting behaviour.

andM :: (Foldable f, Monad m) => f (m Bool) -> m Bool

A generalization of andM to Foldable instances. Retains the short-circuiting behaviour.

findM :: (Foldable f, Monad m) => (a -> m Bool) -> f a -> m (Maybe a)

A generalization of findM to Foldable instances.

firstJustM :: (Foldable f, Monad m) => (a -> m (Maybe b)) -> f a -> m (Maybe b)

A generalization of firstJustM to Foldable instances.