ocsigen-ppx-rpc 1.0 (latest)

module Parsetree = Ppxlib.Parsetree

module Asttypes = Ppxlib.Asttypes

module Longident = Ppxlib.Longident

module Location = Ppxlib.Location

val mkloc : 'a -> Ppxlib.Ast.location -> 'a Ppxlib.Ast.loc

val mkloc_opt : ?loc:Ppxlib.Ast_helper.loc -> 'a -> 'a Ppxlib.Ast.loc

val str : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  string ->
  Astlib.Ast_500.Parsetree.expression

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

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

val unit : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  unit ->
  Astlib.Ast_500.Parsetree.expression

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

type error =

| No_parameter
| Missing_parameter_type
| Missing_parameter_name
| Reserved_parameter of string
| Duplicated_parameter of string
| No_return_type

val print_error : loc:Location.t -> error -> 'a

val rpc_name : string -> string

val expr_tuple : ('a * string * 'b) list -> Astlib.Ast_500.Parsetree.expression

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

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

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

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

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

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

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

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

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

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

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

val raw : bool ref

val cache : bool ref

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

val extensions : Ppxlib.Extension.t list

val driver_args : (string * Arg.spec * string) list

val rules : Ppxlib.Context_free.Rule.t list

package ocsigen-ppx-rpc