package ocsigen-ppx-rpc

  1. Overview
  2. Docs
This PPX adds a syntax for RPCs for Eliom and Ocsigen Start

Install

dune-project
 Dependency

Authors

Maintainers

Sources

1.1.tar.gz
md5=314c601099e3371b776001a278209fdc
sha512=035ebb4e8b29a9b64fc04e5f060af2fe4c572f4b5d3389db11950a5dbe31c8ece709db374e2acdcb5a4192b5f363674db8494678be8d410cfd7b5d350a728d13

doc/ppx_rpc/Ppx_rpc/index.html

Module Ppx_rpcSource

module Parsetree = Ppxlib.Parsetree
module Asttypes = Ppxlib.Asttypes
module Longident = Ppxlib.Longident
module Location = Ppxlib.Location
Sourceval mkloc : 'a -> Ppxlib.Ast.location -> 'a Ppxlib.Ast.loc
Sourceval mkloc_opt : ?loc:Ppxlib.Ast_helper.loc -> 'a -> 'a Ppxlib.Ast.loc
Sourceval str : ?loc:Ppxlib_ast__Ast_helper_lite.loc -> ?attrs:Ppxlib_ast__Ast_helper_lite.attrs -> string -> Astlib.Ast_502.Parsetree.expression
Sourceval pvar : ?loc:Ppxlib_ast__Ast_helper_lite.loc -> string -> Astlib.Ast_502.Parsetree.pattern
Sourceval ident : string -> Astlib.Ast_502.Parsetree.expression
Sourceval unit : ?loc:Ppxlib_ast__Ast_helper_lite.loc -> ?attrs:Ppxlib_ast__Ast_helper_lite.attrs -> unit -> Astlib.Ast_502.Parsetree.expression
Sourceval tunit : ?loc:Ppxlib.Ast_helper.loc -> unit -> Astlib.Ast_502.Parsetree.core_type
Sourcetype error =
  1. | No_parameter
  2. | Missing_parameter_type
  3. | Missing_parameter_name
  4. | Reserved_parameter of string
  5. | Duplicated_parameter of string
  6. | No_return_type
Sourceval print_error : loc:Location.t -> error -> 'a
Sourceval rpc_name : string -> string
Sourceval expr_tuple : ('a * string * 'b) list -> Astlib.Ast_502.Parsetree.expression
Sourceval pat_tuple : ('a * string * 'b) list -> Astlib.Ast_502.Parsetree.pattern
Sourceval typ_tuple : ('a * 'b * Astlib.Ast_502.Parsetree.core_type) list -> Astlib.Ast_502.Parsetree.core_type
Sourceval extract_lwt_t : Ppxlib_ast.Ast.core_type -> Ppxlib_ast.Ast.core_type option

Extract T in the type expr T Lwt.t, return None otherwise.

Sourceval extract_lwt_t_expr : Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.core_type option

Extract T in the expression (.. : T Lwt.t), return None otherwise.

Sourceval arg_name : Ppxlib.Ast.arg_label -> Ppxlib.Ast.pattern -> string

Name of an argument. Raise an error if there is no label and pattern is not Ppat_var.

