Fold.Effectful.Examples

General

effect :: Monad m => (a -> m b) -> EffectfulFold m a ()

Performs an action for each input, discarding the result

effectMonoid :: (Monoid w, Monad m) => (a -> m w) -> EffectfulFold m a w

Performs an action for each input, monoidally combining the results from all the actions

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 (<>)

monoid :: Monoid a => Monad m => EffectfulFold m a a

Start with mempty, append each 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

Length

null :: Monad m => EffectfulFold m a Bool

True if the input contains no inputs

length :: Monad m => EffectfulFold m a Natural

The number of inputs

Boolean

and :: Monad m => EffectfulFold m Bool Bool

True if all inputs are True

or :: Monad m => EffectfulFold m Bool Bool

True if any input is True

all :: Monad m => (a -> Bool) -> EffectfulFold m a Bool

True if all inputs satisfy the predicate

any :: Monad m => (a -> Bool) -> EffectfulFold m a Bool

True if any input satisfies the predicate

Numeric

sum :: Num a => Monad m => EffectfulFold m a a

Adds the inputs

product :: Num a => Monad m => EffectfulFold m a a

Multiplies the inputs

mean :: Fractional a => Monad m => EffectfulFold m a a

Numerically stable arithmetic mean of the inputs

variance :: Fractional a => Monad m => EffectfulFold m a a

Numerically stable (population) variance over the inputs

standardDeviation :: Floating a => Monad m => EffectfulFold m a a

Numerically stable (population) standard deviation over the inputs

Search

element :: Eq a => Monad m => a -> EffectfulFold m a Bool

True if any input is equal to the given value

notElement :: Eq a => Monad m => a -> EffectfulFold m a Bool

False if any input is equal to the given value

find :: Monad m => (a -> Bool) -> EffectfulFold m a (Maybe a)

The first input that satisfies the predicate, if any

lookup :: Eq a => Monad m => a -> EffectfulFold m (a, b) (Maybe b)

The b from the first tuple where a equals the given value, if any

Index

index :: Monad m => Natural -> EffectfulFold m a (Maybe a)

The nth input, where n=0 is the first input, if the index is in bounds

findIndex :: Monad m => (a -> Bool) -> EffectfulFold m a (Maybe Natural)

The index of the first input that satisfies the predicate, if any

elementIndex :: Eq a => Monad m => a -> EffectfulFold m a (Maybe Natural)

The index of the first input that matches the given value, if any

List

list :: Monad m => EffectfulFold m a [a]

All the inputs

reverseList :: Monad m => EffectfulFold m a [a]

All the inputs in reverse order