Fields/jap.fields.syntax/RuleValidationOps

RuleValidationOps

final class RuleValidationOps[F[_], V[_], E](rule: Rule[F, V, E]) extends AnyVal
Source:
RuleSyntax.scala
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def &&(b: Rule[F, V, E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]
def and(b: Rule[F, V, E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]
def asError(error: => E)(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]
def asInvalid(invalid: => V[E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]
def errors(implicit F: Effect[F], E: HasErrors[V]): F[List[E]]
def isInvalid(implicit F: Effect[F], V: Validated[V]): F[Boolean]
def isValid(implicit F: Effect[F], V: Validated[V]): F[Boolean]
def or(b: Rule[F, V, E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]
def unless(cond: => Boolean)(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]
def when(cond: => Boolean)(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]
def whenInvalid(f: V[E] => V[E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]
def whenValid(b: => Rule[F, V, E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]
def ||(b: Rule[F, V, E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]