zio-schema
API
Generated with
zio-schema/zio.schema/zio.schema.validation/Predicate/Contramap

Contramap

zio.schema.validation.Predicate.Contramap
final case class Contramap[B, A](pred: Bool[Predicate[A]], f: B => A) extends Predicate[B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Predicate[B]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited types

type Errors = Chunk[ValidationError]

Attributes

Inherited from:
Predicate
type Result = Either[Errors, Errors]

Attributes

Inherited from:
Predicate

Value members

Concrete methods

def validate(value: B): Result

Inherited methods

def contramap[B](f: B => B): Predicate[B]

Attributes

Inherited from:
Predicate
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with