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

ShownDef

dotty.tools.dotc.printing.Formatting$.ShownDef$

opaque object ShownDef

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Self type: ShownDef.type

Members list

Concise view

Type members

Classlikes

Attributes

Companion:: object
Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: object given_Show_ApproxState.type
object given_Show_FlagSet.type
object given_Show_ParamInfo.type
object ShowAny.type

Attributes

Companion:: class
Graph
Supertypes: class ShowImplicits1
class ShowImplicits2
class ShowImplicits3
class Object
trait Matchable
class Any
Self type: Show.type

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

Attributes

Graph
Supertypes: class Show[Any]
class Object
trait Matchable
class Any
Self type: ShowAny.type

Attributes

Graph
Supertypes: class ShowImplicits2
class ShowImplicits3
class Object
trait Matchable
class Any
Known subtypes: object Show.type

Attributes

Graph
Supertypes: class ShowImplicits3
class Object
trait Matchable
class Any
Known subtypes: class ShowImplicits1
object Show.type

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: class ShowImplicits2
class ShowImplicits1
object Show.type

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Self type: Shown.type

Types

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.

Attributes

Generated with