Generic generalizations (#110)

* Start work on propensive/anticipation#22 * Use generalized instants * More work on build, towards generalized URLs * Update submodules with generic URLs * Rename `Generalizable` to `Abstractable`; `Specializable` to `Concretizable` * Further progress abstracting over abstraction * Updates to build and submodules * Obviate `SpecificUrl` * Obviate `GenericHttpRequest` * Refactor `Postable` typeclass and make Anticipation HTTP support more generic * Clean up generic types for HTTP * Eliminate one generic HTML typeclass; one remains
propensive · Feb 4, 2025 · 3967977 · 3967977
1 parent 82d065b
commit 3967977
Show file tree

Hide file tree

Showing 30 changed files with 45 additions and 48 deletions.
diff --git a/ambience b/ambience
diff --git a/anthology b/anthology
diff --git a/anticipation b/anticipation
diff --git a/aviation b/aviation
diff --git a/build.mill b/build.mill
@@ -235,60 +235,57 @@ object anthology extends SoundnessModule {
 }
 
 object anticipation extends SoundnessModule {
+  object generic extends SoundnessSubModule {
+    def moduleDeps = Seq(prepositional.core)
+  }
+
   object text extends SoundnessSubModule {
     def moduleDeps = Seq(symbolism.core)
   }
 
   object opaque extends SoundnessSubModule {
-
-    def moduleDeps = Seq(anticipation.text)
+    def moduleDeps = Seq(text)
   }
 
   object css extends SoundnessSubModule {
-
-    def moduleDeps = Seq(anticipation.text)
+    def moduleDeps = Seq(text, generic)
   }
 
   object url extends SoundnessSubModule {
-
-    def moduleDeps = Seq(anticipation.text)
+    def moduleDeps = Seq(text, generic)
   }
 
   object html extends SoundnessSubModule {
-
-    def moduleDeps = Seq(anticipation.text)
+    def moduleDeps = Seq(text, generic)
   }
 
   object print extends SoundnessSubModule {
-
-    def moduleDeps = Seq(anticipation.text)
+    def moduleDeps = Seq(text)
   }
 
   object http extends SoundnessSubModule {
-
-    def moduleDeps = Seq(anticipation.text)
+    def moduleDeps = Seq(text, codec, generic)
   }
 
   object codec extends SoundnessSubModule {
-
-    def moduleDeps = Seq(anticipation.text)
+    def moduleDeps = Seq(text)
   }
 
   object transport extends SoundnessSubModule
 
   object color extends SoundnessSubModule
 
   object log extends SoundnessSubModule {
-
-    def moduleDeps = Seq(anticipation.text)
+    def moduleDeps = Seq(text)
   }
 
   object path extends SoundnessSubModule {
-
-    def moduleDeps = Seq(anticipation.text)
+    def moduleDeps = Seq(text, generic)
   }
 
-  object time extends SoundnessSubModule
+  object time extends SoundnessSubModule {
+    def moduleDeps = Seq(generic)
+  }
 
   object test extends ProbablyTestModule
 }

diff --git a/camouflage b/camouflage
diff --git a/cataclysm b/cataclysm
diff --git a/coaxial b/coaxial
diff --git a/diuretic b/diuretic
diff --git a/escapade b/escapade
diff --git a/galilei b/galilei
diff --git a/gesticulate b/gesticulate
diff --git a/gossamer b/gossamer
diff --git a/guillotine b/guillotine
diff --git a/hallucination b/hallucination
diff --git a/hellenism b/hellenism
diff --git a/honeycomb b/honeycomb
diff --git a/imperial b/imperial
diff --git a/jacinta b/jacinta
diff --git a/nettlesome b/nettlesome
diff --git a/octogenarian b/octogenarian
diff --git a/parasite b/parasite
diff --git a/rudiments b/rudiments
diff --git a/sedentary b/sedentary
diff --git a/serpentine b/serpentine
diff --git a/surveillance b/surveillance
diff --git a/telekinesis b/telekinesis
diff --git a/turbulence b/turbulence
diff --git a/xylophone b/xylophone
diff --git a/zeppelin b/zeppelin
+1 −1		.github/readme.md
+1 −1		doc/lines.md
+51 −30		src/core/ambience.EnvironmentVariable.scala
+18 −9		src/core/ambience.SystemProperty.scala
+16 −15		src/core/ambience.Xdg.scala
+2 −2		.github/readme.md
+1 −1		doc/lines.md
+1 −1		doc/status.md
+6 −10		src/core/diuretic.JavaIoFile.scala
+6 −3		src/core/diuretic.JavaLongInstant.scala
+7 −3		src/core/diuretic.JavaNetUrl.scala
+6 −10		src/core/diuretic.JavaNioPath.scala
+6 −3		src/core/diuretic.JavaTimeInstant.scala
+7 −3		src/core/diuretic.JavaUtilDate.scala