package daypack-lib

  1. Overview
  2. Docs
package daypack-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Task_ = Task
module Sched_req_ = Sched_req
type sched_id = int
type task_store = Task_.task_data Task_id_map.t
type task_seg_place_map = Task_seg_id_set.t Int64_map.t
type sched_req_status = [
  1. | `Pending
  2. | `Discarded
  3. | `Recorded
]
type 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;
}
type 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;
}
type 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;
}
type 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;
}
type sched_data = {
  1. store : store;
  2. agenda : agenda;
}
type sched_data_diff = {
  1. store_diff : store_diff;
  2. agenda_diff : agenda_diff;
}
type sched = sched_id * sched_data
type sched_diff = sched_id * sched_id * sched_data_diff
val sched_data_empty : sched_data
val empty : sched
module Quota : sig ... end
module Task : sig ... end
module Task_inst : sig ... end
module Task_seg : sig ... end
module Progress : sig ... end
module Agenda : sig ... end
module Sched_req : sig ... end
module Recur : sig ... end
module Overdue : sig ... end
module Serialize : sig ... end
module Deserialize : sig ... end
module Equal : sig ... end
module Diff : sig ... end
module To_string : sig ... end
module Print : sig ... end