Default

smithy4s.schema.SchemaVisitor.Default
trait Default[F[_]] extends SchemaVisitor[F]

Attributes

Graph
Supertypes
trait SchemaVisitor[F]
trait PolyFunction[Schema, F]
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

def default[A]: F[A]

Concrete methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Definition Classes

Inherited methods

final def andThen[H[_]](other: PolyFunction[F, H]): PolyFunction[F, H]

Attributes

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

Attributes

Inherited from:
SchemaVisitor
final def compose[H[_]](other: PolyFunction[H, Schema]): PolyFunction[H, G]

Attributes

Inherited from:
PolyFunction
final def narrow[F0 <: (Schema)]: PolyFunction[F0, G]

Attributes

Inherited from:
PolyFunction
final def widen[G0[a0]]: PolyFunction[F, G0]

Attributes

Inherited from:
PolyFunction