Class Conversion.Conversion

@FunctionalInterface

abstract class Conversion[-T, +U] extends T => U

A class for implicit values that can serve as implicit conversions. The implicit resolution algorithm will act as if there existed the additional implicit definition:

def $implicitConversion[T, U](x: T)(c: Conversion[T, U]): U = c(x)

However, the presence of this definition would slow down implicit search since its outermost type matches any pair of types. Therefore, implicit search contains a special case in Implicits#discardForView which emulates the conversion in a more efficient way.

Note that this is a SAM class - function literals are automatically converted to the Conversion values.

Also note that in bootstrapped dotty, Predef.<:< should inherit from Conversion. This would cut the number of special cases in discardForView from two to one.

The Conversion class can also be used to convert explicitly, using the convert extension method.

Supertypes	trait T => U class Object trait Matchable class Any

Abstract methods

Source

def apply(x: T): U

Convert value x of type T to type U

Inherited methods

Source

def andThen[A](g: U => A): T1 => A

Composes two instances of Function1 in a new Function1, with this function applied first.

Type parameters	A the result type of function g
Value parameters	g a function R => A
Returns	a new function f such that f(x) == g(apply(x))
Inherited from	Function1

Source

def compose[A](g: A => T): A => R

Composes two instances of Function1 in a new Function1, with this function applied last.

Type parameters	A the type to which function g can be applied
Value parameters	g a function A => T1
Returns	a new function f such that f(x) == apply(g(x))
Inherited from	Function1

Source

override def toString(): String

Returns a string representation of the object.

The default representation is platform dependent.

Returns	a string representation of the object.
Definition Classes	Function1 -> Any
Inherited from	Function1

Extensions

extension (x: T)

Source

def convert: U

x.convert converts a value x of type T to type U