Optional

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

Class describing an optional property of a record. Since in many serialized forms optional properties may be omitted entirely from the serialized form, a distinct type is needed in order to be able to correctly interpret the absence of a field.

Value parameters:
base

Schema for the property's value type.

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, Option[I]]
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Inherited methods

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