Field

object Field
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Field.type

Type members

Classlikes

trait Folder[F[_], S, B]
trait FolderK[F[_], S, G[_]]
trait LeftFolder[F[_], B]
final implicit class SchemaFieldOps[S, A](field: SchemaField[S, A]) extends AnyVal

Types

type ToOptional[F[_]] = PolyFunction[F, [_] =>> Wrapped[F, Option, _$19]]
type Wrapped[F[_], G[_], A] = F[G[A]]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def optional[F[_], S, A](label: String, instance: F[A], get: S => Option[A]): Field[F, S, Option[A]]
def required[F[_], S, A](label: String, instance: F[A], get: S => A): Field[F, S, A]

Implicits

Implicits

final implicit def SchemaFieldOps[S, A](field: SchemaField[S, A]): SchemaFieldOps[S, A]