package git

You can search for identifiers within the package.

in-package search v0.2.0

git
- Git
  - BASE
  - Blob
    
    Make
    
    Hash
    
    S
  - Commit
    
    Make
    
    Hash
    
    S
  - Cstruct_append
  - DIGEST
  - HASH
  - Hash
    
    Make
    
    Digestif
  - Mem
    
    Make
    
    Digestif
    
    Hash
    
    Ref
    
    Reference
    
    Value
    
    Blob
    
    Commit
    
    Tag
    
    Tree
    
    Store
    
    Hash
    
    Ref
    
    Reference
    
    Value
    
    Blob
    
    Commit
    
    Tag
    
    Tree
    
    Sync
    
    Store
    
    Hash
    
    Ref
    
    Reference
    
    Value
    
    Blob
    
    Commit
    
    Tag
    
    Tree
  - Object_graph
    
    Make
    
    Hash
    
    Store
    
    Hash
    
    Ref
    
    Reference
    
    Value
    
    Blob
    
    Commit
    
    Tag
    
    Tree
    
    S
  - Reference
    
    Packed
    
    S
  - S
    
    Hash
    
    Ref
    
    Reference
    
    Value
    
    Blob
    
    Commit
    
    Tag
    
    Tree
  - Search
    
    Make
    
    Hash
    
    Store
    
    Hash
    
    Ref
    
    Reference
    
    Value
    
    Blob
    
    Commit
    
    Tag
    
    Tree
  - Shallow
  - Store
    
    Make
    
    Digestif
    
    Hash
    
    Mj
    
    Mn
    
    Ref
    
    Reference
    
    Rs
    
    Value
    
    Blob
    
    Commit
    
    Tag
    
    Tree
    
    Mj
    
    Rs
  - Sync
    
    Make
    
    Digestif
    
    Index
    
    Pack
    
    Store
    
    Hash
    
    Ref
    
    Reference
    
    Value
    
    Blob
    
    Commit
    
    Tag
    
    Tree
    
    S
  - Tag
    
    Make
    
    Hash
    
    S
  - Traverse_bfs
    
    Make
    
    Store
    
    Hash
    
    Value
    
    Blob
    
    Commit
    
    Tag
    
    Tree
    
    STORE
    
    Hash
    
    Value
    
    Blob
    
    Commit
    
    Tag
    
    Tree
  - Tree
    
    Make
    
    Hash
    
    S
  - User
  - Value
    
    Make
    
    Blob
    
    Commit
    
    Hash
    
    Tag
    
    Tree
    
    S
    
    Blob
    
    Commit
    
    Tag
    
    Tree
git.loose
- Loose
  - Make
    
    Uid
  - UID
git.loose-git
- Loose_git
  - IO
  - Make
    
    IO
    
    Scheduler
    
    Store
    
    Uid
  - STORE
git.loose-lwt
- Loose_lwt
  - Make
    
    Uid
git.nss
- Nss
  - Fetch
    
    Make
    
    Flow
    
    IO
    
    Ref
    
    Scheduler
    
    Uid
  - Push
    
    Make
    
    Flow
    
    IO
    
    Ref
    
    Scheduler
    
    Uid
git.nss.git
- Smart_git
  - APPEND
  - Endpoint
  - HTTP
  - Make
    
    Index
    
    Pack
    
    Ref
    
    Scheduler
    
    Uid
  - UID
git.nss.hkt
- Hkt
  - Make_sched
    
    T
  - Make_store
    
    T
git.nss.neg
- Neg
git.nss.pck
- Pck
git.nss.pkt-line
- Pkt_line
  - Decoder
  - Encoder
git.nss.sigs
- Sigs
  - FLOW
  - IO
  - REF
  - SCHED
  - STORE
  - UID
git.nss.smart
- Smart
  - Advertised_refs
  - Capability
  - Commands
  - Context
  - Negotiation
  - Proto_request
  - Result
  - Shallow
  - Status
  - Want
git.nss.smart-flow
- Smart_flow
git.nss.unixiz
- Unixiz
  - Make
    
    Flow

Legend:
Library
Module
Module type
Parameter
Class
Class type

Negotiation engine used to fetch objects from a Git repository.

This implementation does not have any Git logics or how to store properly a Git object. However, it implements the negotiation engine used to fetch objects from a Git repository.

Finally, it needs fews primitives to properly receive Git objects from the state of a local Git repository:

exists which tells to us if an object exists or not.
parents to get parents of a commit.
deref to de-reference a given reference.
locals to get locals references of the Git repository.

The user must give to us a light store which is able to keep some mutable values used by the negotiation engine.

find_common talks directly to the remote Git repository.

type configuration = {

stateless : bool;
mutable multi_ack : [ `None | `Some | `Detailed ];
no_done : bool;

}

type 'uid hex = {

to_hex : 'uid -> string;
of_hex : string -> 'uid;
compare : 'uid -> 'uid -> int;

}

type 'uid negotiator

val make : compare:('uid -> 'uid -> int) -> 'uid negotiator

val find_common : 
  's Sigs.scheduler ->
  ('flow, 'error, 's) Sigs.flow ->
  'flow ->
  configuration ->
  'uid hex ->
  ('uid, 'ref, 'uid * int Stdlib.ref * int64, 'g, 's) Sigs.access ->
  ('uid, 'uid * int Stdlib.ref * int64, 'g) Sigs.store ->
  'uid negotiator ->
  Smart.Context.t ->
  ?deepen:[ `Depth of int | `Timestamp of int64 ] ->
  'uid list ->
  ([ `Continue of int | `Close ], 's) Sigs.io

val tips : 
  's Sigs.scheduler ->
  ('uid, 'ref, 'uid * int Stdlib.ref * int64, 'g, 's) Sigs.access ->
  ('uid, 'uid * int Stdlib.ref * int64, 'g) Sigs.store ->
  'uid negotiator ->
  (unit, 's) Sigs.io