Gen (rpclib.Cmdlinergen.Gen)

Parameters

type implementation =
  unit ->
  ( ( Rpc.call -> Rpc.response ) ->
    ( unit -> unit ) Cmdliner.Term.t * Cmdliner.Cmd.info )
    list

type ('a, 'b) comp = ( 'a, 'b ) Result.t

type 'a rpcfn = Rpc.call -> Rpc.response

type 'a res = unit

val description : Idl.Interface.description option Stdlib.ref

val terms : 
  ( ( Rpc.call -> Rpc.response ) ->
    ( unit -> unit ) Cmdliner.Term.t * Cmdliner.Cmd.info )
    list
    Stdlib.ref

val implement : Idl.Interface.description -> implementation

type _ fn =

| Function : 'a Idl.Param.t * 'b fn -> ( 'a -> 'b ) fn

| NoArgsFunction : 'b fn -> ( unit -> 'b ) fn

| Returning : ('a Idl.Param.t * 'b Idl.Error.t) -> ( 'a, 'b ) comp fn

val returning : 'a Idl.Param.t -> 'b Idl.Error.t -> ( 'a, 'b ) comp fn

val (@->) : 'a Idl.Param.t -> 'b fn -> ( 'a -> 'b ) fn

val noargs : 'a fn -> ( unit -> 'a ) fn

val pos : int Stdlib.ref

val term_of_param : 'a. 'a Idl.Param.t -> Rpc.t Cmdliner.Term.t

val declare_ : bool -> string -> string list -> 'a fn -> unit

val declare : string -> string list -> 'a fn -> unit

val declare_notification : string -> string list -> 'a fn -> unit