From f2a0026c620a5f4df7c08c46ab0f8b439ef6b319 Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Thu, 7 Nov 2024 11:28:25 +0100 Subject: [PATCH] Rename `Interval` to `Period` --- src/core/{aviation.Interval.scala => aviation.Period.scala} | 2 +- src/core/aviation.Timing.scala | 4 ++-- src/core/soundness+aviation-core.scala | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) rename src/core/{aviation.Interval.scala => aviation.Period.scala} (93%) diff --git a/src/core/aviation.Interval.scala b/src/core/aviation.Period.scala similarity index 93% rename from src/core/aviation.Interval.scala rename to src/core/aviation.Period.scala index 789ee81..f056ab5 100644 --- a/src/core/aviation.Interval.scala +++ b/src/core/aviation.Period.scala @@ -16,5 +16,5 @@ package aviation -case class Interval(from: Instant, to: Instant): +case class Period(from: Instant, to: Instant): def duration: Duration = to - from diff --git a/src/core/aviation.Timing.scala b/src/core/aviation.Timing.scala index 7ffe443..753d8d8 100644 --- a/src/core/aviation.Timing.scala +++ b/src/core/aviation.Timing.scala @@ -80,7 +80,7 @@ object Timing: extension (instant: Instant) @targetName("to") - infix def ~ (that: Instant): Interval = Interval(instant, that) + infix def ~ (that: Instant): Period = Period(instant, that) def tai: TaiInstant = LeapSeconds.tai(instant) @@ -96,4 +96,4 @@ object Timing: LocalTime(date, time, timezone) extension (duration: Duration) - def from(instant: Instant): Interval = Interval(instant, Instant.plus.add(instant, duration)) + def from(instant: Instant): Period = Period(instant, Instant.plus.add(instant, duration)) diff --git a/src/core/soundness+aviation-core.scala b/src/core/soundness+aviation-core.scala index 274d55f..1088f50 100644 --- a/src/core/soundness+aviation-core.scala +++ b/src/core/soundness+aviation-core.scala @@ -1,7 +1,7 @@ package soundness export aviation.{Base24, Base60, Calendar, Clock, Clockface, DateError, Denomination, - DiurnalTimespan, FixedDuration, Horology, Interval, LeapSeconds, LocalTime, MonthName, + DiurnalTimespan, FixedDuration, Horology, Period, LeapSeconds, LocalTime, MonthName, RomanCalendar, StandardTime, TemporalTimespan, Timespan, Timestamp, TimeSystem, Timezone, TimezoneError, Timing, Tzdb, TzdbError, Weekday, YearMonth, now, today, TimeEvent, am, pm, year, month, week, day, hour, minute, second, years, months, weeks, days, hours, minutes,