package async_kernel

  1. Overview
  2. Docs

Module Deferred.SetSource

module Deferred := Async_kernel__.Deferred1
type ('a, 'cmp) t := ('a, 'cmp) Core.Set.t
Sourceval for_all : ('a, _) t -> f:('a -> bool Deferred.t) -> bool Deferred.t
Sourceval count : how:Monad_sequence.how -> ('a, _) t -> f:('a -> bool Deferred.t) -> int Deferred.t

how is exposed here so if f has a lot of work that can be done asynchronously, it can first be concurrently applied to elements of t and only then counted.

Sourceval sum : (module Base.Container.Summable with type t = 'sum) -> how:Monad_sequence.how -> ('a, _) t -> f:('a -> 'sum Deferred.t) -> 'sum Deferred.t

how is exposed here so if f has a lot of work that can be done asynchronously, it can first be concurrently applied to elements of t and only then summed.

Sourceval find : ('a, _) t -> f:('a -> bool Deferred.t) -> 'a option Deferred.t
Sourceval find_map : ('a, _) t -> f:('a -> 'b option Deferred.t) -> 'b option Deferred.t
Sourceval map : ('b, 'cmp) Base.Comparator.Module.t -> how:Monad_sequence.how -> ('a, _) t -> f:('a -> 'b Deferred.t) -> ('b, 'cmp) t Deferred.t
Sourceval filter_map : ('b, 'cmp) Base.Comparator.Module.t -> how:Monad_sequence.how -> ('a, _) t -> f:('a -> 'b option Deferred.t) -> ('b, 'cmp) t Deferred.t
Sourceval filter : how:Monad_sequence.how -> ('a, 'cmp) t -> f:('a -> bool Deferred.t) -> ('a, 'cmp) t Deferred.t
Sourceval fold : ('a, _) t -> init:'accum -> f:('accum -> 'a -> 'accum Deferred.t) -> 'accum Deferred.t
Sourceval fold_right : ('a, _) t -> init:'accum -> f:('a -> 'accum -> 'accum Deferred.t) -> 'accum Deferred.t
Sourceval iter : how:Monad_sequence.how -> ('a, _) t -> f:('a -> unit Deferred.t) -> unit Deferred.t