package ezjs_timeline

  1. Overview
  2. Docs

Module Ezjs_timeline.Timeline_typesSource

Sourcetype date = {
  1. year : int;
  2. month : int option;
  3. day : int option;
  4. hour : int option;
  5. minute : int option;
  6. second : int option;
  7. millisecond : int option;
  8. display_date : string option;
}
Sourcetype text = {
  1. headline : string option;
  2. text : string option;
}
Sourcetype media = {
  1. url : string;
  2. caption : string option;
  3. credit : string option;
  4. thumbnail : string option;
  5. alt : string option;
  6. media_title : string option;
}
Sourcetype slide = {
  1. start_date : date;
  2. end_date : date option;
  3. slide_text : text option;
  4. media : media option;
  5. group : string option;
  6. slide_display_date : string option;
  7. background : Json_repr.any option;
  8. unique_id : string option;
}
Sourcetype era = {
  1. era_start : date;
  2. era_end : date;
  3. era_text : text option;
}
Sourcetype timeline = {
  1. events : slide list;
  2. title : slide option;
  3. eras : era list option;
  4. scale : string option;
}