package lambda-term

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Operation on nodes
Operations on sequence
Sequence iterators

package lambda-term

lambda-term
- LTerm
- LTerm_buttons_impl
  - button
  - checkbutton
  - radio
  - radiobutton
  - radiogroup
  - t
- LTerm_color_mappings
- LTerm_containers_impl
  - abox
  - box
  - frame
  - hbox
  - modal_frame
  - t
  - vbox
- LTerm_dlist
- LTerm_draw
- LTerm_edit
  - edit
- LTerm_event
- LTerm_geom
- LTerm_history
- LTerm_inputrc
- LTerm_key
- LTerm_mouse
- LTerm_read_line
  - abstract
  - engine
  - read_keyword
  - read_line
  - read_password
  - term
- LTerm_resource_lexer
- LTerm_resources
- LTerm_running_impl
  - toplevel
- LTerm_scroll_impl
  - adjustment
  - hscrollbar
  - hslider
  - scrollable_adjustment
  - scrollbar
  - t
  - vscrollbar
  - vslider
- LTerm_style
- LTerm_text
- LTerm_toplevel_impl
  - t
  - toplevel
- LTerm_ui
- LTerm_unix
- LTerm_widget
  - adjustment
  - box
  - button
  - checkbutton
  - default_scroll_events
  - frame
  - hbox
  - hline
  - hscrollbar
  - hslider
  - label
  - modal_frame
  - radio
  - radiobutton
  - radiogroup
  - scrollable
  - scrollable_adjustment
  - scrollable_document
  - scrollable_private
  - spacing
  - t
  - vbox
  - vline
  - vscrollbar
  - vslider
- LTerm_widget_base_impl
  - t
- LTerm_widget_callbacks
- LTerm_windows

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

type 'a t

Type of a sequence holding values of type 'a

type 'a node

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

Operation on nodes

val 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

val create : unit -> 'a t

create () creates a new empty sequence

val 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

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

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

val 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