links

The Links Programming Language
IN THIS PACKAGE

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 -> 'r0
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) -> 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 : Value.env -> Ir.program -> Value.env * Value.t