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

Predicate

zio.schema.validation.Predicate
See thePredicate companion trait
object Predicate

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Predicate.type

Members list

Type members

Classlikes

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

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Predicate[B]
class Object
trait Matchable
class Any
Show all
final case class Either[L, R](left: Bool[Predicate[L]], right: Bool[Predicate[R]]) extends Predicate[Either[L, R]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Predicate[Either[L, R]]
class Object
trait Matchable
class Any
Show all
object Num

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Num.type
sealed trait Num[A] extends Predicate[A]

Attributes

Companion
object
Supertypes
trait Predicate[A]
class Object
trait Matchable
class Any
Known subtypes
class EqualTo[A]
class GreaterThan[A]
class LessThan[A]
final case class Optional[A](pred: Bool[Predicate[A]], validNone: Boolean) extends Predicate[Option[A]]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Predicate[Option[A]]
class Object
trait Matchable
class Any
Show all
object Str

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Str.type
sealed trait Str[A] extends Predicate[A]

Attributes

Companion
object
Supertypes
trait Predicate[A]
class Object
trait Matchable
class Any
Known subtypes
class Matches
class MaxLength
class MinLength
final case class True[A]() extends Predicate[A]

Attributes

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

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Generated with