links 0.9 · OCaml Package

Parameters

module ContEval : 
  Value.CONTINUATION_EVALUATOR
    with type v = Value.t
     and type result = Proc.Proc.thread_result Lwt.t
     and type 'v t := 'v Value.Continuation.t
     and type 'v resumption := 'v Value.Continuation.resumption

module Webs : Webserver_types.WEBSERVER

Signature

type v = Value.t

type result = Proc.Proc.thread_result Lwt.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

val value : Value.t Value.Env.t -> Ir.value -> Value.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 resume : 
  Value.t Value.Env.t ->
  continuation ->
  Value.resumption ->
  K.Eval.v 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 computation : 
  Value.t Value.Env.t ->
  continuation ->
  Ir.computation ->
  result

val tail_computation : 
  Value.t Value.Env.t ->
  continuation ->
  Ir.tail_computation ->
  result

val special : Value.t Value.Env.t -> continuation -> Ir.special -> result

val finish : Value.env -> Value.t -> Proc.Proc.thread_result Lwt.t

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

package links

Parameters

Signature