SchemaExpr

zio.blocks.schema.SchemaExpr
See theSchemaExpr companion object
final case class SchemaExpr[A, B](dynamic: DynamicSchemaExpr, inputSchema: Schema[A], outputSchema: Schema[B])

A typed wrapper around DynamicSchemaExpr that provides compile-time type safety.

Type parameters

A

The input type

B

The output type

Value parameters

dynamic

The underlying serializable expression

inputSchema

Schema for converting A to DynamicValue

outputSchema

Schema for converting DynamicValue back to B

Attributes

Companion
object
Source
SchemaExpr.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def &&(that: SchemaExpr[A, Boolean])(implicit ev: B <:< Boolean): SchemaExpr[A, Boolean]
Implicitly added by BooleanOps

Attributes

Source
SchemaExpr.scala
def and(that: SchemaExpr[A, Boolean])(implicit ev: B <:< Boolean): SchemaExpr[A, Boolean]
Implicitly added by BooleanOps

Attributes

Source
SchemaExpr.scala
def eval[B1 >: B](input: A)(implicit schema: Schema[B1]): Either[OpticCheck, Seq[B1]]

Evaluate the expression on a typed input.

Evaluate the expression on a typed input.

Attributes

Source
SchemaExpr.scala
def evalDynamic(input: A): Either[OpticCheck, Seq[DynamicValue]]

Evaluate the expression and return DynamicValue results.

Evaluate the expression and return DynamicValue results.

Attributes

Source
SchemaExpr.scala
def or(that: SchemaExpr[A, Boolean])(implicit ev: B <:< Boolean): SchemaExpr[A, Boolean]
Implicitly added by BooleanOps

Attributes

Source
SchemaExpr.scala
def toDynamic: DynamicSchemaExpr

Get the underlying dynamic expression.

Get the underlying dynamic expression.

Attributes

Source
SchemaExpr.scala
def ||(that: SchemaExpr[A, Boolean])(implicit ev: B <:< Boolean): SchemaExpr[A, Boolean]
Implicitly added by BooleanOps

Attributes

Source
SchemaExpr.scala

Inherited methods

def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
Source
Product.scala
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product
Source
Product.scala