Required

morphling.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.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait PropSchema[O, F, I]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

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

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product