package lwt

You can search for identifiers within the package.

in-package search v0.2.0

lwt
- Lwt
  - Infix
    
    Let_syntax
    
    Open_on_rhs
- Lwt_condition
- Lwt_list
- Lwt_mutex
- Lwt_mvar
- Lwt_pool
- Lwt_pqueue
  - Make
    
    Ord
  - OrderedType
  - S
- Lwt_result
  - Infix
- Lwt_sequence
- Lwt_stream
  - bounded_push
- Lwt_switch
lwt.unix
- Lwt_bytes
- Lwt_config
- Lwt_engine
  - Ev_backend
  - Versioned
    
    libev_1
    
    libev_2
  - abstract
  - libev
  - poll_based
  - select
  - select_based
  - t
- Lwt_features
- Lwt_fmt
- Lwt_gc
- Lwt_io
  - BE
  - LE
  - NumberIO
  - Versioned
- Lwt_main
- Lwt_preemptive
- Lwt_process
- Lwt_sys
- Lwt_throttle
  - Make
  - S
- Lwt_timeout
- Lwt_unix

Legend:
Library
Module
Module type
Parameter
Class
Class type

Functional priority queues (deprecated).

A priority queue maintains, in the abstract sense, a set of elements in order, and supports fast lookup and removal of the first ("minimum") element. This is used in Lwt for organizing threads that are waiting for timeouts.

The priority queues in this module preserve "duplicates": elements that compare equal in their order.

deprecated
This module is an internal implementation detail of Lwt, and may be removed from the API at some point in the future. For alternatives, see, for example: Heaps by Jean-Cristophe Filliatre, containers, Batteries, or psq.

module type OrderedType = sig ... end

Signature pairing an element type with an ordering function.

module type S = sig ... end

Signature of priority queues.

module Make (Ord : OrderedType) : S with type elt = Ord.t

Generates priority queue types from ordered types.