package ecaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

An Returns.t states the return type of a function and whether the function returns a value of that type directly or via a Deferred.t. An (a, a) Returns.t means that the function returns a directly. An (a, a Deferred.t) Returns.t means that the function returns a via an a Deferred.t.

type (_, _) t =
  1. | Returns : 'a Ecaml_value.Value.Type.t -> ('a, 'a) t
  2. | Returns_deferred : 'a Ecaml_value.Value.Type.t -> ('a, 'a Async_kernel.Deferred.t) t
val sexp_of_t : ('a__007_ -> Sexplib0.Sexp.t) -> ('b__008_ -> Sexplib0.Sexp.t) -> ('a__007_, 'b__008_) t -> Sexplib0.Sexp.t
val return : ('a, 'b) t -> 'a -> 'b
val returns : ('a, 'b) Sync_or_async.t -> 'a Ecaml_value.Value.Type.t -> ('a, 'b) t