Data.Foldable1

A class of non-empty data structures that can be folded to a summary value.

Since: base-4.18.0.0

Documentation

class Foldable t => Foldable1 t where

Non-empty data structures that can be folded.

Since: base-4.18.0.0

Minimal complete definition

foldMap1 | foldrMap1

Methods

fold1 :: Semigroup m => t m -> m

Combine the elements of a structure using a semigroup. @since 4.18.0.0

foldMap1 :: Semigroup m => (a -> m) -> t a -> m

Map each element of the structure to a semigroup, and combine the results.

>>> foldMap1 Sum (1 :| [2, 3, 4])
Sum {getSum = 10}

Since: base-4.18.0.0

foldMap1' :: Semigroup m => (a -> m) -> t a -> m

A variant of foldMap1 that is strict in the accumulator.

>>> foldMap1' Sum (1 :| [2, 3, 4])
Sum {getSum = 10}

Since: base-4.18.0.0

toNonEmpty :: t a -> NonEmpty a

List of elements of a structure, from left to right.

>>> toNonEmpty (Identity 2)
2 :| []

Since: base-4.18.0.0

maximum :: Ord a => t a -> a

The largest element of a non-empty structure.

>>> maximum (32 :| [64, 8, 128, 16])
128

Since: base-4.18.0.0

minimum :: Ord a => t a -> a

The least element of a non-empty structure.

>>> minimum (32 :| [64, 8, 128, 16])
8

Since: base-4.18.0.0

head :: t a -> a

The first element of a non-empty structure.

>>> head (1 :| [2, 3, 4])
1

Since: base-4.18.0.0

last :: t a -> a

The last element of a non-empty structure.

>>> last (1 :| [2, 3, 4])
4

Since: base-4.18.0.0

foldrMap1 :: (a -> b) -> (a -> b -> b) -> t a -> b

Generalized foldr1. @since 4.18.0.0

foldlMap1' :: (a -> b) -> (b -> a -> b) -> t a -> b

Generalized foldl1'. @since 4.18.0.0

foldlMap1 :: (a -> b) -> (b -> a -> b) -> t a -> b

Generalized foldl1. @since 4.18.0.0

foldrMap1' :: (a -> b) -> (a -> b -> b) -> t a -> b

Generalized foldr1'. @since 4.18.0.0

Instances

Foldable1 Complex

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Complex m -> m

foldMap1 :: Semigroup m => (a -> m) -> Complex a -> m

foldMap1' :: Semigroup m => (a -> m) -> Complex a -> m

toNonEmpty :: Complex a -> NonEmpty a

maximum :: Ord a => Complex a -> a

minimum :: Ord a => Complex a -> a

head :: Complex a -> a

last :: Complex a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Complex a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Complex a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Complex a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Complex a -> b

Foldable1 Identity

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Identity m -> m

foldMap1 :: Semigroup m => (a -> m) -> Identity a -> m

foldMap1' :: Semigroup m => (a -> m) -> Identity a -> m

toNonEmpty :: Identity a -> NonEmpty a

maximum :: Ord a => Identity a -> a

minimum :: Ord a => Identity a -> a

head :: Identity a -> a

last :: Identity a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Identity a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Identity a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Identity a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Identity a -> b

Foldable1 Down

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Down m -> m

foldMap1 :: Semigroup m => (a -> m) -> Down a -> m

foldMap1' :: Semigroup m => (a -> m) -> Down a -> m

toNonEmpty :: Down a -> NonEmpty a

maximum :: Ord a => Down a -> a

minimum :: Ord a => Down a -> a

head :: Down a -> a

last :: Down a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Down a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Down a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Down a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Down a -> b

Foldable1 First

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => First m -> m

foldMap1 :: Semigroup m => (a -> m) -> First a -> m

foldMap1' :: Semigroup m => (a -> m) -> First a -> m

toNonEmpty :: First a -> NonEmpty a

maximum :: Ord a => First a -> a

