Skip to content

Remove fold1 from Foldable1 #125

@kl0tl

Description

@kl0tl

Foldable has no fold member and Data.Foldable defines fold = foldMap identity but Foldable1 has a fold1 member and Data.Semigroup.Foldable defines fold1Default = foldMap1 identity. Since the addition of foldr1 and foldl1 is already a breaking change, should we also remove fold1 from Foldable1 and rename fold1Default to fold1 for consistency?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions