Contramapped

works.iterative.forms.ValidationRule.Contramapped
final case class Contramapped[F[_], R, R1, O](rule: ValidationRule[F, R, O], f: R1 => R) extends ValidationRule[F, R1, O]

Attributes

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

Members list

Value members

Concrete methods

def apply(v: R1): F[ValidationState[O]]

Inherited methods

def andThen[A](g: (F[ValidationState[O]]) => A): R1 => A

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
ValidationRule
def map[B](f: O => B)(using Covariant[F]): ValidationRule[F, R1, 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