Field

smithy4s.schema.Field$
See theField companion class
object Field

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Field.type

Members list

Concise view

Type members

Classlikes

trait Folder[F[_], S, B]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
trait FolderK[F[_], S, G[_]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
trait LeftFolder[F[_], B]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
final implicit class SchemaFieldOps[S, A](field: SchemaField[S, A]) extends AnyVal

Attributes

Graph
Supertypes
class AnyVal
trait Matchable
class Any

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

Attributes

Inherited from:
Mirror

The name of the type

The name of the type

Attributes

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]