Going for an overabundance of caution right now.
Going for an overabundance of caution right now. Later these types can be a lot more precise, but right now the tags have a habit of introducing material which is not syntactically valid as scala source. When this happens it breaks the repl. It would be nice if we mandated that tag toString methods (or some other method, since it's bad practice to rely on toString for correctness) generated the VALID string representation of the type.
Reducing fully qualified noise for some common packages.
(typeStrings: StringAdd).self
(typeStrings: StringFormat).self
(typeStrings: ArrowAssoc[TypeStrings]).x
(Since version 2.10.0) Use leftOfArrow
instead
(typeStrings: Ensuring[TypeStrings]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Logic for turning a type into a String. The goal is to be able to take some arbitrary object 'x' and obtain the most precise String for which an injection of x.asInstanceOf[String] will be valid from both the JVM's and scala's perspectives.
"definition" is when you want strings like