Closed Xitian9 closed 1 year ago
I'm open to feedback on the naming and argument order for cataFormatted
. I considered foldFormatted
, but thought that would be confusing since it's already an instance of Foldable
. The argument order was chosen based on what seemed most intuitive to me, but I'm open to rearranging if you think something else is better.
This introduces reformat, which allows changing the formatting directives. It also introduces cataFormatted, the catamorphism for Formatted, which allows fully general transformations.