An instance of `A Option[B]), ev can be called to turn the // A from get into an Option[B], and because ev is implicit, that call can be // left out and inserted automatically. }
@see [[=:=]] for expressing equality constraints
Attributes
- Companion
- object
- Source
- typeConstraints.scala
- Graph
-
- Supertypes
- Known subtypes
-
Members list
Value members
Abstract methods
Substitute To for From and From for To in the type F[To, From], given that F is contravariant in the first argument and covariant in the second. Essentially swaps To and From in ftf's type.
Substitute To for From and From for To in the type F[To, From], given that F is contravariant in the first argument and covariant in the second. Essentially swaps To and From in ftf's type.
Equivalent in power to each of substituteCo and substituteContra.
This method is impossible to implement without throwing or otherwise "cheating" unless From <: To, so it ensures that this really represents a subtyping relationship.
Attributes
- Returns
-
ftf, but with a (potentially) different type - Source
- typeConstraints.scala
Concrete methods
Composes two instances of Function1 in a new Function1, with this function applied first.
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
Attributes
- Returns
-
a new function
fsuch thatf(x) == g(apply(x)) - Definition Classes
- Source
- typeConstraints.scala
If From <: To and To <: C, then From <: C (subtyping is transitive).
If From <: To and To <: C, then From <: C (subtyping is transitive).
Attributes
- Source
- typeConstraints.scala
Coerce a From into a To. This is guaranteed to be the identity function.
Coerce a From into a To. This is guaranteed to be the identity function.
This method is often called implicitly as an implicit A B.
Value parameters
- f
-
some value of type
From
Attributes
- Returns
-
f, but with a (potentially) different type - Definition Classes
- Source
- typeConstraints.scala
Composes two instances of Function1 in a new Function1, with this function applied last.
Composes two instances of Function1 in a new Function1, with this function applied last.
Type parameters
- A
-
the type to which function
gcan be applied
Value parameters
- g
-
a function A => T1
Attributes
- Returns
-
a new function
fsuch thatf(x) == apply(g(x)) - Definition Classes
- Source
- typeConstraints.scala
If From <: To and C <: From, then C <: To (subtyping is transitive).
If From <: To and C <: From, then C <: To (subtyping is transitive).
Attributes
- Source
- typeConstraints.scala
Lift this evidence over a covariant type constructor F.
Lift this evidence over a contravariant type constructor F.
Substitutes the From in the type F[From], where F is a covariant type constructor, for To.
Substitutes the From in the type F[From], where F is a covariant type constructor, for To.
Equivalent in power to each of substituteBoth and substituteContra.
This method is impossible to implement without throwing or otherwise "cheating" unless From <: To, so it ensures that this really represents a subtyping relationship.
Attributes
- Returns
-
ff, but with a (potentially) different type - Source
- typeConstraints.scala
Substitutes the To in the type F[To], where F is a contravariant type constructor, for From.
Substitutes the To in the type F[To], where F is a contravariant type constructor, for From.
Equivalent in power to each of substituteBoth and substituteCo.
This method is impossible to implement without throwing or otherwise "cheating" unless From <: To, so it ensures that this really represents a subtyping relationship.
Attributes
- Returns
-
ft, but with a (potentially) different type - Source
- typeConstraints.scala
Inherited methods
Returns a string representation of the object.
Returns a string representation of the object.
The default representation is platform dependent.
Attributes
- Returns
-
a string representation of the object.
- Definition Classes
- Inherited from:
- Function1
- Source
- Function1.scala