Packages

trait LogicOps[F[_], E] extends AnyRef

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LogicOps
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. implicit abstract val alg: StrictApplicativeAlgebra[F, E]

Concrete Value Members

  1. def andAll[T](left: Validator[F, T, T], right: Validator[F, T, T]*): Validator[F, T, T]

    *and* the results, if one fails, return invalid.

    *and* the results, if one fails, return invalid. Collects *all* messages if failed.

  2. def orAll[T](left: Validator[F, T, T], right: Validator[F, T, T]*): Validator[F, T, T]

    *or* the results, if one succeeds, return valid.

    *or* the results, if one succeeds, return valid. Collects *all* messages if failed.