(ensuring: StringAdd[Ensuring[A]]).+(other)
(ensuring: StringAdd[Ensuring[A]]).+(other)
(ensuring: ArrowAssoc[Ensuring[A]]).->(y)
(ensuring: ArrowAssoc[Ensuring[A]]).->(y)
(ensuring: Ensuring[Ensuring[A]]).ensuring(cond, msg)
(ensuring: Ensuring[Ensuring[A]]).ensuring(cond)
(ensuring: Ensuring[Ensuring[A]]).ensuring(cond, msg)
(ensuring: Ensuring[Ensuring[A]]).ensuring(cond)
(ensuring: Ensuring[Ensuring[A]]).ensuring(cond, msg)
(ensuring: Ensuring[Ensuring[A]]).ensuring(cond)
(ensuring: Ensuring[Ensuring[A]]).ensuring(cond, msg)
(ensuring: Ensuring[Ensuring[A]]).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).
(ensuring: StringFormat[Ensuring[A]]).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).
(ensuring: StringFormat[Ensuring[A]]).formatted(fmtstr)
(ensuring: ArrowAssoc[Ensuring[A]]).→(y)
(ensuring: ArrowAssoc[Ensuring[A]]).→(y)