Constant

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

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

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

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product