core/smithy4s.schema/Schema/SurjectionSchema

SurjectionSchema

final case class SurjectionSchema[A, B](underlying: Schema[A], refinement: Refinement[A, B], from: B => A) extends Schema[B]
trait Serializable
trait Product
trait Equals
trait Schema[B]
class Object
trait Matchable
class Any

Value members

Concrete methods

Inherited methods

def addHints(hints: Hints): Schema[B]
Inherited from:
Schema
def addHints(hints: Hint*): Schema[B]
Inherited from:
Schema
def compile[F[_]](schematic: Schematic[F]): F[B]
Inherited from:
Schema
def compile[F[_]](fk: PolyFunction[Schema, F]): F[B]
Inherited from:
Schema
def oneOf[Union]: PartiallyAppliedOneOf[Union, B]
Inherited from:
Schema
def optional[Struct]: PartiallyAppliedOptional[Struct, B]
Inherited from:
Schema
def productIterator: Iterator[Any]
Inherited from:
Product
def required[Struct]: PartiallyAppliedRequired[Struct, B]
Inherited from:
Schema
def transformHintsLocally(f: Hints => Hints): Schema[B]
Inherited from:
Schema
def transformHintsTransitively(f: Hints => Hints): Schema[B]
Inherited from:
Schema
def validated[C](implicit constraint: Simple[C, B]): Schema[B]
Inherited from:
Schema
def withId(newId: ShapeId): Schema[B]
Inherited from:
Schema