Type Members

1.  case class AfterWeekday(d: DayOfWeek, day: Int) extends On with Product with Serializable
2.  sealed trait At extends Product with Serializable

   Definition of timestamps

3.  case class AtStandardTime(time: LocalTime, endOfDay: Boolean) extends At with Product with Serializable
4.  case class AtUniversalTime(time: LocalTime, endOfDay: Boolean) extends At with Product with Serializable
5.  case class AtWallTime(time: LocalTime, endOfDay: Boolean) extends At with Product with Serializable
6.  case class BeforeWeekday(d: DayOfWeek, day: Int) extends On with Product with Serializable
7.  case class BlankLine(line: String) extends Product with Serializable
8.  case class Comment(comment: String) extends Product with Serializable

   Comments and blank lines

9.  case class DayOfTheMonth(i: Int) extends On with Product with Serializable
10.  case class FixedOffset(offset: GmtOffset) extends ZoneRule with Product with Serializable
11.  case class FixedZoneRulesParams(baseStandardOffset: ZoneOffset, baseWallOffset: ZoneOffset, standardOffsetTransitionList: List[ZoneOffsetTransitionParams], transitionList: List[ZoneOffsetTransitionParams], lastRules: List[ZoneOffsetTransitionRule]) extends ZoneRulesParams with Product with Serializable
12.  case class GivenYear(year: Int) extends RuleYear with Product with Serializable
13.  case class GmtOffset(h: Int, m: Int, s: Int) extends Product with Serializable

    Model for Zone entries on TZDB

14.  case class LastWeekday(d: DayOfWeek) extends On with Product with Serializable
15.  case class Letter(letter: String) extends Product with Serializable

    Model for Rule Entries

16.  case class Link(from: String, to: String) extends Product with Serializable

    Model for Link entries

17.  sealed trait On extends Product with Serializable
18.  type Row = :+:[Comment, :+:[BlankLine, :+:[Link, :+:[Rule, :+:[Zone, CNil]]]]]

    Coproduct for the content of lines on the parsed files

19.  case class Rule(name: String, from: RuleYear, to: RuleYear, month: Month, on: On, at: At, save: Save, letter: Letter) extends Product with Serializable
20.  case class RuleId(id: String) extends ZoneRule with Product with Serializable
21.  sealed trait RuleYear extends Product with Serializable
22.  case class Save(time: LocalTime) extends Product with Serializable
23.  case class StandardRulesParams(baseStandardOffset: ZoneOffset, baseWallOffset: ZoneOffset, standardOffsetTransitionList: List[ZoneOffsetTransitionParams], transitionList: List[ZoneOffsetTransitionParams], lastRules: List[ZoneOffsetTransitionRule]) extends ZoneRulesParams with Product with Serializable
24.  implicit final class ToCoproduct[A] extends AnyVal
25.  case class Until(y: Int, m: Option[Month], on: Option[On], at: Option[At]) extends Product with Serializable
26.  case class Zone(name: String, transitions: List[ZoneTransition]) extends Product with Serializable
27.  case class ZoneOffsetParams(transition: LocalDateTime, offsetBefore: ZoneOffset, offsetAfter: ZoneOffset) extends Product with Serializable
28.  case class ZoneOffsetTransitionParams(transition: LocalDateTime, offsetBefore: ZoneOffset, offsetAfter: ZoneOffset) extends Product with Serializable
29.  sealed trait ZoneRule extends Product with Serializable
30.  sealed trait ZoneRulesParams extends AnyRef
31.  case class ZoneTransition(offset: GmtOffset, ruleId: ZoneRule, format: String, until: Option[Until]) extends Product with Serializable