quill.editor
Quill_editor.Render_tree
base64
hugin
hugin_top
kaun
kaun_datasets
logs
nx
nx_datasets
nx_io
nx_top
quill.api
quill.browser
quill.server
quill.top
quill.top-js
quill.top-unix
rune
rune_top
saga
sowilo
type block_status = [
| `Idle
| `Running
]
type selection_status = [
| `None
| `Caret
| `Range_single
| `Range_start
| `Range_end
| `Range_middle
type block = {
id : int;
focused : bool;
status : block_status;
selection : selection_status;
content : Document.block_content;
}
type document = block list
type diff =
| Added of block
| Removed of block
| Updated of {
before : block;
after : block;
val of_state : State.t -> document
val diff : document -> document -> diff list