package rpc

  1. Overview
  2. Docs
type t =
  1. | Block of t list
  2. | Line of string
val lines_of_t : t -> string list
val string_of_ts : t list -> string
val fresh_id : unit -> string
val typecheck : 'a. 'a Rpc.Types.typ -> string -> t list

typecheck ty v returns a python fragment which checks v has type ty

val value_of : 'a. 'a Rpc.Types.typ -> string
val exn_var : Rpc.Types.boxed_def -> t list
val skeleton_method : bool -> Codegen.Interface.t -> Codegen.boxed_fn -> t list
val example_stub_user : Codegen.Interface.t -> Codegen.boxed_fn -> t list
val example_skeleton_user : Codegen.Interface.t -> Codegen.boxed_fn -> t list
val test_impl_of_interface : Codegen.Interface.t -> t list
val skeleton_of_interface : Codegen.Interface.t -> t list
val server_of_interface : Codegen.Interface.t -> t list
val test_impl_of_interfaces : Codegen.Interfaces.t -> t list
val commandline_parse : 'a -> Codegen.boxed_fn -> t list
val commandline_run : 'a -> Codegen.boxed_fn -> t list
val commandline_of_interface : Codegen.Interface.t -> t list
val of_interfaces : Codegen.Interfaces.t -> t list
OCaml

Innovation. Community. Security.