Module `Smart`Source

Implementation of smart protocol.

This module does not have any Git logics. It provides a light implementation of the Smart protocol to be able to fetch/pull or push with a Git server.

Sourcemodule Capability : sig ... end

Capabilities module.

Sourcemodule Advertised_refs : sig ... end

Sourcemodule Proto_request : sig ... end

Sourcemodule Want : sig ... end

Sourcemodule Have : sig ... end

Sourcemodule Result : sig ... end

Sourcemodule Negotiation : sig ... end

Sourcemodule Commands : sig ... end

Sourcemodule Status : sig ... end

Sourcemodule Shallow : sig ... end

Sourcetype ('a, 'err) t =

| Read of {
1. buffer : bytes;
2. off : int;
3. len : int;
4. k : int -> ('a, 'err) t;
5. eof : unit -> ('a, 'err) t;
}
| Write of {
1. buffer : string;
2. off : int;
3. len : int;
4. k : int -> ('a, 'err) t;
}
| Return of 'a
| Error of 'err

Sourcetype error = [

| `End_of_input
| `Expected_char of char
| `Unexpected_char of char
| `Expected_string of string
| `Expected_eol
| `Expected_eol_or_space
| `Unexpected_end_of_input
| `No_enough_space
| `Assert_predicate of char -> bool
| `Invalid_advertised_ref of string
| `Invalid_shallow of string
| `Invalid_negotiation_result of string
| `Invalid_side_band of string
| `Invalid_ack of string
| `Invalid_result of string
| `Invalid_command_result of string
| `Invalid_command of string
| `Invalid_want of string
| `Invalid_have of string
| `No_enough_space
| `Unexpected_pkt_line of string
| `Unexpected_flush
| `Invalid_pkt_line of string

]

Sourceval pp_error : error Fmt.t

Sourcemodule Context : sig ... end

Sourcetype 'a send

Sourceval proto_request : Proto_request.t send

Sourceval send_want : (string, string) Want.t send

Sourceval negotiation_done : unit send

Sourceval flush : unit send

Sourceval commands : (string, string) Commands.t send

Sourceval send_pack : ?stateless:bool -> bool -> string send

Sourcetype 'a recv

Sourceval advertised_refs : (string, string) Advertised_refs.t recv

Sourceval negotiation_result : string Result.t recv

Source

val recv_pack : 
  ?push_stdout:(string -> unit) ->
  ?push_stderr:(string -> unit) ->
  bool ->
  [ `Payload of string * int * int | `End_of_transmission | `Stdout | `Stderr ]
    recv

Sourceval recv_flush : unit recv

Sourceval recv_commands : (string, string) Commands.t option recv

Sourceval send_acks : string Negotiation.t list send

Sourceval recv_ack : string Negotiation.t recv

Sourceval shallows : string Shallow.t list recv

Sourceval status : bool -> string Status.t recv

Sourceval packet : trim:bool -> string recv

Sourceval send_advertised_refs : (string, string) Advertised_refs.t send

Sourceval recv_want : (string, string) Want.t option recv

Sourceval recv_have : string Have.t recv

Sourceval bind : ('a, 'err) t -> f:('a -> ('b, 'err) t) -> ('b, 'err) t

Sourceval (let*) : ('a, 'err) t -> ('a -> ('b, 'err) t) -> ('b, 'err) t

Sourceval (>>=) : ('a, 'err) t -> ('a -> ('b, 'err) t) -> ('b, 'err) t

Source

val encode : 
  Context.t ->
  'a send ->
  'a ->
  (Context.t -> ('b, [> `Protocol of error ] as 'err) t) ->
  ('b, 'err) t

Source

val decode : 
  Context.t ->
  'a recv ->
  (Context.t -> 'a -> ('b, [> `Protocol of error ] as 'err) t) ->
  ('b, 'err) t

Sourceval send : Context.t -> 'a send -> 'a -> (unit, [> `Protocol of error ]) t

Sourceval recv : Context.t -> 'a recv -> ('a, [> `Protocol of error ]) t

Sourceval return : 'v -> ('v, 'err) t

Sourceval fail : 'err -> ('v, 'err) t

Sourceval reword_error : ('err0 -> 'err1) -> ('v, 'err0) t -> ('v, 'err1) t

Source

val error_msgf : 
  ('a, Stdlib.Format.formatter, unit, ('b, [> `Msg of string ]) t)
    Stdlib.format4 ->
  'a

package git

Module SmartSource

Module `Smart`Source