haskell-checkers/checkers

`bifoldable` doesn't include tests for `bifoldl`

Opened this issue · 0 comments

sjakobi commented

Maybe we can relate it to bifoldr via this toEitherList function from the documented Bifoldable laws:

bifoldr f g z ≡ foldr (either f g) z . toEitherList

bifoldl f g z ≡ foldl (acc -> either (f acc) (g acc)) z . toEitherList

For reference: bifoldable was added in #62

(CC @solomon-b)