InRule

class InRule[In, +Out, +A, +X](rule: Rule[In, Out, A, X])

A workaround for the difficulties of dealing with a contravariant 'In' parameter type...

A workaround for the difficulties of dealing with a contravariant 'In' parameter type...

class Object
trait Matchable
class Any

Value members

Concrete methods

def &: Rule[In, In, A, X]

Creates a rule that succeeds if the original rule succeeds, but returns the original input.

Creates a rule that succeeds if the original rule succeeds, but returns the original input.

def mapRule[Out2, B, Y](f: Result[Out, A, X] => In => Result[Out2, B, Y]): Rule[In, Out2, B, Y]
def unary_!: Rule[In, In, Unit, Nothing]

Creates a rule that succeeds only if the original rule would fail on the given context.

Creates a rule that succeeds only if the original rule would fail on the given context.