Closed Ptival closed 6 months ago
One weird thing is that I defined partition in terms of foldFromWith, so it cannot live in List and has to be in Iter.
partition
foldFromWith
List
Iter
Not sure whether that's preferable to putting these functions in List module but writing our own manual folds for lists.
One weird thing is that I defined
partition
in terms offoldFromWith
, so it cannot live inList
and has to be inIter
.Not sure whether that's preferable to putting these functions in
List
module but writing our own manual folds for lists.