links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Proc . Proc
type thread_result = Value.env * Value.t
type thread = unit -> thread_result Lwt.t
val debug_process_status : unit -> unit
val get_current_pid : unit -> ProcessTypes.process_id
val create_process : bool -> thread -> ProcessTypes.process_id Lwt.t
val create_spawnwait_process : ProcessTypes.process_id -> thread -> ProcessTypes.process_id Lwt.t
val get_spawnwait_result : ProcessTypes.process_id -> Value.t option
val get_and_mark_pending_processes : ProcessTypes.client_id -> (ProcessTypes.process_id * Value.t) list
val resolve_external_processes : Value.t -> unit
val awaken : ProcessTypes.process_id -> unit
val finish : (Value.env * Value.t) -> thread_result Lwt.t
val yield : thread -> thread_result Lwt.t
val block : thread -> thread_result Lwt.t
val atomically : thread -> Value.t Lwt.t
val singlethreaded : unit -> bool
val start : ( unit -> 'a Lwt.t ) -> 'a
val run : ( unit -> 'a Lwt.t ) -> 'a Lwt.t