ConstraintKinds-1.3.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 => (a -> b -> b) -> b -> t a -> bSource

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

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

foldl' :: 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

Instances

toList :: (Foldable t, FoldableConstraint t [a], FoldableConstraint t a) => t a -> [a]Source