Apply the body of this function to the argument.
Apply the body of this function to the argument.
the result of function application.
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.
the result type of function g
a function R => A
a new function f such that f(x) == g(apply(x))
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.
the type to which function g can be applied
a function A => T1
a new function f such that f(x) == apply(g(x))
(<:<: any2stringadd[<:<[From, To]]).+(other)
(<:<: any2stringadd[<:<[From, To]]).+(other)
(<:<: ArrowAssoc[<:<[From, To]]).->(y)
(<:<: ArrowAssoc[<:<[From, To]]).->(y)
(<:<: Ensuring[<:<[From, To]]).ensuring(cond, msg)
(<:<: Ensuring[<:<[From, To]]).ensuring(cond)
(<:<: Ensuring[<:<[From, To]]).ensuring(cond, msg)
(<:<: Ensuring[<:<[From, To]]).ensuring(cond)
(<:<: Ensuring[<:<[From, To]]).ensuring(cond, msg)
(<:<: Ensuring[<:<[From, To]]).ensuring(cond)
(<:<: Ensuring[<:<[From, To]]).ensuring(cond, msg)
(<:<: Ensuring[<:<[From, To]]).ensuring(cond)
Returns string formatted according to given format string.
Returns string formatted according to given format string.
Format strings are as for String.format
(@see java.lang.String.format).
(<:<: StringFormat[<:<[From, To]]).formatted(fmtstr)
Returns string formatted according to given format string.
Returns string formatted according to given format string.
Format strings are as for String.format
(@see java.lang.String.format).
(<:<: StringFormat[<:<[From, To]]).formatted(fmtstr)
(<:<: ArrowAssoc[<:<[From, To]]).→(y)
(<:<: ArrowAssoc[<:<[From, To]]).→(y)
An instance of
A <:< Bwitnesses thatAis a subtype ofB. Requiring an implicit argument of the typeA <:< Bencodes the generalized constraintA <: B.we need a new type constructor
<:<and evidenceconforms, as reusingFunction1andidentityleads to ambiguities in case of type errors (any2stringaddis inferred)To constrain any abstract type T that's in scope in a method's argument list (not just the method's own type parameters) simply add an implicit argument of type
T <:< U, whereUis the required upper bound; or for lower-bounds, use:L <:< T, whereLis the required lower bound.In part contributed by Jason Zaugg.