Constant

final case class Constant[O, F[_], I](fieldName: String, value: I, extract: Extract[O, I]) extends PropSchema[O, F, I]

Class describing a constant (non-serializable) property of a record.

Value parameters:
extract

Extract lens from the record type to the property.

fieldName

The name of the property.

value

The value of the property.

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

Value members

Concrete methods

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

Inherited methods

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