class
InRule[In, +Out, +A, +X] extends AnyRef
Instance Constructors
-
new
InRule(rule: Rule[In, Out, A, X])
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
&: Rule[In, In, A, X]
-
def
+(other: String): String
-
def
->[B](y: B): (InRule[In, Out, A, X], B)
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
ensuring(cond: (InRule[In, Out, A, X]) ⇒ Boolean, msg: ⇒ Any): InRule[In, Out, A, X]
-
def
ensuring(cond: (InRule[In, Out, A, X]) ⇒ Boolean): InRule[In, Out, A, X]
-
def
ensuring(cond: Boolean, msg: ⇒ Any): InRule[In, Out, A, X]
-
def
ensuring(cond: Boolean): InRule[In, Out, A, X]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
mapRule[Out2, B, Y](f: (Result[Out, A, X]) ⇒ (In) ⇒ Result[Out2, B, Y]): Rule[In, Out2, B, Y]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
unary_!: Rule[In, In, Unit, Nothing]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
→[B](y: B): (InRule[In, Out, A, X], B)
Inherited from Any
Inherited by implicit conversion StringAdd from
InRule[In, Out, A, X] to StringAdd[InRule[In, Out, A, X]]
Inherited by implicit conversion StringFormat from
InRule[In, Out, A, X] to StringFormat[InRule[In, Out, A, X]]
Inherited by implicit conversion Ensuring from
InRule[In, Out, A, X] to Ensuring[InRule[In, Out, A, X]]
Inherited by implicit conversion ArrowAssoc from
InRule[In, Out, A, X] to ArrowAssoc[InRule[In, Out, A, X]]
A workaround for the difficulties of dealing with a contravariant 'In' parameter type...