Module `Daypack_lib.Sched`Source

Sourcemodule Task_ = Task

Sourcemodule Sched_req_ = Sched_req

Sourcetype sched_id = int

Sourcetype task_store = Task_.task_data Task_id_map.t

Sourcetype task_store_diff = Task_.task_data Task_id_map_utils.diff

Sourcetype task_inst_store = Task_.task_inst_data Task_inst_id_map.t

Sourcetype task_inst_store_diff = Task_.task_inst_data Task_inst_id_map_utils.diff

Sourcetype task_seg_store = Task_.task_seg_size Task_seg_id_map.t

Sourcetype task_seg_store_diff = Task_.task_seg_size Task_seg_id_map_utils.diff

Sourcetype sched_req_store = Sched_req_.sched_req_data Sched_req_id_map.t

Source

type sched_req_store_diff =
  Sched_req_.sched_req_data Sched_req_id_map_utils.diff

Source

type sched_req_record_store =
  Sched_req_.sched_req_record_data Sched_req_id_map.t

Source

type sched_req_record_store_diff =
  Sched_req_.sched_req_record_data Sched_req_id_map_utils.diff

Sourcetype task_seg_place_map = Task_seg_id_set.t Int64_map.t

Source

type task_seg_place_map_diff =
  Int64_map_utils.Task_seg_id_bucketed.diff_bucketed

Sourcetype task_related_status = [

| `Uncompleted
| `Completed
| `Discarded

]

Sourcetype sched_req_status = [

| `Pending
| `Discarded
| `Recorded

]

Sourcetype store = {

task_uncompleted_store : task_store;
task_completed_store : task_store;
task_discarded_store : task_store;
task_inst_uncompleted_store : task_inst_store;
task_inst_completed_store : task_inst_store;
task_inst_discarded_store : task_inst_store;
task_seg_uncompleted_store : task_seg_store;
task_seg_completed_store : task_seg_store;
task_seg_discarded_store : task_seg_store;
user_id_to_task_ids : Int64_set.t User_id_map.t;
task_id_to_task_inst_ids : Int64_set.t Task_id_map.t;
task_inst_id_to_task_seg_ids : Int64_int64_option_set.t Task_inst_id_map.t;
sched_req_ids : Int64_set.t;
sched_req_pending_store : sched_req_store;
sched_req_discarded_store : sched_req_store;
sched_req_record_store : sched_req_record_store;
quota : int64 Task_inst_id_map.t;
task_seg_id_to_progress : Task_.progress Task_seg_id_map.t;
task_inst_id_to_progress : Task_.progress Task_inst_id_map.t;

}

Sourcetype store_diff = {

task_uncompleted_store_diff : task_store_diff;
task_completed_store_diff : task_store_diff;
task_discarded_store_diff : task_store_diff;
task_inst_uncompleted_store_diff : task_inst_store_diff;
task_inst_completed_store_diff : task_inst_store_diff;
task_inst_discarded_store_diff : task_inst_store_diff;
task_seg_uncompleted_store_diff : task_seg_store_diff;
task_seg_completed_store_diff : task_seg_store_diff;
task_seg_discarded_store_diff : task_seg_store_diff;
user_id_to_task_ids_diff : User_id_map_utils.Int64_bucketed.diff_bucketed;
task_id_to_task_inst_ids_diff : Task_id_map_utils.Int64_bucketed.diff_bucketed;
task_inst_id_to_task_seg_ids_diff : Task_inst_id_map_utils.Int64_int64_option_bucketed.diff_bucketed;
sched_req_ids_diff : Int64_set_utils.diff;
sched_req_pending_store_diff : sched_req_store_diff;
sched_req_discarded_store_diff : sched_req_store_diff;
sched_req_record_store_diff : sched_req_record_store_diff;
quota_diff : int64 Task_inst_id_map_utils.diff;
task_seg_id_to_progress_diff : Task_.progress Task_seg_id_map_utils.diff;
task_inst_id_to_progress_diff : Task_.progress Task_inst_id_map_utils.diff;

}

Sourcetype agenda = {

indexed_by_task_seg_id : (int64 * int64) Task_seg_id_map.t;
indexed_by_start : task_seg_place_map;
indexed_by_end_exc : task_seg_place_map;

}

Sourcetype agenda_diff = {

indexed_by_task_seg_id_diff : (int64 * int64) Task_seg_id_map_utils.diff;
indexed_by_start_diff : task_seg_place_map_diff;
indexed_by_end_exc_diff : task_seg_place_map_diff;

}

Sourcetype sched_data = {

store : store;
agenda : agenda;

}

Sourcetype sched_data_diff = {

store_diff : store_diff;
agenda_diff : agenda_diff;

}

Sourcetype sched = sched_id * sched_data

Sourcetype sched_diff = sched_id * sched_id * sched_data_diff

Sourceval sched_data_empty : sched_data

Sourceval empty : sched

Sourcemodule Quota : sig ... end

Sourcemodule Task : sig ... end

Sourcemodule Task_inst : sig ... end

Sourcemodule Task_seg : sig ... end

Sourcemodule Progress : sig ... end

Sourcemodule Agenda : sig ... end

Sourcemodule Sched_req : sig ... end

Sourcemodule Recur : sig ... end

Sourcemodule Overdue : sig ... end

Sourcemodule Serialize : sig ... end

Sourcemodule Deserialize : sig ... end

Sourcemodule Equal : sig ... end

Sourcemodule Diff : sig ... end

Sourcemodule To_string : sig ... end

Sourcemodule Print : sig ... end

package daypack-lib

Module Daypack_lib.SchedSource

Module `Daypack_lib.Sched`Source