Validation

zio.blocks.schema.Validation
See theValidation companion trait
object Validation

The built-in constraints.

Attributes

Companion
trait
Source
Validation.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Validation.type

Members list

Type members

Classlikes

case object None extends Validation[Nothing]

No constraint.

No constraint.

Attributes

Source
Validation.scala
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Validation[Nothing]
class Object
trait Matchable
class Any
Show all
Self type
None.type
object Numeric

The numeric constraints.

The numeric constraints.

Attributes

Companion
trait
Source
Validation.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Numeric.type
sealed trait Numeric[+A] extends Validation[A]

A constraint on a Byte, Short, Int, Long, Float, Double, BigInt or BigDecimal value.

A constraint on a Byte, Short, Int, Long, Float, Double, BigInt or BigDecimal value.

Attributes

Companion
object
Source
Validation.scala
Supertypes
trait Validation[A]
class Object
trait Matchable
class Any
Known subtypes
object Negative
object NonNegative
object NonPositive
object Positive
class Range[A]
class Set[A]
Show all
object String

The string constraints.

The string constraints.

Attributes

Companion
trait
Source
Validation.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
String.type
sealed trait String extends Validation[String]

A constraint on a String value.

A constraint on a String value.

Attributes

Companion
object
Source
Validation.scala
Supertypes
trait Validation[String]
class Object
trait Matchable
class Any
Known subtypes
object Blank
object Empty
class Length
object NonBlank
object NonEmpty
class Pattern
Show all

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements.

The names of the product elements.

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type.

The name of the type.

Attributes

Inherited from:
Mirror
Source
Mirror.scala