lwt-dllist
An Lwt_dllist
is an object holding a list of elements which support
the following operations:
adding an element to the left or the right in time and space O(1)
taking an element from the left or the right in time and space O(1)
removing a previously added element from a sequence in time and space O(1)
removing an element while the sequence is being traversed.
History
This module was formerly part of the Lwt core distribution as theLwt_sequence
module, but has been pulled out into a separate library since it
is really just an implementation detail of Lwt.
You can migrate existing uses of Lwt_sequence
into Lwt_dllist
by simply
renaming the module. The implementation of the module remains unchanged, but
the name reflects the fact that the implementation is a doubly-linked list.
Further Reading
Discussion: https://discuss.ocaml.org with the MirageOS tag.
sha256=e86ce75e40f00d51514cf8b2e71e5184c4cb5dae96136be24613406cfc0dba6e
sha512=1df7e8e12e01a5d32e1db746f922e05f23a67c0d20e72a5b9126fead1e04decdb062081574b1c410c822305ef4eac990b7dd69f36673db8f50b9db2152abad80
>= "1.9.0"
= "0.6.0"
>= "3.2.0"
>= "2.1.0"
>= "3.1.0"
>= "3.7.0"
>= "1.5.0"
>= "2.1.0"
>= "2.1.0"
>= "3.1.0"