abstract class ValidatedNecVM[F[_], E] extends ValidationModule[F, ValidatedNecUnit, E]
Base trait for ValidationModule where jap.fields.ValidationResult is Validated[NonEmptyChain[E], Unit]
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- ValidatedNecVM
- ValidationModule
- ValidationResultSyntax
- FieldSyntax
- PolicySyntax
- MapSyntax
- IterableSyntax
- StringSyntax
- OptionSyntax
- OrderingSyntax
- EffectValidationResultSyntax
- BooleanSyntax
- ErrorSyntax
- FailSyntax
- GenericSyntax
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new ValidatedNecVM()(implicit arg0: ValidationEffect[F])
Type Members
-
type
Policy[P] = ValidationPolicy[P, F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- ValidationModule
-
type
PolicyBuilder[P] = ValidationPolicyBuilder[P, F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- ValidationModule
-
implicit final
class
PolicyOps[P] extends AnyRef
- Definition Classes
- PolicySyntax
-
type
Rule = F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
implicit
val
F: ValidationEffect[F]
- Definition Classes
- ValidationModule
-
implicit
def
Module: ValidationModule[F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- ValidationModule
-
implicit
val
VR: ValidationResult[CatsInterop.ValidatedNecUnit]
- Definition Classes
- ValidationModule
-
def
and(a: F[CatsInterop.ValidatedNecUnit[E]], b: F[CatsInterop.ValidatedNecUnit[E]]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
-
def
andAll(list: List[F[CatsInterop.ValidatedNecUnit[E]]]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
combineAll(list: List[F[CatsInterop.ValidatedNecUnit[E]]]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
-
def
ensure[P](cond: ⇒ Boolean, vr: ⇒ CatsInterop.ValidatedNecUnit[E]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
ensureF[P](cond: ⇒ F[Boolean], vr: ⇒ CatsInterop.ValidatedNecUnit[E]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
fieldAssert[P](field: Field[P], cond: (P) ⇒ Boolean, error: (Field[P]) ⇒ E): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
fieldAssertF[P](field: Field[P], cond: (P) ⇒ F[Boolean], error: (Field[P]) ⇒ E): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
fieldCheck[P](field: Field[P], f: (Field[P]) ⇒ CatsInterop.ValidatedNecUnit[E]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
fieldCheckF[P](field: Field[P], f: (Field[P]) ⇒ F[CatsInterop.ValidatedNecUnit[E]]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
fieldEnsure[P](field: Field[P], cond: (P) ⇒ Boolean, vr: (Field[P]) ⇒ CatsInterop.ValidatedNecUnit[E]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
fieldEnsureF[P](field: Field[P], cond: (P) ⇒ F[Boolean], vr: (Field[P]) ⇒ CatsInterop.ValidatedNecUnit[E]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
- Annotations
- @inline()
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
invalid(error: E): CatsInterop.ValidatedNecUnit[E]
- Definition Classes
- ValidationModule
-
def
invalidF(error: E): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
or(a: F[CatsInterop.ValidatedNecUnit[E]], b: F[CatsInterop.ValidatedNecUnit[E]]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
-
def
orAll(list: List[F[CatsInterop.ValidatedNecUnit[E]]]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
-
def
someOrValid(rule: ⇒ Option[F[CatsInterop.ValidatedNecUnit[E]]]): F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- OptionSyntax
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
implicit final
def
toBooleanFieldOps(field: Field[Boolean]): BooleanFieldOps[F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- BooleanSyntax
-
implicit final
def
toEffectValidationResultOps(a: F[CatsInterop.ValidatedNecUnit[E]]): EffectValidationResultOps[F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- EffectValidationResultSyntax
-
implicit final
def
toEffectValidationResultSequenceOps(iterable: Iterable[F[CatsInterop.ValidatedNecUnit[E]]]): EffectValidationResultSequenceOps[F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- EffectValidationResultSyntax
-
implicit final
def
toErrorFieldOps[P](field: Field[P]): ErrorFieldOps[P, F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- ErrorSyntax
-
implicit final
def
toFailFieldOps[P](field: Field[P]): FailFieldOps[P, F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- FailSyntax
-
implicit
def
toFieldFromOps(field: Field.type): FieldFromOps
- Definition Classes
- FieldSyntax
-
implicit final
def
toFieldOps[P](field: Field[P]): FieldOps[P, F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- GenericSyntax
-
implicit
def
toFieldSubOps[P](field: Field[P]): FieldSubOps[P]
- Definition Classes
- FieldSyntax
-
implicit final
def
toIterableFieldOps[I[_] <: Iterable[_], P](field: Field[I[P]]): IterableFieldOps[I, P, F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- IterableSyntax
-
implicit final
def
toMapFieldOps[K, V](field: Field[Map[K, V]]): MapFieldOps[K, V, F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- MapSyntax
-
implicit final
def
toOptionFieldOps[P](field: Field[Option[P]]): OptionFieldOps[P, F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- OptionSyntax
-
implicit final
def
toOrderingFieldOps[P](field: Field[P]): OrderingFieldOps[P, F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- OrderingSyntax
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
implicit final
def
toStringFieldOps(field: Field[String]): StringFieldOps[F, CatsInterop.ValidatedNecUnit, E]
- Definition Classes
- StringSyntax
-
implicit final
def
toVRIdOps[E](error: E): VRIdOps[E]
- Definition Classes
- ValidationResultSyntax
-
implicit final
def
toVROps[VR[_], E](vr: VR[E]): VROps[VR, E]
- Definition Classes
- ValidationResultSyntax
-
implicit final
def
toVRSequenceOps[VR[_], E](iterable: Iterable[VR[E]]): VRSequenceOps[VR, E]
- Definition Classes
- ValidationResultSyntax
-
val
valid: CatsInterop.ValidatedNecUnit[E]
- Definition Classes
- ValidationModule
-
val
validF: F[CatsInterop.ValidatedNecUnit[E]]
- Definition Classes
- ValidationModule
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()