minimum :: Ord a => First a -> a

head :: First a -> a

last :: First a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> First a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> First a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> First a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> First a -> b

Foldable1 Last

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Last m -> m

foldMap1 :: Semigroup m => (a -> m) -> Last a -> m

foldMap1' :: Semigroup m => (a -> m) -> Last a -> m

toNonEmpty :: Last a -> NonEmpty a

maximum :: Ord a => Last a -> a

minimum :: Ord a => Last a -> a

head :: Last a -> a

last :: Last a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Last a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Last a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Last a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Last a -> b

Foldable1 Max

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Max m -> m

foldMap1 :: Semigroup m => (a -> m) -> Max a -> m

foldMap1' :: Semigroup m => (a -> m) -> Max a -> m

toNonEmpty :: Max a -> NonEmpty a

maximum :: Ord a => Max a -> a

minimum :: Ord a => Max a -> a

head :: Max a -> a

last :: Max a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Max a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Max a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Max a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Max a -> b

Foldable1 Min

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Min m -> m

foldMap1 :: Semigroup m => (a -> m) -> Min a -> m

foldMap1' :: Semigroup m => (a -> m) -> Min a -> m

toNonEmpty :: Min a -> NonEmpty a

maximum :: Ord a => Min a -> a

minimum :: Ord a => Min a -> a

head :: Min a -> a

last :: Min a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Min a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Min a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Min a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Min a -> b

Foldable1 Dual

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Dual m -> m

foldMap1 :: Semigroup m => (a -> m) -> Dual a -> m

foldMap1' :: Semigroup m => (a -> m) -> Dual a -> m

toNonEmpty :: Dual a -> NonEmpty a

maximum :: Ord a => Dual a -> a

minimum :: Ord a => Dual a -> a

head :: Dual a -> a

last :: Dual a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Dual a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Dual a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Dual a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Dual a -> b

Foldable1 Product

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Product m -> m

foldMap1 :: Semigroup m => (a -> m) -> Product a -> m

foldMap1' :: Semigroup m => (a -> m) -> Product a -> m

toNonEmpty :: Product a -> NonEmpty a

maximum :: Ord a => Product a -> a

minimum :: Ord a => Product a -> a

head :: Product a -> a

last :: Product a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Product a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Product a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Product a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Product a -> b

Foldable1 Sum

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Sum m -> m

foldMap1 :: Semigroup m => (a -> m) -> Sum a -> m

foldMap1' :: Semigroup m => (a -> m) -> Sum a -> m

toNonEmpty :: Sum a -> NonEmpty a

maximum :: Ord a => Sum a -> a

minimum :: Ord a => Sum a -> a

head :: Sum a -> a

last :: Sum a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Sum a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Sum a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Sum a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Sum a -> b

Foldable1 NonEmpty

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => NonEmpty m -> m

foldMap1 :: Semigroup m => (a -> m) -> NonEmpty a -> m

foldMap1' :: Semigroup m => (a -> m) -> NonEmpty a -> m

toNonEmpty :: NonEmpty a -> NonEmpty a

maximum :: Ord a => NonEmpty a -> a

minimum :: Ord a => NonEmpty a -> a

head :: NonEmpty a -> a

last :: NonEmpty a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> NonEmpty a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> NonEmpty a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> NonEmpty a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> NonEmpty a -> b

Foldable1 Par1

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Par1 m -> m

foldMap1 :: Semigroup m => (a -> m) -> Par1 a -> m

foldMap1' :: Semigroup m => (a -> m) -> Par1 a -> m

toNonEmpty :: Par1 a -> NonEmpty a

maximum :: Ord a => Par1 a -> a

minimum :: Ord a => Par1 a -> a

head :: Par1 a -> a

last :: Par1 a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Par1 a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Par1 a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Par1 a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Par1 a -> b

Foldable1 Solo

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Solo m -> m

foldMap1 :: Semigroup m => (a -> m) -> Solo a -> m

