dlist-nonempty-0.1.1: Non-empty difference lists

dlist-nonempty-0.1.1: Non-empty difference lists

Difference lists are 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.

DList a         ≅ [a] -> [a]
NonEmptyDList a ≅ [a] -> NonEmpty a

For empty variant, DList, see dlist package.

Signatures

Modules