package obatcher

You can search for identifiers within the package.

in-package search v0.2.0

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

Module type `Obatcher.Service_Poly`Source

Sourcetype 'a t

t represents the underlying service that processes and handles batches of operations as input. Only a single batch is active at any time

Sourcetype cfg

cfg represents config variables that you want to expose to users.

Sourcetype ('a, 'b) op

'a op represents an single operation on t with the return type 'a.

Sourcetype 'a wrapped_op =

| Mk : ('a, 'b) op * 'b Picos.Computation.t -> 'a wrapped_op
(*
wrapped_op binds the operation on the service with it's corresponding suspended continuation to run after its completion.
*)

Sourceval init : ?cfg:cfg -> unit -> 'a t

init () returns a new instance of the service.

Sourceval run : 'a t -> 'a wrapped_op array -> unit

run t ops when called on service t, processes all the operations in ops, possibly using parallelism to complete the batch.