package lwd

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

List reduction functions
Other Lwd list functions
Miscellaneous functions

package lwd

lwd
- README
- Library lwd
  - Lwd
    
    Infix
  - Lwd_infix
  - Lwd_seq
    
    Balanced
    
    Reducer
  - Lwd_table
  - Lwd_utils
- Sources
  - lwd
    
    lwd.ml
    
    lwd_infix.ml
    
    lwd_seq.ml
    
    lwd_table.ml
    
    lwd_utils.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Lwd_utils`Source

Sourcetype 'a monoid = 'a * ('a -> 'a -> 'a)

A monoid, defined by a default element and an associative operation

Sourceval lift_monoid : 'a monoid -> 'a Lwd.t monoid

Use a monoid inside Lwd

List reduction functions

All reductions are balanced, relying on operator associativity.

fold_left would compute a chain like: fold f [a; b; c; d] = f a (f b (f c d)

reduce uses tree-shaped computations like: reduce f [a; b; c; d] = f (f a b) (f c d)

The depth of the computation grows in O(log n) where n is the length of the input sequence.

Sourceval pack : 'a monoid -> 'a Lwd.t list -> 'a Lwd.t

Reduce a list of elements in Lwd monad

Sourceval pack_seq : 'a monoid -> 'a Lwd.t Seq.t -> 'a Lwd.t

Reduce an (OCaml) Seq.t with a monoid

Sourceval reduce : 'a monoid -> 'a list -> 'a

Reduce a list with a monoid *

Sourceval map_reduce : ('a -> 'b) -> 'b monoid -> 'a list -> 'b

Map and reduce a list with a monoid *

Other Lwd list functions

Sourceval map_l : ('a -> 'b Lwd.t) -> 'a list -> 'b list Lwd.t

Sourceval flatten_l : 'a Lwd.t list -> 'a list Lwd.t

Commute Lwd and list

Miscellaneous functions

I don't know where to put these, but they are useful, especially for UI-related computations.

Sourceval mini : int -> int -> int

Minimum of two integers

Sourceval maxi : int -> int -> int

Maximum of two integers

Sourceval clampi : int -> min:int -> max:int -> int

Clamp an integer between two bounds.

Sourceval minf : float -> float -> float

Minimum of two floats

Sourceval maxf : float -> float -> float

Maximum of two floats

Sourceval clampf : float -> min:float -> max:float -> float

Clamp a float between two bounds.

package lwd

Module Lwd_utilsSource

List reduction functions

Other Lwd list functions

Miscellaneous functions

Module `Lwd_utils`Source