ConstraintKinds-1.1.0.0: Repackages standard type classes with the ConstraintKinds extension

Safe HaskellNone

Control.ConstraintKinds.Foldable

Documentation

class Foldable t whereSource

Associated Types

type FoldableConstraint t x :: ConstraintSource

Methods

foldr :: (FoldableConstraint t a, FoldableConstraint t b) => (a -> b -> b) -> b -> t a -> bSource

foldl :: (FoldableConstraint t a, FoldableConstraint t b) => (a -> b -> a) -> a -> t b -> aSource

foldl' :: (FoldableConstraint t a, FoldableConstraint t b) => (a -> b -> a) -> a -> t b -> aSource

foldr1 :: FoldableConstraint t a => (a -> a -> a) -> t a -> aSource

foldl1 :: FoldableConstraint t a => (a -> a -> a) -> t a -> aSource

fold :: (FoldableConstraint t m, Monoid m) => t m -> mSource

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

foldr' :: (FoldableConstraint t a, FoldableConstraint t (b -> b), FoldableConstraint t b) => (a -> b -> b) -> b -> t a -> bSource