Generalize over HTTP streams and refactor postable typeclass

propensive · Feb 4, 2025 · e35e511 · e35e511
1 parent 77fa5df
commit e35e511
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/src/core/anticipation+aviation-core.scala b/src/core/anticipation+aviation-core.scala
@@ -20,9 +20,9 @@ import aviation.*
 import prepositional.*
 
 package instantApi:
-  given aviationInstant: Timing.Instant is (Abstractable & Concretizable) across Instants into
+  given aviationInstant: Timing.Instant is (Abstractable & Instantiable) across Instants into
                           Long from Long =
-    new Abstractable with Concretizable:
+    new Abstractable with Instantiable:
       type Self = Timing.Instant
       type Source = Long
       type Result = Long

diff --git a/src/core/aviation.Timing.scala b/src/core/aviation.Timing.scala
@@ -33,9 +33,9 @@ object Timing:
 
   object TaiInstant:
     erased given underlying: Underlying[TaiInstant, Long] = ###
-    given generic: Timing.TaiInstant is (Abstractable & Concretizable) across Instants into
+    given generic: Timing.TaiInstant is (Abstractable & Instantiable) across Instants into
                     Long from Long =
-      new Abstractable with Concretizable:
+      new Abstractable with Instantiable:
         type Self = Timing.TaiInstant
         type Source = Long
         type Result = Long
@@ -51,9 +51,9 @@ object Timing:
     erased given underlying: Underlying[Instant, Long] = ###
     def of(millis: Long): Instant = millis
 
-    given generic: Timing.Instant is (Abstractable & Concretizable) across Instants into Long from
+    given generic: Timing.Instant is (Abstractable & Instantiable) across Instants into Long from
                     Long =
-      new Abstractable with Concretizable:
+      new Abstractable with Instantiable:
         type Self = Timing.Instant
         type Result = Long
         type Source = Long