package links

  1. Overview
  2. Docs

Parameters

Signature

type v = Value.t
type continuation = Value.continuation
type resumption = Value.resumption
module K : sig ... end
val error : string -> 'a
val eval_error : ('r, unit, string, 'a) format4 -> 'r
val type_error : action:string -> string -> Value.t -> 'a
val db_connect : Value.t -> Value.database * string
val lookup_fun_def : Var.var -> [> `ClientFunction of string | `FunctionPtr of Var.var * 'a option ] option
val find_fun_def : Var.var -> [> `ClientFunction of string | `FunctionPtr of Var.var * 'a option ]
val lookup_var : Var.var -> Value.t Value.Env.t -> Value.t
val serialize_call_to_client : RequestData.request_data -> (continuation * string * Value.t list) -> Json.json_string
val client_call : RequestData.request_data -> string -> Value.continuation -> Value.t list -> result
val handle_session_exception : Value.env -> Ir.computation list -> unit Lwt.t

Evaluation

val apply_access_point : continuation -> Value.t Value.Env.t -> Value.spawn_location -> result
val apply : Value.t K.t -> Value.t Value.Env.t -> (Value.t * Value.t list) -> result
val apply_cont : continuation -> Value.t Value.Env.t -> Value.t -> result
val computation_yielding : Value.t Value.Env.t -> continuation -> Ir.computation -> result
val reify : resumption -> [> `Resumption of resumption ]
val eval : Value.env -> Ir.program -> result
val run_program_with_cont : Value.continuation -> Value.env -> Ir.program -> Value.env * Value.t
val run_program : Value.env -> Ir.program -> Value.env * Value.t
val run_defs : Value.env -> Ir.binding list -> Value.env

apply_cont_toplevel cont env v applies a continuation to a value and returns the result. Finishing the main thread normally comes here immediately.

val apply_cont_toplevel : continuation -> Value.t Value.Env.t -> Value.t -> Value.t
val apply_with_cont : continuation -> Value.t Value.Env.t -> (Value.t * Value.t list) -> Value.t
val apply_toplevel : Value.t Value.Env.t -> (Value.t * Value.t list) -> Value.t
val eval_toplevel : Value.env -> Ir.program -> Value.t
OCaml

Innovation. Community. Security.