foldable

10Ciepło

1Odpowiedz

Jak mogę wyrazić foldr w kategoriach foldMap dla sekwencji wyrównanych do typu?

Gram w pobliżu z type-aligned sequences, a zwłaszcza mam problem z ich złożeniem. Składany sekwencją typu wyrównany wygląda mniej więcej tak: class FoldableTA fm where foldMapTA :: Category h =>