This member is added by an implicit conversion from InRule[In, Out, A, X] to
ArrowAssoc[InRule[In, Out, A, X]] performed by method any2ArrowAssoc in scala.Predef.
defensuring(cond: (InRule[In, Out, A, X]) ⇒ Boolean, msg: ⇒ Any): InRule[In, Out, A, X]
Implicit information
This member is added by an implicit conversion from InRule[In, Out, A, X] to
Ensuring[InRule[In, Out, A, X]] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
defensuring(cond: (InRule[In, Out, A, X]) ⇒ Boolean): InRule[In, Out, A, X]
Implicit information
This member is added by an implicit conversion from InRule[In, Out, A, X] to
Ensuring[InRule[In, Out, A, X]] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
defensuring(cond: Boolean, msg: ⇒ Any): InRule[In, Out, A, X]
Implicit information
This member is added by an implicit conversion from InRule[In, Out, A, X] to
Ensuring[InRule[In, Out, A, X]] performed by method any2Ensuring in scala.Predef.
This member is added by an implicit conversion from InRule[In, Out, A, X] to
Ensuring[InRule[In, Out, A, X]] performed by method any2Ensuring in scala.Predef.
This member is added by an implicit conversion from InRule[In, Out, A, X] to
ArrowAssoc[InRule[In, Out, A, X]] performed by method any2ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from InRule[In, Out, A, X] to
ArrowAssoc[InRule[In, Out, A, X]] performed by method any2ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from InRule[In, Out, A, X] to
Ensuring[InRule[In, Out, A, X]] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead
Inherited from AnyRef
Inherited from Any
Inherited by implicit conversion any2stringadd from
InRule[In, Out, A, X] to StringAdd
Inherited by implicit conversion any2stringfmt from
InRule[In, Out, A, X] to StringFormat
Inherited by implicit conversion any2ArrowAssoc from
InRule[In, Out, A, X] to ArrowAssoc[InRule[In, Out, A, X]]
Inherited by implicit conversion any2Ensuring from
InRule[In, Out, A, X] to Ensuring[InRule[In, Out, A, X]]
A workaround for the difficulties of dealing with a contravariant 'In' parameter type...