core
API
Generated with
core/smithy4s/smithy4s.schema/SchemaVisitor/Optional

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[Schema, H]

Attributes

Inherited from:
PolyFunction
def apply[A](schema: Schema[A]): [_] =>> OptionK[F, _$6][A]

Attributes

Inherited from:
SchemaVisitor
override def biject[A, B](schema: Schema[A], bijection: Bijection[A, B]): [_] =>> OptionK[F, _$6][B]

Attributes

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

Attributes

Definition Classes
Inherited from:
Default
final def compose[H[_]](other: PolyFunction[H, Schema]): PolyFunction[H, [_] =>> OptionK[F, _$6]]

Attributes

Inherited from:
PolyFunction
override def enumeration[E](shapeId: ShapeId, hints: Hints, tag: EnumTag[E], values: List[EnumValue[E]], total: E => EnumValue[E]): [_] =>> OptionK[F, _$6][E]

Attributes

Definition Classes
Inherited from:
Default
override def lazily[A](suspend: Lazy[Schema[A]]): [_] =>> OptionK[F, _$6][A]

Attributes

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

Attributes

Definition Classes
Inherited from:
Default
final def narrow[F0 <: (Schema)]: PolyFunction[F0, [_] =>> OptionK[F, _$6]]

Attributes

Inherited from:
PolyFunction
override def option[A](schema: Schema[A]): [_] =>> OptionK[F, _$6][Option[A]]

Attributes

Definition Classes
Inherited from:
Default
override def primitive[P](shapeId: ShapeId, hints: Hints, tag: Primitive[P]): [_] =>> OptionK[F, _$6][P]

Attributes

Definition Classes
Inherited from:
Default
override def refine[A, B](schema: Schema[A], refinement: Refinement[A, B]): [_] =>> OptionK[F, _$6][B]

Attributes

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

Attributes

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

Attributes

Definition Classes
Inherited from:
Default
final def widen[G0[a0]]: PolyFunction[Schema, G0]

Attributes

Inherited from:
PolyFunction
Generated with