Papa.Prelude.Semigroups.Data.List

Documentation

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

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

(++) :: Semigroup a => a -> a -> a

mappend :: Semigroup a => a -> a -> a

foldr1 :: (a -> a -> a) -> NonEmpty a -> a

foldl1 :: (a -> a -> a) -> NonEmpty a -> a

foldl1' :: (a -> a -> a) -> NonEmpty a -> a

scanr :: Foldable f => (a -> b -> b) -> b -> f a -> NonEmpty b

scanr is the right-to-left dual of scanl. Note that

head (scanr f z xs) == foldr f z xs.

scanl :: Foldable f => (b -> a -> b) -> b -> f a -> NonEmpty b

scanl is similar to foldl, but returns a stream of successive reduced values from the left:

scanl f z [x1, x2, ...] == z :| [z `f` x1, (z `f` x1) `f` x2, ...]

Note that

last (scanl f z xs) == foldl f z xs.