Sourceval process_param : Ppxlib.Ast.arg_label -> Ppxlib_ast.Ast.expression option -> Ppxlib_ast.Ast.pattern -> [> `Param of Ppxlib.Ast.arg_label * string * Ppxlib_ast.Ast.core_type ]
Sourceval collect_params : (Ppxlib.Ast.arg_label * string * Ppxlib_ast.Ast.core_type) list -> Ppxlib.Ast.expression -> ((Ppxlib.Ast.arg_label * string * Ppxlib_ast.Ast.core_type) list * bool) * Ppxlib_ast.Ast.core_type option
Sourceval mk_function_param : ?loc:Location.t -> ?label:Ppxlib.Ast.arg_label -> ?defexpr:Ppxlib.Ast.expression -> Ppxlib.Ast.pattern -> Ppxlib.Ast.function_param
Sourceval make_fun : Ppxlib.Ast.location -> ((Ppxlib.Ast.arg_label * string * 'a) list * bool) -> Ppxlib.Ast.expression -> Astlib.Ast_502.Parsetree.expression
Sourceval build_params : Ppxlib.Ast.location -> ((Ppxlib.Ast.arg_label * string * 'a) list * bool) -> (Ppxlib.Ast.arg_label * Astlib.Ast_502.Parsetree.expression) list
Sourceval apply : (Astlib.Ast_502.Asttypes.arg_label * Astlib.Ast_502.Parsetree.expression) list -> Astlib.Ast_502.Parsetree.expression -> Astlib.Ast_502.Parsetree.expression
Sourceval server_function : loc:Ppxlib.Ast.location -> kind:[< `Any | `Connected | `None ] -> fun_var:Ppxlib_ast.Ast.pattern -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.structure_item
Sourceval server_cacher : loc:Ppxlib.Ast.location -> kind:[< `Any | `Connected | `None ] -> cache:Ppxlib_ast.Ast.core_type option -> fun_name:string -> fun_var:Ppxlib_ast.Ast.pattern -> params:((Ppxlib.Ast.arg_label * string * 'a) list * bool) -> Ppxlib_ast.Ast.structure_item
Sourceval server_wrapper : loc:Ppxlib.Ast.location -> kind:[< `Any | `Connected | `None ] -> raw:bool -> cache:'a option -> fun_name:string -> fun_var:Ppxlib_ast.Ast.pattern -> params:((Ppxlib.Ast.arg_label * string * 'b) list * bool) -> Ppxlib_ast.Ast.structure_item
Sourceval client_wrapper : loc:Ppxlib.Ast.location -> kind:[< `Any | `Connected | `None ] -> raw:bool -> cache:'a option -> fun_name:string -> fun_var:Ppxlib_ast.Ast.pattern -> params: ((Ppxlib.Ast.arg_label * string * Astlib.Ast_502.Parsetree.core_type) list * bool) -> Ppxlib_ast.Ast.structure_item
Sourceval raw : bool Stdlib.ref
Sourceval cache : bool Stdlib.ref
Sourceval is_special_argument : Ppxlib_ast.Ast.pattern -> [> `Any | `Connected ] option
Sourceval check_myid : Ppxlib.Ast.expression -> [> `Any | `Connected | `None ] * Ppxlib.Ast.expression
Sourceval extension_impl : legacy:bool -> loc:Location.t -> path:'a -> return_typ_hint:Ppxlib_ast.Ast.core_type option -> string Ppxlib.Ast.loc -> Ppxlib.Ast.expression -> Astlib.Ast_502.Parsetree.structure_item
Sourceval return_type_of_arrow : Ppxlib.Ast.core_type -> Ppxlib.Ast.core_type
Sourceval lwt_return_type : Ppxlib.Ast.value_constraint option -> Ppxlib_ast.Ast.core_type option
Sourceval extension : legacy:bool -> loc:Location.t -> path:'a -> string Ppxlib.Ast.loc -> Ppxlib.Ast.expression -> Ppxlib.Ast.value_constraint option -> Astlib.Ast_502.Parsetree.structure_item
Sourceval vb_pattern : (Ppxlib__.Import.value_binding, string Ppxlib__.Loc.t -> Ppxlib__.Import.expression -> Ppxlib__.Import.value_constraint option -> Ppxlib__.Import.structure_item, Ppxlib__.Import.structure_item) Ppxlib__.Ast_pattern0.t
Sourceval pattern : (Ppxlib__.Import.payload, string Ppxlib__.Loc.t -> Ppxlib__.Import.expression -> Ppxlib__.Import.value_constraint option -> Ppxlib__.Import.structure_item, Ppxlib__.Import.structure_item) Ppxlib__.Ast_pattern0.t
Sourceval extensions : Ppxlib.Extension.t list
Sourceval driver_args : (string * Stdlib.Arg.spec * string) list
Sourceval rules : Ppxlib.Context_free.Rule.t list