package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

Terminal manipulation library for OCaml

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (12)

Authors

J

Jérémie Dimino

Maintainers

Z

ZAN DoYe <zandoye+ocaml@gmail.com>

Sources

3.3.2.tar.gz

sha512=78648768644058337e22c79cf1fbb1a36472b24f11b1dc0461fc38419be6ec01b02d8d0ac45fed0bc99f91ba4c0f19d3bda113e834e064bee973b734527b9766

doc/lambda-term/LTerm_dlist/index.html

Module `LTerm_dlist`Source

Mutable sequence of elements (deprecated)

A sequence 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 transversed.

deprecated
This module should be an internal implementation detail of Lwt, and may be removed from the API at some point in the future. Use any other doubly-linked list library as an alternative.

Sourcetype 'a t

Type of a sequence holding values of type 'a

Sourcetype 'a node

Type of a node holding one value of type 'a in a sequence

Operation on nodes

Sourceval remove : 'a node -> unit

Removes a node from the sequence it is part of. It does nothing if the node has already been removed.

Operations on sequence

Sourceval create : unit -> 'a t

create () creates a new empty sequence

Sourceval add_l : 'a -> 'a t -> 'a node

add_l x s adds x to the left of the sequence s

Sequence iterators

Note: it is OK to remove a node while traversing a sequence

Sourceval iter_l : ('a -> unit) -> 'a t -> unit

iter_l f s applies f on all elements of s starting from the left

Sourceval fold_l : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'b

fold_l f s is:

  fold_l f s x = f en (... (f e2 (f e1 x)))

where e1, e2, ..., en are the elements of s

On This Page

Operation on nodes
Operations on sequence
Sequence iterators