Added a Media trait

propensive · Jun 27, 2024 · 070354a · 070354a
1 parent 9e3f180
commit 070354a
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/core/gesticulate.scala b/src/core/gesticulate.scala
@@ -31,6 +31,8 @@ import language.dynamics
 //import language.experimental.captureChecking
 
 object Media:
+  given Text is Media = _ => MediaType(Group.Text, Subtype.Standard(t"plain"))
+
   object Group:
     given Debug[Group] = _.name
     given Group is Showable = _.name.lower
@@ -158,6 +160,10 @@ object Media:
   final private val specials: Set[Char] =
     Set('(', ')', '<', '>', '@', ',', ';', ':', '\\', '"', '/', '[', ']', '?', '=', '+')
 
+trait Media:
+  type Self
+  extension (value: Self) def mediaType: MediaType
+
 object MediaTypeError:
   enum Nature:
     case NotOneSlash, MissingParam, InvalidGroup