works.iterative.forms.ValidationRule
See theValidationRule companion trait
object ValidationRule
Attributes
- Companion
- trait
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ValidationRule.type
Members list
Type members
Classlikes
final case class Contramapped[F[_], R, R1, O](rule: ValidationRule[F, R, O], f: R1 => R) extends ValidationRule[F, R1, O]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
final case class FlatMapped[F[_], R, O, O1](rule: ValidationRule[F, R, O], nextRule: ValidationRule[F, O, O1])(implicit evidence$1: IdentityBoth[F], evidence$2: AssociativeFlatten[F], evidence$3: Covariant[F]) extends ValidationRule[F, R, O1]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
final case class Mapped[F[_], R, O, O1](rule: ValidationRule[F, R, O], f: O => O1)(implicit evidence$1: Covariant[F]) extends ValidationRule[F, R, O1]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Value members
Concrete methods
def fromValidatedString[F[_] : Covariant, A](id: IdPath)(v: ValidatedStringFactory[A]): SValidationRule[F, String]
def fromZValidation[F[_] : Covariant, A](id: IdPath)(v: A => ZValidation[_, UserMessage, A]): SValidationRule[F, A]
def nonEmpty[F[_] : Covariant, G[_] : ForEach, A](id: IdPath)(msg: UserMessage): SValidationRule[F, G[A]]
def required[F[_] : Covariant, G[_] : ForEach, A : Identity](id: IdPath)(msg: UserMessage): ValidationRule[F, G[A], A]
In this article