More progress on generalizing generalizations

propensive · Feb 3, 2025 · b31e23e · b31e23e
1 parent ed5ac7c
commit b31e23e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/url/nettlesome.Url.scala b/src/url/nettlesome.Url.scala
@@ -72,7 +72,10 @@ object Url:
     def caseSensitivity: Case = Case.Sensitive
 
   given HttpUrl is Abstractable across Urls into Text = _.show
-  given (Tactic[UrlError], Tactic[HostnameError]) => HttpUrl is SpecificUrl = Url.parse(_)
+
+  given (Tactic[UrlError], Tactic[HostnameError])
+  =>    HttpUrl is Concretizable across Urls from Text =
+    Url.parse(_)
 
   given showable: [SchemeType <: Label] => Url[SchemeType] is Showable = url =>
     val auth = url.authority.lay(t"")(t"//"+_.show)