Rename Interval to Period

src/core/aviation.Interval.scala → 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

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))

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,