Index of values


A
append [Ezirmin.Rope_content]
append c c' returns a new content with c' appended to the end of c.
append [Ezirmin.Rope]
append r r' returns a new rope with r' appended to the end of r.
append [Ezirmin.Log]
append m b p c appends the message m to the log at path b in the branch b with commit message c.
append [Ezirmin.Blob_log]
append m b p e appends a log message e to the log at path p in branch b with commit message m.
at_time [Ezirmin.Log]
at_time c returns the timestamp of the latest message in the cursor c.

B
branch_of_commit [Ezirmin.Repo.Commit]
Get the branch that corresponds to a commit.

C
clone_force [Ezirmin.Repo]
clone_force b n clones the branch b naming the new branch n.
commit_of_branch [Ezirmin.Repo.Commit]
Get the commit corresponding to the head of the branch.
compare_and_update_branch [Ezirmin.Repo.Commit]
compare_and_update_branch b e u compares the head of the branch b to the commit e.
concat [Ezirmin.Rope_content]
concat sep cl returns a new content which concatenates the contents in cl separated by sep.
concat [Ezirmin.Rope]
concat s rl returns a new rope that is a concatenation of ropes from rl separated by s.
create [Ezirmin.Rope]
Create an empty rope.
create [Ezirmin.Queue]
Create a new queue.

D
dec [Ezirmin.Counter]
dec m d b p decrements the counter at path p in branch b by d.
delete [Ezirmin.Rope_content]
delete c i n deletes n atoms at position i in c.
delete [Ezirmin.Rope]
delete r i n returns a new rope with n elements deleted from position i in r.

E
empty [Ezirmin.Rope_content]
Empty content

F
flush [Ezirmin.Rope]
Flush a rope to a content representation.

G
get [Ezirmin.Rope_content]
get c i gets the element at position i in c.
get [Ezirmin.Rope]
get r i return the element at position i in r.
get_branch [Ezirmin.Repo]
get_branch repo b fetches the branch b by name.
get_branch_name [Ezirmin.Repo]
Return the branch name.
get_cursor [Ezirmin.Queue]
Return the cursor that points to the head of the queue.
get_cursor [Ezirmin.Log]
get_cursor b p fetches the cursor that points to the latest message in in the log at path p in the branch b.

I
inc [Ezirmin.Counter]
inc m d b p increments the counter at path p in branch b by d.
init [Ezirmin.Repo]
Initialize and connect to the repository in a backend specific manner.
insert [Ezirmin.Rope_content]
insert c i c' inserts the content c' at position i in c.
insert [Ezirmin.Rope]
insert r i c returns a new rope with content c inserted at position i in r.
install_listener [Ezirmin.Repo]
Create a thread that actively polls for change.
is_earlier [Ezirmin.Log]
is_earlier x y returns true if the latest message in x is older than the latest message in y.
is_empty [Ezirmin.Rope]
Returns true if the rope is empty.
is_empty [Ezirmin.Queue]
Returns true if the queue is empty.
is_later [Ezirmin.Log]
is_later x y returns true if the latest message in x is newer than the latest message in y.
iter [Ezirmin.Queue]
iter b p f applies f on each element of the queue from the front to the back of the queue.

L
length [Ezirmin.Rope_content]
Length of contents
length [Ezirmin.Rope]
Return the length of the rope.
length [Ezirmin.Queue]
Return the length of the queue.

M
make [Ezirmin.Rope]
Make a rope from the given content.
master [Ezirmin.Repo]
master repo fetches the master branch of the repository.
merge [Ezirmin.Repo]
merge w m merges branch w into m.

N
next [Ezirmin.Queue]
Get the next element in the queue.
next_exn [Ezirmin.Queue]
Get the next element in the queue.

P
pop [Ezirmin.Queue]
Pop an element from the front of the queue.
pop_exn [Ezirmin.Queue]
Pop an element from the front of the queue.
predecessors [Ezirmin.Repo.Commit]
Get the predecessors or the commit.
predecessors [Ezirmin.Repo]
Return the list of predecessors of the head of the branch.
pull [Ezirmin.Repo.Sync]
Pull updates from remote.
push [Ezirmin.Repo.Sync]
Push updates to remote.
push [Ezirmin.Queue]
push m b p e pushes element e to the back of the queue at path p in branch b with commit message m.

R
read [Ezirmin.Rope]
read b p returns the rope at path p in branch b.
read [Ezirmin.Lww_register]
read b p fetches the value of the register at path b in the branch b.
read [Ezirmin.Log]
read c n reads the next n messages in reverse chronological order at the cursor.
read [Ezirmin.Counter]
read b p reads the value of the counter at path p in branch b.
read_all [Ezirmin.Log]
read_all b p reads all the messages in the log at path p in the branch b in reverse chronological order.
read_all [Ezirmin.Blob_log]
read_all b p returns the list of messages in the log at path b in branch b.
remote_uri [Ezirmin.Repo.Sync]
Return a remote for the URI string.

S
set [Ezirmin.Rope_content]
set c i v sets the element at position i to v in c.
set [Ezirmin.Rope]
set r i v returns a new rope with element at position i updated to v in r.
split [Ezirmin.Rope_content]
split c i splits c at position i and returns a pair of contents.
split [Ezirmin.Rope]
split r i returns a pair of new ropes obtained by splitting r at position i.

T
to_list [Ezirmin.Queue]
Return a list with the elements in the queue.

U
update_branch [Ezirmin.Repo]
update_branch b s updates the head of the branch b to the head of the branch s.

W
watch [Ezirmin.Queue]
watch b p cb watches the queue at path p in branch b, and invokes the callback function if there are any updates.
watch [Ezirmin.Lww_register]
watch b p cb watches the register at path p in the branch b, where cb is the callback function.
watch [Ezirmin.Log]
watch b p cb watches the log at the path p in the branch b.
watch [Ezirmin.Counter]
watch b p cb watches the counter at the path p in the branch b.
watch [Ezirmin.Blob_log]
watch b p cb watches the log at the path p in the branch b.
write [Ezirmin.Rope]
update m b p r updates the rope at path p in branch b to r.
write [Ezirmin.Lww_register]
write b p m v updates the value of the register at path b in branch b to v with commit message m.