Use Encodable in Text instead of Encoder

src/core/nettlesome.EmailAddress.scala

@@ -23,6 +23,7 @@ import denominative.*
 import spectacular.*
 import vacuous.*
 import fulminate.*
+import prepositional.*
 import contingency.*
 import anticipation.*
 import contextual.*
@@ -36,7 +37,7 @@ object EmailAddress:
   given Realm = realm"nettlesome"
 
   given (using Tactic[EmailAddressError]) => Decoder[EmailAddress] = EmailAddress.parse(_)
-  given Encoder[EmailAddress] = _.text
+  given EmailAddress is Encodable in Text = _.text
 
   def expand(context: Expr[StringContext])(using Quotes): Expr[EmailAddress] = abandonment:
     val text: Text = context.valueOrAbort.parts.head.tt

src/core/nettlesome.Nettlesome.scala

@@ -21,6 +21,7 @@ import hypotenuse.*
 import spectacular.*
 import gossamer.*
 import contingency.*
+import prepositional.*
 import fulminate.*
 import anticipation.*
 import hieroglyph.*, textMetrics.uniform
@@ -53,7 +54,7 @@ object Nettlesome:
       given Ipv4 is Showable = ip =>
         t"${ip.byte0.toString}.${ip.byte1.toString}.${ip.byte2.toString}.${ip.byte3.toString}"
 
-      given Encoder[Ipv4] as encoder = _.show
+      given Ipv4 is Encodable in Text as encodable = _.show
       given (using Tactic[IpAddressError]) => Decoder[Ipv4] as decoder = parse(_)
 
       lazy val Localhost: Ipv4 = apply(127, 0, 0, 1)
@@ -83,7 +84,7 @@ object Nettlesome:
       import MacAddressError.Reason.*
       erased given Underlying[MacAddress, Long] as underlying = ###
       given MacAddress is Showable = _.text
-      given Encoder[MacAddress] as encoder = _.text
+      given MacAddress is Encodable in Text as encodable = _.text
       given (using Tactic[MacAddressError]) => Decoder[MacAddress] as decoder = parse(_)
 
       def apply(value: Long): MacAddress = value
@@ -121,7 +122,7 @@ object Nettlesome:
     object TcpPort:
       erased given Underlying[TcpPort, Int] as underlying = ###
       given TcpPort is Showable = port => TextConversion.int.text(port.number)
-      given Encoder[TcpPort] as encoder = port => TextConversion.int.text(port.number)
+      given TcpPort is Encodable in Text as encodable = port => TextConversion.int.text(port.number)
 
       given (using Tactic[NumberError], Tactic[PortError]) => Decoder[TcpPort] as decoder =
         text => apply(Decoder.int.decode(text))
@@ -134,7 +135,7 @@ object Nettlesome:
     object UdpPort:
       erased given Underlying[UdpPort, Int] as underlying = ###
       given UdpPort is Showable = port => TextConversion.int.text(port.number)
-      given Encoder[UdpPort] as encoder = port => TextConversion.int.text(port.number)
+      given UdpPort is Encodable in Text as encodable = port => TextConversion.int.text(port.number)
 
       given (using Tactic[NumberError], Tactic[PortError]) => Decoder[UdpPort] as decoder =
         text => apply(Decoder.int.decode(text))

src/url/nettlesome.Url.scala

@@ -83,7 +83,7 @@ object Url:
       => Decoder[Url[SchemeType]] =
     parse(_)
 
-  given [SchemeType <: Label]: Encoder[Url[SchemeType]] = _.show
+  given [SchemeType <: Label] => Url[SchemeType] is Encodable in Text = _.show
 
   given [SchemeType <: Label] => Url[SchemeType] is Teletypeable as teletype =
     url => e"$Underline(${Fg(0x00bfff)}(${url.show}))"

src/url/nettlesome.UrlFragment.scala

@@ -18,7 +18,7 @@ package nettlesome
 
 import anticipation.*
 import contextual.*
-import spectacular.*
+import prepositional.*
 
 object UrlFragment:
   def apply(value: Text): UrlFragment = UrlFragment.Textual(value)
@@ -27,9 +27,9 @@ object UrlFragment:
   given Substitution[UrlFragment, Text, "x"] = UrlFragment.Textual(_)
   given Substitution[UrlFragment, Raw, "x"] = raw => UrlFragment.RawTextual(raw.text)
   given Substitution[UrlFragment, Int, "80"] = UrlFragment.Integral(_)
-  
-  given [ValueType](using encoder: Encoder[ValueType]) => Substitution[UrlFragment, ValueType, "x"] =
-    value => UrlFragment.Textual(encoder.encode(value))
+
+  given [ValueType: Encodable in Text] => Substitution[UrlFragment, ValueType, "x"] =
+    value => UrlFragment.Textual(ValueType.encode(value))
 
 enum UrlFragment:
   case Integral(value: Int)