Ppx_rpc (p.ocsigen-ppx-rpc.1.0.doc.ppx_rpc.Ppx

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

val str : 
  ?loc:Ppxlib_ast__Ast_helper_lite.loc ->
  ?attrs:Ppxlib_ast__Ast_helper_lite.attrs ->
  string ->
  Astlib.Ast_500.Parsetree.expression

Source

val pvar : 
  ?loc:Ppxlib_ast__Ast_helper_lite.loc ->
  string ->
  Astlib.Ast_500.Parsetree.pattern

Sourceval ident : string -> Astlib.Ast_500.Parsetree.expression

Source

val unit : 
  ?loc:Ppxlib_ast__Ast_helper_lite.loc ->
  ?attrs:Ppxlib_ast__Ast_helper_lite.attrs ->
  unit ->
  Astlib.Ast_500.Parsetree.expression

Source

val tunit : 
  ?loc:Ppxlib.Ast_helper.loc ->
  unit ->
  Astlib.Ast_500.Parsetree.core_type

Sourcetype error =

| No_parameter
| Missing_parameter_type
| Missing_parameter_name
| Reserved_parameter of string
| Duplicated_parameter of string
| 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_500.Parsetree.expression

Sourceval pat_tuple : ('a * string * 'b) list -> Astlib.Ast_500.Parsetree.pattern

Source

val typ_tuple : 
  ('a * 'b * Astlib.Ast_500.Parsetree.core_type) list ->
  Astlib.Ast_500.Parsetree.core_type

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

Source

val 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

Source

val parametrize : 
  Ppxlib.Ast.location ->
  ((Astlib.Ast_500.Asttypes.arg_label * string * 'a) list * bool) ->
  Ppxlib_ast.Ast.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val build_params : 
  Ppxlib.Ast.location ->
  ((Ppxlib.Ast.arg_label * string * 'a) list * bool) ->
  (Ppxlib.Ast.arg_label * Astlib.Ast_500.Parsetree.expression) list

Source

val apply : 
  (Astlib.Ast_500.Asttypes.arg_label * Astlib.Ast_500.Parsetree.expression)
    list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val 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

Source

val 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

Source

val 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

Source

val 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:
    ((Astlib.Ast_500.Asttypes.arg_label
      * string
      * Astlib.Ast_500.Parsetree.core_type)
       list
     * bool) ->
  Ppxlib_ast.Ast.structure_item

Sourceval raw : bool Stdlib.ref

Sourceval cache : bool Stdlib.ref

Source

val extension : 
  legacy:bool ->
  loc:Location.t ->
  path:'a ->
  string Ppxlib.Ast.loc ->
  Ppxlib_ast.Ast.expression ->
  Astlib.Ast_500.Parsetree.structure_item

Sourceval extensions : Ppxlib.Extension.t list

Sourceval driver_args : (string * Stdlib.Arg.spec * string) list

Sourceval rules : Ppxlib.Context_free.Rule.t list