package daypack-lib

  1. Overview
  2. Docs

Module Daypack_lib.SchedSource

Sourcemodule Task_ = Task
Sourcemodule Sched_req_ = Sched_req
Sourcetype sched_id = int
Sourcetype task_seg_place_map = Task_seg_id_set.t Int64_map.t
Sourcetype sched_req_status = [
  1. | `Pending
  2. | `Discarded
  3. | `Recorded
]
Sourcetype store = {
  1. task_uncompleted_store : task_store;
  2. task_completed_store : task_store;
  3. task_discarded_store : task_store;
  4. task_inst_uncompleted_store : task_inst_store;
  5. task_inst_completed_store : task_inst_store;
  6. task_inst_discarded_store : task_inst_store;
  7. task_seg_uncompleted_store : task_seg_store;
  8. task_seg_completed_store : task_seg_store;
  9. task_seg_discarded_store : task_seg_store;
  10. user_id_to_task_ids : Int64_set.t User_id_map.t;
  11. task_id_to_task_inst_ids : Int64_set.t Task_id_map.t;
  12. task_inst_id_to_task_seg_ids : Int64_int64_option_set.t Task_inst_id_map.t;
  13. sched_req_ids : Int64_set.t;
  14. sched_req_pending_store : sched_req_store;
  15. sched_req_discarded_store : sched_req_store;
  16. sched_req_record_store : sched_req_record_store;
  17. quota : int64 Task_inst_id_map.t;
  18. task_seg_id_to_progress : Task_.progress Task_seg_id_map.t;
  19. task_inst_id_to_progress : Task_.progress Task_inst_id_map.t;
}
Sourcetype store_diff = {
  1. task_uncompleted_store_diff : task_store_diff;
  2. task_completed_store_diff : task_store_diff;
  3. task_discarded_store_diff : task_store_diff;
  4. task_inst_uncompleted_store_diff : task_inst_store_diff;
  5. task_inst_completed_store_diff : task_inst_store_diff;
  6. task_inst_discarded_store_diff : task_inst_store_diff;
  7. task_seg_uncompleted_store_diff : task_seg_store_diff;
  8. task_seg_completed_store_diff : task_seg_store_diff;
  9. task_seg_discarded_store_diff : task_seg_store_diff;
  10. user_id_to_task_ids_diff : User_id_map_utils.Int64_bucketed.diff_bucketed;
  11. task_id_to_task_inst_ids_diff : Task_id_map_utils.Int64_bucketed.diff_bucketed;
  12. task_inst_id_to_task_seg_ids_diff : Task_inst_id_map_utils.Int64_int64_option_bucketed.diff_bucketed;
  13. sched_req_ids_diff : Int64_set_utils.diff;
  14. sched_req_pending_store_diff : sched_req_store_diff;
  15. sched_req_discarded_store_diff : sched_req_store_diff;
  16. sched_req_record_store_diff : sched_req_record_store_diff;
  17. quota_diff : int64 Task_inst_id_map_utils.diff;
  18. task_seg_id_to_progress_diff : Task_.progress Task_seg_id_map_utils.diff;
  19. task_inst_id_to_progress_diff : Task_.progress Task_inst_id_map_utils.diff;
}
Sourcetype agenda = {
  1. indexed_by_task_seg_id : (int64 * int64) Task_seg_id_map.t;
  2. indexed_by_start : task_seg_place_map;
  3. indexed_by_end_exc : task_seg_place_map;
}
Sourcetype agenda_diff = {
  1. indexed_by_task_seg_id_diff : (int64 * int64) Task_seg_id_map_utils.diff;
  2. indexed_by_start_diff : task_seg_place_map_diff;
  3. indexed_by_end_exc_diff : task_seg_place_map_diff;
}
Sourcetype sched_data = {
  1. store : store;
  2. agenda : agenda;
}
Sourcetype sched_data_diff = {
  1. store_diff : store_diff;
  2. agenda_diff : agenda_diff;
}
Sourcetype sched = sched_id * sched_data
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