Required

final case class Required[O, F[_], I](fieldName: String, base: F[I], extract: Extract[O, I], default: Option[I]) extends PropSchema[O, F, I]

Class describing a required property of a record.

Value parameters:
base

Schema for the property's value type.

default

Optional default value, for use in the case that a serialized form is missing the property.

extract

Extract lens from the record type to the property.

fieldName

The name of the property.

trait Serializable
trait Product
trait Equals
trait PropSchema[O, F, I]
class Object
trait Matchable
class Any

Value members

Concrete methods

def hfmap[G[_]](nt: FunctionK[F, G]): PropSchema[O, G, I]

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product