01e8d083d5
FoldMap lists are lists represented by their foldMap function. FoldMap lists have O(1) cons, snoc and append, just like DLists, but other operations might have favorable performance characteristics as well. These wild claims are still completely unverified though.
4 lines
265 B
Text
4 lines
265 B
Text
FoldMap lists are lists represented by their foldMap function. FoldMap
|
|
lists have O(1) cons, snoc and append, just like DLists, but other
|
|
operations might have favorable performance characteristics as
|
|
well. These wild claims are still completely unverified though.
|