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.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/g1fhfg31say16mpnl25wvjqq0zkgbj6c-ghc-dlist-0.8.0.7.drv | ||
mips64el-linux | /gnu/store/yh240igia1i8mklk4nxk1d3j3h80n0hd-ghc-dlist-0.8.0.7.drv | ||
i686-linux | /gnu/store/k9wb2r86f7zrr3mjjh1vz6dkq9i8jnc2-ghc-dlist-0.8.0.7.drv | ||
armhf-linux | /gnu/store/qis6n0402wyl0xifhh9ggvgqh71859av-ghc-dlist-0.8.0.7.drv | ||
aarch64-linux | /gnu/store/wdrjsa9cwvzrhg4wam2ca8h4g9cy099c-ghc-dlist-0.8.0.7.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |