scala3-compiler-bootstrapped/dotty.tools.dotc.printing/Formatting/ShownDef

ShownDef

object ShownDef
class Object
trait Matchable
class Any

Type members

Classlikes

sealed abstract class Show[-T]
Companion:
object
object Show extends ShowImplicits1
Companion:
class
object ShowAny extends Show[Any]

The base implementation, passing the argument to StringFormatter which will try to .show it.

The base implementation, passing the argument to StringFormatter which will try to .show it.

class ShowImplicits1 extends ShowImplicits2
class ShowImplicits2 extends ShowImplicits3
class ShowImplicits3
object Shown

Types

opaque type Shown

Represents a value that has been "shown" and can be consumed by StringFormatter. Not just a string because it may be a Seq that StringFormatter will intersperse with the trailing separator. Also, it's not a String | Seq[String] because then we'd need a Context to call Showable#show. We could make Context a requirement for a Show instance but then we'd have lots of instances instead of just one ShowAny instance. We could also try to make Show#show require the Context, but then that breaks the Conversion.

Represents a value that has been "shown" and can be consumed by StringFormatter. Not just a string because it may be a Seq that StringFormatter will intersperse with the trailing separator. Also, it's not a String | Seq[String] because then we'd need a Context to call Showable#show. We could make Context a requirement for a Show instance but then we'd have lots of instances instead of just one ShowAny instance. We could also try to make Show#show require the Context, but then that breaks the Conversion.