Mapped

works.iterative.forms.ValidationRule.Mapped
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

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ValidationRule[F, R, O1]
trait R => F[ValidationState[O1]]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def apply(v: R): F[ValidationState[O1]]

Inherited methods

def andThen[A](g: (F[ValidationState[O1]]) => A): R => A

Attributes

Inherited from:
Function1
def compose[A](g: A => R): A => F[ValidationState[O1]]

Attributes

Inherited from:
Function1
def contramap[B](f: B => R): ValidationRule[F, B, O1]

Attributes

Inherited from:
ValidationRule
def flatMap[O1](other: ValidationRule[F, O1, O1])(using IdentityBoth[F], AssociativeFlatten[F], Covariant[F]): ValidationRule[F, R, O1]

Attributes

Inherited from:
ValidationRule
def map[B](f: O1 => B)(using Covariant[F]): ValidationRule[F, R, B]

Attributes

Inherited from:
ValidationRule
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Function1 -> Any
Inherited from:
Function1