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))
(=:=: StringAdd[=:=[From, To]]).+(other)
(=:=: StringAdd[=:=[From, To]]).+(other)
(=:=: ArrowAssoc[=:=[From, To]]).->(y)
(=:=: ArrowAssoc[=:=[From, To]]).->(y)
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))
(=:=: =:=[From, To]).andThen(g)
Apply the body of this function to the argument.
Apply the body of this function to the argument.
the result of function application.
(=:=: =:=[From, To]).apply(v1)
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))
(=:=: =:=[From, To]).compose(g)
(=:=: 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)
(=:=: =:=[From, To]).toString()
(=:=: ArrowAssoc[=:=[From, To]]).→(y)
(=:=: ArrowAssoc[=:=[From, To]]).→(y)
An instance of
A =:= B
witnesses that the typesA
andB
are equal.<:<
for expressing subtyping constraints