[Haskell-cafe] Folding nested foldables -- Known pattern?
tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Tue Jul 12 12:36:22 UTC 2022
Does this help?
(Foldable f, Foldable g) => Foldable (Compose f g)
On Tue, Jul 12, 2022 at 07:09:47AM -0400, Ivan Perez wrote:
> TL;DR: In Copilot, we have an ad-hoc notion of a nestable data structure
> that can be folded into a list. I'm trying to rely on standard classes as
> much as possible. Is there a known class to capture the idea of folding
> nested data structures (e.g., transitive foldable?)
More information about the Haskell-Cafe