foldMap1' :: Semigroup m => (a -> m) -> Solo a -> m

toNonEmpty :: Solo a -> NonEmpty a

maximum :: Ord a => Solo a -> a

minimum :: Ord a => Solo a -> a

head :: Solo a -> a

last :: Solo a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Solo a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Solo a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Solo a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Solo a -> b

Foldable1 (V1 :: Type -> Type)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => V1 m -> m

foldMap1 :: Semigroup m => (a -> m) -> V1 a -> m

foldMap1' :: Semigroup m => (a -> m) -> V1 a -> m

toNonEmpty :: V1 a -> NonEmpty a

maximum :: Ord a => V1 a -> a

minimum :: Ord a => V1 a -> a

head :: V1 a -> a

last :: V1 a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> V1 a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> V1 a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> V1 a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> V1 a -> b

Foldable1 ((,) a)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => (a, m) -> m

foldMap1 :: Semigroup m => (a0 -> m) -> (a, a0) -> m

foldMap1' :: Semigroup m => (a0 -> m) -> (a, a0) -> m

toNonEmpty :: (a, a0) -> NonEmpty a0

maximum :: Ord a0 => (a, a0) -> a0

minimum :: Ord a0 => (a, a0) -> a0

head :: (a, a0) -> a0

last :: (a, a0) -> a0

foldrMap1 :: (a0 -> b) -> (a0 -> b -> b) -> (a, a0) -> b

foldlMap1' :: (a0 -> b) -> (b -> a0 -> b) -> (a, a0) -> b

foldlMap1 :: (a0 -> b) -> (b -> a0 -> b) -> (a, a0) -> b

foldrMap1' :: (a0 -> b) -> (a0 -> b -> b) -> (a, a0) -> b

Foldable1 f => Foldable1 (Ap f)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Ap f m -> m

foldMap1 :: Semigroup m => (a -> m) -> Ap f a -> m

foldMap1' :: Semigroup m => (a -> m) -> Ap f a -> m

toNonEmpty :: Ap f a -> NonEmpty a

maximum :: Ord a => Ap f a -> a

minimum :: Ord a => Ap f a -> a

head :: Ap f a -> a

last :: Ap f a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Ap f a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Ap f a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Ap f a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Ap f a -> b

Foldable1 f => Foldable1 (Alt f)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Alt f m -> m

foldMap1 :: Semigroup m => (a -> m) -> Alt f a -> m

foldMap1' :: Semigroup m => (a -> m) -> Alt f a -> m

toNonEmpty :: Alt f a -> NonEmpty a

maximum :: Ord a => Alt f a -> a

minimum :: Ord a => Alt f a -> a

head :: Alt f a -> a

last :: Alt f a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Alt f a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Alt f a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Alt f a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Alt f a -> b

Foldable1 f => Foldable1 (Rec1 f)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Rec1 f m -> m

foldMap1 :: Semigroup m => (a -> m) -> Rec1 f a -> m

foldMap1' :: Semigroup m => (a -> m) -> Rec1 f a -> m

toNonEmpty :: Rec1 f a -> NonEmpty a

maximum :: Ord a => Rec1 f a -> a

minimum :: Ord a => Rec1 f a -> a

head :: Rec1 f a -> a

last :: Rec1 f a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Rec1 f a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Rec1 f a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Rec1 f a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Rec1 f a -> b

(Foldable1 f, Foldable1 g) => Foldable1 (Product f g)

It would be enough for either half of a product to be Foldable1. Other could be Foldable.

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Product f g m -> m

foldMap1 :: Semigroup m => (a -> m) -> Product f g a -> m

foldMap1' :: Semigroup m => (a -> m) -> Product f g a -> m

toNonEmpty :: Product f g a -> NonEmpty a

maximum :: Ord a => Product f g a -> a

minimum :: Ord a => Product f g a -> a

head :: Product f g a -> a

last :: Product f g a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Product f g a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Product f g a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Product f g a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Product f g a -> b

