daypack-lib 0.0.6 (latest)

module Task_ = Task

module Sched_req_ = Sched_req

type sched_id = int

type task_store = Task_.task_data Task_id_map.t

type task_store_diff = Task_.task_data Task_id_map_utils.diff

type task_inst_store = Task_.task_inst_data Task_inst_id_map.t

type task_inst_store_diff = Task_.task_inst_data Task_inst_id_map_utils.diff

type task_seg_store = Task_.task_seg_size Task_seg_id_map.t

type task_seg_store_diff = Task_.task_seg_size Task_seg_id_map_utils.diff

type sched_req_store = Sched_req_.sched_req_data Sched_req_id_map.t

type sched_req_store_diff =
  Sched_req_.sched_req_data Sched_req_id_map_utils.diff

type sched_req_record_store =
  Sched_req_.sched_req_record_data Sched_req_id_map.t

type sched_req_record_store_diff =
  Sched_req_.sched_req_record_data Sched_req_id_map_utils.diff

type task_seg_place_map = Task_seg_id_set.t Int64_map.t

type task_seg_place_map_diff =
  Int64_map_utils.Task_seg_id_bucketed.diff_bucketed

type task_related_status = [

| `Uncompleted
| `Completed
| `Discarded

]

type sched_req_status = [

| `Pending
| `Discarded
| `Recorded

]

type 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;

}

type 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;

}

type 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;

}

type 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;

}

type sched_data = {

store : store;
agenda : agenda;

}

type sched_data_diff = {

store_diff : store_diff;
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

package daypack-lib