package rpc

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t =

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