(Foldable1 f, Foldable1 g) => Foldable1 (Sum f g)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Sum f g m -> m

foldMap1 :: Semigroup m => (a -> m) -> Sum f g a -> m

foldMap1' :: Semigroup m => (a -> m) -> Sum f g a -> m

toNonEmpty :: Sum f g a -> NonEmpty a

maximum :: Ord a => Sum f g a -> a

minimum :: Ord a => Sum f g a -> a

head :: Sum f g a -> a

last :: Sum f g a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Sum f g a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Sum f g a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Sum f g a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Sum f g a -> b

(Foldable1 f, Foldable1 g) => Foldable1 (f :*: g)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => (f :*: g) m -> m

foldMap1 :: Semigroup m => (a -> m) -> (f :*: g) a -> m

foldMap1' :: Semigroup m => (a -> m) -> (f :*: g) a -> m

toNonEmpty :: (f :*: g) a -> NonEmpty a

maximum :: Ord a => (f :*: g) a -> a

minimum :: Ord a => (f :*: g) a -> a

head :: (f :*: g) a -> a

last :: (f :*: g) a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> (f :*: g) a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> (f :*: g) a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> (f :*: g) a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> (f :*: g) a -> b

(Foldable1 f, Foldable1 g) => Foldable1 (f :+: g)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => (f :+: g) m -> m

foldMap1 :: Semigroup m => (a -> m) -> (f :+: g) a -> m

foldMap1' :: Semigroup m => (a -> m) -> (f :+: g) a -> m

toNonEmpty :: (f :+: g) a -> NonEmpty a

maximum :: Ord a => (f :+: g) a -> a

minimum :: Ord a => (f :+: g) a -> a

head :: (f :+: g) a -> a

last :: (f :+: g) a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> (f :+: g) a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> (f :+: g) a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> (f :+: g) a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> (f :+: g) a -> b

(Foldable1 f, Foldable1 g) => Foldable1 (Compose f g)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => Compose f g m -> m

foldMap1 :: Semigroup m => (a -> m) -> Compose f g a -> m

foldMap1' :: Semigroup m => (a -> m) -> Compose f g a -> m

toNonEmpty :: Compose f g a -> NonEmpty a

maximum :: Ord a => Compose f g a -> a

minimum :: Ord a => Compose f g a -> a

head :: Compose f g a -> a

last :: Compose f g a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Compose f g a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Compose f g a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Compose f g a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Compose f g a -> b

(Foldable1 f, Foldable1 g) => Foldable1 (f :.: g)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => (f :.: g) m -> m

foldMap1 :: Semigroup m => (a -> m) -> (f :.: g) a -> m

foldMap1' :: Semigroup m => (a -> m) -> (f :.: g) a -> m

toNonEmpty :: (f :.: g) a -> NonEmpty a

maximum :: Ord a => (f :.: g) a -> a

minimum :: Ord a => (f :.: g) a -> a

head :: (f :.: g) a -> a

last :: (f :.: g) a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> (f :.: g) a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> (f :.: g) a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> (f :.: g) a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> (f :.: g) a -> b

Foldable1 f => Foldable1 (M1 i c f)

Since: base-4.18.0.0

Defined in Data.Foldable1

Methods

fold1 :: Semigroup m => M1 i c f m -> m

foldMap1 :: Semigroup m => (a -> m) -> M1 i c f a -> m

foldMap1' :: Semigroup m => (a -> m) -> M1 i c f a -> m

toNonEmpty :: M1 i c f a -> NonEmpty a

maximum :: Ord a => M1 i c f a -> a

minimum :: Ord a => M1 i c f a -> a

head :: M1 i c f a -> a

last :: M1 i c f a -> a

foldrMap1 :: (a -> b) -> (a -> b -> b) -> M1 i c f a -> b

foldlMap1' :: (a -> b) -> (b -> a -> b) -> M1 i c f a -> b

foldlMap1 :: (a -> b) -> (b -> a -> b) -> M1 i c f a -> b

