Data.Fold.Common.M

Documentation

any :: (a -> Bool) -> M a Bool

Check that if predicate holds for any inputs to the fold.

all :: (a -> Bool) -> M a Bool

Check that if predicate holds for all inputs to the fold.

and :: M Bool Bool

Check whether all elements are True

or :: M Bool Bool

Check whether any elements are True

find :: (a -> Bool) -> M a (Maybe a)

Find the first element for which a predicate holds.

indexOf :: Enum e => (a -> Bool) -> M a (Maybe e)

Find the first index for which a predicate holds.

head :: M a (Maybe a)

Grab the first inputted element

strictify :: M a b -> L' a b

Occasionally we want to use a short-circuiting fold with other, nonlazy folds. This function drops laziness on the floor for a 'L\'' fold.