From 3680533354aa775f8f53c2297a0c260f8ff9acd6 Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Sat, 1 Feb 2025 22:46:21 +0100 Subject: [PATCH] Use generalized generic/specific URLs --- src/url/nettlesome.Url.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/url/nettlesome.Url.scala b/src/url/nettlesome.Url.scala index 7b27088..44d891d 100644 --- a/src/url/nettlesome.Url.scala +++ b/src/url/nettlesome.Url.scala @@ -71,7 +71,7 @@ object Url: def elementText(element: Name[HttpUrl]): Text = element.text def caseSensitivity: Case = Case.Sensitive - given HttpUrl is GenericUrl = _.show + given HttpUrl is Generalizable across Urls into Text = _.show given (Tactic[UrlError], Tactic[HostnameError]) => HttpUrl is SpecificUrl = Url.parse(_) given showable: [SchemeType <: Label] => Url[SchemeType] is Showable = url =>