foldrMap1' :: (a -> b) -> (a -> b -> b) -> M1 i c f a -> b

foldr1 :: Foldable1 t => (a -> a -> a) -> t a -> a

Right-associative fold of a structure.

In the case of lists, foldr1, when applied to a binary operator, and a list, reduces the list using the binary operator, from right to left:

foldr1 f [x1, x2, ..., xn] == x1 `f` (x2 `f` ... (xn1 `f` xn )...)

Note that, since the head of the resulting expression is produced by an application of the operator to the first element of the list, foldr1 can produce a terminating expression from an infinite list.

For a general Foldable1 structure this should be semantically identical to,

foldr1 f = foldr1 f . toNonEmpty

Since: base-4.18.0.0

foldr1' :: Foldable1 t => (a -> a -> a) -> t a -> a

Right-associative fold of a structure, but with strict application of the operator.

Since: base-4.18.0.0

foldl1 :: Foldable1 t => (a -> a -> a) -> t a -> a

Left-associative fold of a structure.

In the case of lists, foldl1, when applied to a binary operator, and a list, reduces the list using the binary operator, from left to right:

foldl1 f [x1, x2, ..., xn] == (...((x1 `f` x2) `f`...) `f` xn

Note that to produce the outermost application of the operator the entire input list must be traversed. This means that foldl1 will diverge if given an infinite list.

Also note that if you want an efficient left-fold, you probably want to use foldl1' instead of foldl1. The reason for this is that latter does not force the "inner" results (e.g. x1 `f` x2 in the above example) before applying them to the operator (e.g. to (`f` x3)). This results in a thunk chain \(\mathcal{O}(n)\) elements long, which then must be evaluated from the outside-in.

For a general Foldable1 structure this should be semantically identical to,

foldl1 f z = foldl1 f . toNonEmpty

Since: base-4.18.0.0

foldl1' :: Foldable1 t => (a -> a -> a) -> t a -> a

Left-associative fold of a structure but with strict application of the operator.

This ensures that each step of the fold is forced to weak head normal form before being applied, avoiding the collection of thunks that would otherwise occur. This is often what you want to strictly reduce a finite list to a single, monolithic result (e.g. length).

For a general Foldable1 structure this should be semantically identical to,

foldl1' f z = foldl1 f . toNonEmpty

Since: base-4.18.0.0

intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m

Insert an m between each pair of t m.

>>> intercalate1 ", " $ "hello" :| ["how", "are", "you"]
"hello, how, are, you"

>>> intercalate1 ", " $ "hello" :| []
"hello"

>>> intercalate1 mempty $ "I" :| ["Am", "Fine", "You?"]
"IAmFineYou?"

Since: base-4.18.0.0

foldrM1 :: (Foldable1 t, Monad m) => (a -> a -> m a) -> t a -> m a

Monadic fold over the elements of a non-empty structure, associating to the right, i.e. from right to left.

Since: base-4.18.0.0

foldlM1 :: (Foldable1 t, Monad m) => (a -> a -> m a) -> t a -> m a

Monadic fold over the elements of a non-empty structure, associating to the left, i.e. from left to right.

Since: base-4.18.0.0

foldrMapM1 :: (Foldable1 t, Monad m) => (a -> m b) -> (a -> b -> m b) -> t a -> m b

Map variant of foldrM1.

Since: base-4.18.0.0

foldlMapM1 :: (Foldable1 t, Monad m) => (a -> m b) -> (b -> a -> m b) -> t a -> m b

Map variant of foldlM1.

Since: base-4.18.0.0

maximumBy :: Foldable1 t => (a -> a -> Ordering) -> t a -> a

The largest element of a non-empty structure with respect to the given comparison function.

Since: base-4.18.0.0

minimumBy :: Foldable1 t => (a -> a -> Ordering) -> t a -> a

The least element of a non-empty structure with respect to the given comparison function.

Since: base-4.18.0.0