From 1287fa42c0c7beb098f62925e7542fe2b16e2821 Mon Sep 17 00:00:00 2001 From: c-cube Date: Wed, 7 Jun 2023 03:00:30 +0000 Subject: [PATCH] deploy: 64eb7737e3c0814ec46c4d4e47dd46c3f9855d00 --- .../CCPool/Make/{argument-1-_ => argument-1-P}/index.html | 2 +- dev/containers-thread/CCPool/Make/index.html | 2 +- dev/containers-thread/CCPool/index.html | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) rename dev/containers-thread/CCPool/Make/{argument-1-_ => argument-1-P}/index.html (76%) diff --git a/dev/containers-thread/CCPool/Make/argument-1-_/index.html b/dev/containers-thread/CCPool/Make/argument-1-P/index.html similarity index 76% rename from dev/containers-thread/CCPool/Make/argument-1-_/index.html rename to dev/containers-thread/CCPool/Make/argument-1-P/index.html index 0c3ff03d..85133154 100644 --- a/dev/containers-thread/CCPool/Make/argument-1-_/index.html +++ b/dev/containers-thread/CCPool/Make/argument-1-P/index.html @@ -1,2 +1,2 @@ -_ (containers-thread.CCPool.Make._)

Parameter Make._

val max_size : int

Maximum number of threads in the pool.

\ No newline at end of file +P (containers-thread.CCPool.Make.P)

Parameter Make.P

val max_size : int

Maximum number of threads in the pool.

\ No newline at end of file diff --git a/dev/containers-thread/CCPool/Make/index.html b/dev/containers-thread/CCPool/Make/index.html index 245e6712..5c4b2471 100644 --- a/dev/containers-thread/CCPool/Make/index.html +++ b/dev/containers-thread/CCPool/Make/index.html @@ -1,2 +1,2 @@ -Make (containers-thread.CCPool.Make)

Module CCPool.Make

Create a new Pool

Parameters

module _ : PARAM

Signature

val run : (unit -> _) -> unit

run f schedules f for being executed in the thread pool.

val run1 : ('a -> _) -> 'a -> unit

run1 f x is similar to run (fun () -> f x).

val run2 : ('a -> 'b -> _) -> 'a -> 'b -> unit
val run3 : ('a -> 'b -> 'c -> _) -> 'a -> 'b -> 'c -> unit
val set_exn_handler : (exn -> unit) -> unit
val active : unit -> bool

active () is true as long as stop() has not been called yet.

val stop : unit -> unit

After calling stop (), most functions will raise Stopped. This has the effect of preventing new tasks from being executed.

module Fut : sig ... end
\ No newline at end of file +Make (containers-thread.CCPool.Make)

Module CCPool.Make

Create a new Pool

Parameters

module P : PARAM

Signature

val run : (unit -> _) -> unit

run f schedules f for being executed in the thread pool.

val run1 : ('a -> _) -> 'a -> unit

run1 f x is similar to run (fun () -> f x).

val run2 : ('a -> 'b -> _) -> 'a -> 'b -> unit
val run3 : ('a -> 'b -> 'c -> _) -> 'a -> 'b -> 'c -> unit
val set_exn_handler : (exn -> unit) -> unit
val active : unit -> bool

active () is true as long as stop() has not been called yet.

val stop : unit -> unit

After calling stop (), most functions will raise Stopped. This has the effect of preventing new tasks from being executed.

module Fut : sig ... end
\ No newline at end of file diff --git a/dev/containers-thread/CCPool/index.html b/dev/containers-thread/CCPool/index.html index df322f3d..f6276207 100644 --- a/dev/containers-thread/CCPool/index.html +++ b/dev/containers-thread/CCPool/index.html @@ -1,2 +1,2 @@ -CCPool (containers-thread.CCPool)

Module CCPool

Thread Pool, and Futures

Renamed and heavily updated from CCFuture.

type +'a state =
  1. | Done of 'a
  2. | Waiting
  3. | Failed of exn
module type PARAM = sig ... end
exception Stopped
module Make (_ : PARAM) : sig ... end
\ No newline at end of file +CCPool (containers-thread.CCPool)

Module CCPool

Thread Pool, and Futures

Renamed and heavily updated from CCFuture.

type +'a state =
  1. | Done of 'a
  2. | Waiting
  3. | Failed of exn
module type PARAM = sig ... end
exception Stopped
module Make (P : PARAM) : sig ... end
\ No newline at end of file