Skip to content

Foldable instance defaults can cause CycleInDeclaration error #396

@jmatsushita

Description

@jmatsushita

I just bumped into the problem mentioned here https://stackoverflow.com/a/38490637/3237351 and the solution was also indeed to go from foldl = foldlDefault to fold f = foldlDefault f. It feels like this could be better documented in the Foldable instance. Maybe by simply giving a trivial example like the one in SO.

File this documentation issue on the foldable-traversable repo purescript/purescript-foldable-traversable#139 but thought that it would be also good to have this (probably common) case mentioned in the possible causes, or maybe as a note?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions