Clean.Foldable

Documentation

class Functor t => Foldable t where

Methods

fold :: Monoid m => t m -> m

Instances

Foldable []

Foldable Tree

Foldable Interleave

Foldable Id

Foldable ZipTree

Foldable ZipList

Foldable (Either a)

foldMap :: (Monoid m, Foldable t) => (a -> m) -> t a -> m

concat :: (Monoid m, Foldable t) => t m -> m

sum :: (Monoid m, Foldable t) => t m -> m

split :: (Monoid t1, Monoid t2, Foldable t) => (a -> Either t1 t2) -> t a -> (t1, t2)

partition :: (Unit f, Monoid (f a), Foldable t) => (a -> Bool) -> t a -> (f a, f a)

filter :: (Unit f, Monoid (f a), Foldable t) => (a -> Bool) -> t a -> f a

count :: (Num a1, Monoid a1, Foldable t) => t a -> a1

length :: (Num n, Monoid n) => [a] -> n

foldl :: Foldable t => (a -> a1 -> a) -> a -> t a1 -> a

foldr :: Foldable t => (a1 -> a -> a) -> a -> t a1 -> a