EqSchemaVisitor

smithy4s.compliancetests.internals.eq.EqSchemaVisitor
object EqSchemaVisitor extends SchemaVisitor[Eq]

Attributes

Graph
Supertypes
trait SchemaVisitor[Eq]
trait PolyFunction[Schema, Eq]
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object LenientOptionalCollectionEquality extends Optional[EqOpt]

Attributes

Supertypes
trait Optional[EqOpt]
trait Default[[_] =>> OptionK[EqOpt, _$6]]
trait SchemaVisitor[[_] =>> OptionK[EqOpt, _$6]]
trait PolyFunction[Schema, [_] =>> OptionK[EqOpt, _$6]]
class Object
trait Matchable
class Any
Show all
Self type

Types

type EqOpt[A] = Eq[Option[A]]

Value members

Concrete methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Definition Classes
SchemaVisitor
def primitiveEq[P](primitive: Primitive[P]): Eq[P]
override def refine[A, B](schema: Schema[A], refinement: Refinement[A, B]): Eq[B]

Attributes

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

Attributes

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

Attributes

Definition Classes
SchemaVisitor

Inherited methods

final def andThen[H[_]](other: PolyFunction[Eq, 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