Optional

smithy4s.schema.SchemaVisitor$.Optional
trait Optional[F[_]] extends Default[[_] =>> OptionK[F, _$6]]

Attributes

Graph
Supertypes
trait Default[[_] =>> OptionK[F, _$6]]
trait SchemaVisitor[[_] =>> OptionK[F, _$6]]
trait PolyFunction[Schema, [_] =>> OptionK[F, _$6]]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def default[A]: Option[F[A]]

Inherited methods

final def andThen[H[_]](other: PolyFunction[[_] =>> OptionK[F, _$6], H]): PolyFunction[F, H]

Attributes

Inherited from:
PolyFunction
def apply[A](schema: Schema[A]): F[A]

Attributes

Inherited from:
SchemaVisitor
override def biject[A, B](schema: Schema[A], bijection: Bijection[A, B]): F[B]

Attributes

Definition Classes
Inherited from:
Default
override def collection[C[_], A](shapeId: ShapeId, hints: Hints, tag: CollectionTag[C], member: Schema[A]): F[C[A]]

Attributes

Definition Classes
Inherited from:
Default
override def enumeration[E](shapeId: ShapeId, hints: Hints, tag: EnumTag[E], values: List[EnumValue[E]], total: E => EnumValue[E]): F[E]

Attributes

Definition Classes
Inherited from:
Default
override def lazily[A](suspend: Lazy[Schema[A]]): F[A]

Attributes

Definition Classes
Inherited from:
Default
override def map[K, V](shapeId: ShapeId, hints: Hints, key: Schema[K], value: Schema[V]): F[Map[K, V]]

Attributes

Definition Classes
Inherited from:
Default
override def option[A](schema: Schema[A]): F[Option[A]]

Attributes

Definition Classes
Inherited from:
Default
override def primitive[P](shapeId: ShapeId, hints: Hints, tag: Primitive[P]): F[P]

Attributes

Definition Classes
Inherited from:
Default
override def refine[A, B](schema: Schema[A], refinement: Refinement[A, B]): F[B]

Attributes

Definition Classes
Inherited from:
Default
override def struct[S](shapeId: ShapeId, hints: Hints, fields: Vector[Field[S, _]], make: IndexedSeq[Any] => S): F[S]

Attributes

Definition Classes
Inherited from:
Default
override def union[U](shapeId: ShapeId, hints: Hints, alternatives: Vector[Alt[U, _]], dispatch: Dispatcher[U]): F[U]

Attributes

Definition Classes
Inherited from:
Default