package kappa-library

  1. Overview
  2. Docs

Module Kappa_data_structures.List_utilSource

Sourceval last : 'a list -> 'a
Sourceval pop_last : 'a list -> 'a list * 'a
Sourceval cons_option : 'a option -> 'a list -> 'a list
Sourceval exists_uniq : ('a -> bool) -> 'a list -> bool
Sourceval find_option : ('a -> bool) -> 'a list -> 'a option
Sourceval rev_map_append : ('a -> 'b) -> 'a list -> 'b list -> 'b list
Sourceval map_flatten : ('a -> 'b list) -> 'a list -> 'b list
Sourceval fold_right_map : ('a -> 'b -> 'c * 'b) -> 'a list -> 'b -> 'c list * 'b
Sourceval fold_left2 : ('a -> 'b -> 'c -> 'a) -> 'a -> 'b list -> 'c list -> 'a
Sourceval rev_mapi : (int -> 'a -> 'b) -> 'a list -> 'b list
Sourceval map_option : ('a -> 'b option) -> 'a list -> 'b list
Sourceval random : Random.State.t -> 'a list -> 'a
Sourceval merge_uniq : ('a -> 'a -> int) -> 'a list -> 'a list -> 'a list

Set union of 2 sorted list When l1 is included in l2: merge_uniq l1 l2 == merge_uniq l2 l1 == l2

Sourceval smart_filter : ('a -> bool) -> 'a list -> 'a list

not tail rec but don't allocate if unecessary

Sourceval smart_map : ('a -> 'a) -> 'a list -> 'a list
Sourceval remove_suffix_after_last_occurrence : ('a -> bool) -> 'a list -> 'a list
Sourceval remove_consecutive_double : 'a list -> 'a list
Sourcemodule Infix : sig ... end