Prologue.Data.Foldable

Documentation

type family Foldables (lst :: [* -> *]) :: Constraint where ...

Equations

Foldables '[] = ()

Foldables (t ': ts) = (Foldable t, Foldables ts)

sequence_ :: (Foldable t, Applicative f) => t (f a) -> f ()

bisequence_ :: (Bifoldable t, Applicative f) => t (f a) (f b) -> f ()

traverse2_ :: (Applicative m, Foldables '[t1, t2]) => (a -> m b) -> t1 (t2 a) -> m ()

traverse3_ :: (Applicative m, Foldables '[t1, t2, t3]) => (a -> m b) -> t1 (t2 (t3 a)) -> m ()

traverse4_ :: (Applicative m, Foldables '[t1, t2, t3, t4]) => (a -> m b) -> t1 (t2 (t3 (t4 a))) -> m ()

traverse5_ :: (Applicative m, Foldables '[t1, t2, t3, t4, t5]) => (a -> m b) -> t1 (t2 (t3 (t4 (t5 a)))) -> m ()

unsafeMinimum :: Ord a => [a] -> a

unsafeMaximum :: Ord a => [a] -> a

minimum :: MonadPlus m => Ord a => [a] -> m a

maximum :: MonadPlus m => Ord a => [a] -> m a

minimumDef :: Ord a => a -> [a] -> a

maximumDef :: Ord a => a -> [a] -> a

mapM_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()

bimapM_ :: (Bifoldable t, Applicative f) => (a -> f c) -> (b -> f d) -> t a b -> f ()

forM_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()

Deprecated: Use for_ instead