2f9ea5d0c4
Differences lists: a list-like type supporting O(1) append. This is particularly useful for efficient logging and pretty printing, (e.g. with the Writer monad), where list append quickly becomes too expensive.
4 lines
210 B
Text
4 lines
210 B
Text
Differences lists: a list-like type supporting O(1) append. This is
|
|
particularly useful for efficient logging and pretty printing,
|
|
(e.g. with the Writer monad), where list append quickly becomes too
|
|
expensive.
|