module type OUTPUT_MODEL =sig
..end
Lwt
, Async
) and an output
function.type ('a, 'b, 'c)
thread
For instance, if implement with Lwt
, we will have type ('a, 'b, 'c)
thread = 'a Lwt.t
, but with Pvem.DEFERRED_RESULT
: type ('a, 'b, 'c)
thread = ('a, 'b) Deferred_result.t
.
type ('a, 'b, 'c)
channel
val return : 'a -> ('a, 'b, 'c) thread
return
.val bind : ('a, 'b, 'c) thread ->
('a -> ('d, 'b, 'c) thread) ->
('d, 'b, 'c) thread
bind
.val output : ('a, 'b, 'c) channel ->
String.t -> (unit, 'e, 'f) thread