foldr1 package:text

O(n) A variant of foldr that has no starting value argument, and thus must be applied to a non-empty Text.
foldr1 is a variant of foldr that has no starting value argument, and thus must be applied to non-empty streams. Properties
foldr1 f . stream = foldr1 f