Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   Any

2.  final def ##: Int

   Definition Classes

   Any

3.  def &&(b: Rule[F, V, E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]

   See Rule.and

4.  final def ==(arg0: Any): Boolean

   Definition Classes

   Any

5.  def and(b: Rule[F, V, E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]

   See Rule.and

6.  def asError(error: => E)(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]

   Same as jap.fields.typeclass.Validated.asError but effectful

7.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8.  def asInvalid(invalid: => V[E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]

   Same as jap.fields.typeclass.Validated.asError but effectful

9.  def errors(implicit F: Effect[F], V: Validated[V]): F[List[E]]

   Same as jap.fields.typeclass.Validated.errors but effectful

10.  def getClass(): Class[_ <: AnyVal]

    Definition Classes

    AnyVal → Any

11.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

12.  def isInvalid(implicit F: Effect[F], V: Validated[V]): F[Boolean]

    Same as jap.fields.typeclass.Validated.isInvalid but effectful

13.  def isValid(implicit F: Effect[F], V: Validated[V]): F[Boolean]

    Same as jap.fields.typeclass.Validated.isValid but effectful

14.  def or(b: Rule[F, V, E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]

    See Rule.or

15.  def toString(): String

    Definition Classes

    Any

16.  def unless(cond: => Boolean)(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]

    Same as jap.fields.typeclass.Validated.unless but effectful

17.  def when(cond: => Boolean)(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]

    Same as jap.fields.typeclass.Validated.when but effectful

18.  def whenInvalid(f: (V[E]) => V[E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]

    Same as jap.fields.typeclass.Validated.whenValid but effectful

19.  def whenValid(b: => Rule[F, V, E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]

    Same as jap.fields.typeclass.Validated.whenValid but effectful

20.  def ||(b: Rule[F, V, E])(implicit F: Effect[F], V: Validated[V]): Rule[F, V, E]

    See Rule.or