package irmin-server
A high-performance server for Irmin
Install
Dune Dependency
Authors
Maintainers
Sources
irmin-3.11.0.tbz
sha256=09996fbcc2c43e117a9bd8e9028c635e81cccb264d5e02d425ab8b06bbacdbdb
sha512=0391a6bf7b94a1edd50a3a8df9e58961739fa78d7d689d61f56bc87144483bad2ee539df595c33d9d52c29b3458da5dddf3a73b5eb85e49c4667c26d2cd46be1
doc/irmin-server.unix/Irmin_server_unix/Make_json/Command/index.html
Module Make_json.Command
Source
Source
module Tree :
Irmin_server.Tree.S
with type kinded_key = Store.Tree.kinded_key
and type concrete = Store.Tree.concrete
Tree
wraps Store.Tree
to avoid encoding/decoding trees more than needed
Used to track information about the server
Source
type context = {
conn : Conn.t;
config : Irmin.Backend.Conf.t;
repo : Store.Repo.t;
mutable watch : Store.watch option;
mutable branch_watch : Store.Backend.Branch.watch option;
}
context
is passed to every command as the first argument
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>