You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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?
The text was updated successfully, but these errors were encountered:
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
tofold 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?
The text was updated successfully, but these errors were encountered: