Fold.Effectful.Nonempty

Folds from Fold.Pure.Nonempty trivially lifted into EffectfulFold

General

magma :: (a -> a -> a) -> Monad m => EffectfulFold m a (Maybe a)

Start with the first input, append each new input on the right with the given function

semigroup :: Semigroup a => Monad m => EffectfulFold m a (Maybe a)

Append each new input on the right with (<>)

Endpoints

first :: Monad m => EffectfulFold m a (Maybe a)

The first input

last :: Monad m => EffectfulFold m a (Maybe a)

The last input

Extrema

maximum :: Ord a => Monad m => EffectfulFold m a (Maybe a)

The greatest input

minimum :: Ord a => Monad m => EffectfulFold m a (Maybe a)

The least input

maximumBy :: (a -> a -> Ordering) -> Monad m => EffectfulFold m a (Maybe a)

The greatest input with respect to the given comparison function

minimumBy :: (a -> a -> Ordering) -> Monad m => EffectfulFold m a (Maybe a)

The least input with respect to the given comparison function