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

final def addHints(hints: Hints): Schema[B]
Inherited from:
Schema
final def addHints(hints: Hint*): Schema[B]
Inherited from:
Schema
final def compile[F[_]](schematic: Schematic[F]): F[B]
Inherited from:
Schema
final def compile[F[_]](fk: PolyFunction[Schema, F]): F[B]
Inherited from:
Schema
final def oneOf[Union]: PartiallyAppliedOneOf[Union, B]
Inherited from:
Schema
final def optional[Struct]: PartiallyAppliedOptional[Struct, B]
Inherited from:
Schema
Inherited from:
Product
final def required[Struct]: PartiallyAppliedRequired[Struct, B]
Inherited from:
Schema
Inherited from:
Schema
Inherited from:
Schema
final def validated[C](implicit constraint: Simple[C, B]): Schema[B]
Inherited from:
Schema
final def withId(namespace: String, name: String): Schema[B]
Inherited from:
Schema
final def withId(newId: ShapeId): Schema[B]
Inherited from:
Schema