Creates a rule that succeeds if the original rule succeeds, but returns the original input.
def+(other: String): String
Implicit information
This member is added by an implicit conversion from InRule[In, Out, A, X] to
StringAdd[InRule[In, Out, A, X]] performed by method StringAdd 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 ArrowAssoc 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 Ensuring 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 Ensuring 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 Ensuring 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 Ensuring in scala.Predef.
This member is added by an implicit conversion from InRule[In, Out, A, X] to
StringFormat[InRule[In, Out, A, X]] performed by method StringFormat 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 ArrowAssoc in scala.Predef.
A workaround for the difficulties of dealing with a contravariant 'In' parameter type...