core/smithy4s.syntax

smithy4s.syntax

package smithy4s.syntax

Type members

Classlikes

final implicit implicit class withHintsFieldSyntax[Z, A](val field: StructureField[[F[_]] =>> Schematic[F], Z, A]) extends AnyVal
final implicit implicit class withHintsOneOfSyntax[Z, A](val oneOf: OneOf[[F[_]] =>> Schematic[F], Z, A]) extends AnyVal
final implicit implicit class withHintsSyntax[A](val schema: Schema[A]) extends AnyVal

Value members

Concrete methods

def constant[A](make: => A): Schema[A]

Inherited methods

def bigStruct[Z](fields: StructureField[[F[_]] =>> Schematic[F], Z, _]*)(const: Vector[Any] => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def bijection[A, B](schema: Schema[[F[_]] =>> Schematic[F], A], to: A => B, from: B => A): Schema[[F[_]] =>> Schematic[F], B]
Inherited from:
ClosedSyntax
def enumeration[A](to: A => (String, Int), fromName: Map[String, A], fromOrdinal: Map[Int, A]): Schema[[F[_]] =>> Schematic[F], A]
Inherited from:
Syntax
def errors[E](first: OneOf[[F[_]] =>> Schematic[F], E, _], rest: OneOf[[F[_]] =>> Schematic[F], E, _]*)(total: E => WithValue[[F[_]] =>> Schematic[F], E, _]): Schema[E]
Inherited from:
Syntax
def list[A](a: Schema[[F[_]] =>> Schematic[F], A]): Schema[[F[_]] =>> Schematic[F], List[A]]
Inherited from:
ClosedSyntax
def map[K, V](key: Schema[[F[_]] =>> Schematic[F], K], value: Schema[[F[_]] =>> Schematic[F], V]): Schema[[F[_]] =>> Schematic[F], Map[K, V]]
Inherited from:
ClosedSyntax
def recursive[A](schema: => Schema[[F[_]] =>> Schematic[F], A]): Schema[[F[_]] =>> Schematic[F], A]
Inherited from:
ClosedSyntax
def set[A](a: Schema[[F[_]] =>> Schematic[F], A]): Schema[[F[_]] =>> Schematic[F], Set[A]]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11], a12: StructureField[[F[_]] =>> Schematic[F], Z, A12], a13: StructureField[[F[_]] =>> Schematic[F], Z, A13], a14: StructureField[[F[_]] =>> Schematic[F], Z, A14], a15: StructureField[[F[_]] =>> Schematic[F], Z, A15], a16: StructureField[[F[_]] =>> Schematic[F], Z, A16], a17: StructureField[[F[_]] =>> Schematic[F], Z, A17], a18: StructureField[[F[_]] =>> Schematic[F], Z, A18], a19: StructureField[[F[_]] =>> Schematic[F], Z, A19], a20: StructureField[[F[_]] =>> Schematic[F], Z, A20], a21: StructureField[[F[_]] =>> Schematic[F], Z, A21])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11], a12: StructureField[[F[_]] =>> Schematic[F], Z, A12], a13: StructureField[[F[_]] =>> Schematic[F], Z, A13], a14: StructureField[[F[_]] =>> Schematic[F], Z, A14], a15: StructureField[[F[_]] =>> Schematic[F], Z, A15], a16: StructureField[[F[_]] =>> Schematic[F], Z, A16], a17: StructureField[[F[_]] =>> Schematic[F], Z, A17], a18: StructureField[[F[_]] =>> Schematic[F], Z, A18], a19: StructureField[[F[_]] =>> Schematic[F], Z, A19], a20: StructureField[[F[_]] =>> Schematic[F], Z, A20])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11], a12: StructureField[[F[_]] =>> Schematic[F], Z, A12], a13: StructureField[[F[_]] =>> Schematic[F], Z, A13], a14: StructureField[[F[_]] =>> Schematic[F], Z, A14], a15: StructureField[[F[_]] =>> Schematic[F], Z, A15], a16: StructureField[[F[_]] =>> Schematic[F], Z, A16], a17: StructureField[[F[_]] =>> Schematic[F], Z, A17], a18: StructureField[[F[_]] =>> Schematic[F], Z, A18], a19: StructureField[[F[_]] =>> Schematic[F], Z, A19])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11], a12: StructureField[[F[_]] =>> Schematic[F], Z, A12], a13: StructureField[[F[_]] =>> Schematic[F], Z, A13], a14: StructureField[[F[_]] =>> Schematic[F], Z, A14], a15: StructureField[[F[_]] =>> Schematic[F], Z, A15], a16: StructureField[[F[_]] =>> Schematic[F], Z, A16], a17: StructureField[[F[_]] =>> Schematic[F], Z, A17], a18: StructureField[[F[_]] =>> Schematic[F], Z, A18])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11], a12: StructureField[[F[_]] =>> Schematic[F], Z, A12], a13: StructureField[[F[_]] =>> Schematic[F], Z, A13], a14: StructureField[[F[_]] =>> Schematic[F], Z, A14], a15: StructureField[[F[_]] =>> Schematic[F], Z, A15], a16: StructureField[[F[_]] =>> Schematic[F], Z, A16], a17: StructureField[[F[_]] =>> Schematic[F], Z, A17])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11], a12: StructureField[[F[_]] =>> Schematic[F], Z, A12], a13: StructureField[[F[_]] =>> Schematic[F], Z, A13], a14: StructureField[[F[_]] =>> Schematic[F], Z, A14], a15: StructureField[[F[_]] =>> Schematic[F], Z, A15], a16: StructureField[[F[_]] =>> Schematic[F], Z, A16])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11], a12: StructureField[[F[_]] =>> Schematic[F], Z, A12], a13: StructureField[[F[_]] =>> Schematic[F], Z, A13], a14: StructureField[[F[_]] =>> Schematic[F], Z, A14], a15: StructureField[[F[_]] =>> Schematic[F], Z, A15])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11], a12: StructureField[[F[_]] =>> Schematic[F], Z, A12], a13: StructureField[[F[_]] =>> Schematic[F], Z, A13], a14: StructureField[[F[_]] =>> Schematic[F], Z, A14])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11], a12: StructureField[[F[_]] =>> Schematic[F], Z, A12], a13: StructureField[[F[_]] =>> Schematic[F], Z, A13])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11], a12: StructureField[[F[_]] =>> Schematic[F], Z, A12])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10], a11: StructureField[[F[_]] =>> Schematic[F], Z, A11])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9], a10: StructureField[[F[_]] =>> Schematic[F], Z, A10])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8], a9: StructureField[[F[_]] =>> Schematic[F], Z, A9])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7], a8: StructureField[[F[_]] =>> Schematic[F], Z, A8])(const: (A0, A1, A2, A3, A4, A5, A6, A7, A8) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6], a7: StructureField[[F[_]] =>> Schematic[F], Z, A7])(const: (A0, A1, A2, A3, A4, A5, A6, A7) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5, A6](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5], a6: StructureField[[F[_]] =>> Schematic[F], Z, A6])(const: (A0, A1, A2, A3, A4, A5, A6) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4, A5](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4], a5: StructureField[[F[_]] =>> Schematic[F], Z, A5])(const: (A0, A1, A2, A3, A4, A5) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3, A4](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3], a4: StructureField[[F[_]] =>> Schematic[F], Z, A4])(const: (A0, A1, A2, A3, A4) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2, A3](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2], a3: StructureField[[F[_]] =>> Schematic[F], Z, A3])(const: (A0, A1, A2, A3) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1, A2](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1], a2: StructureField[[F[_]] =>> Schematic[F], Z, A2])(const: (A0, A1, A2) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0, A1](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0], a1: StructureField[[F[_]] =>> Schematic[F], Z, A1])(const: (A0, A1) => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z, A0](a0: StructureField[[F[_]] =>> Schematic[F], Z, A0])(const: A0 => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z](fields: Vector[StructureField[[F[_]] =>> Schematic[F], Z, _]])(const: Vector[Any] => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def struct[Z](const: => Z): Schema[[F[_]] =>> Schematic[F], Z]
Inherited from:
ClosedSyntax
def suspend[A](schema: => Schema[[F[_]] =>> Schematic[F], A]): Schema[[F[_]] =>> Schematic[F], A]
Inherited from:
ClosedSyntax
def union[U](first: OneOf[[F[_]] =>> Schematic[F], U, _], rest: OneOf[[F[_]] =>> Schematic[F], U, _]*)(total: U => WithValue[[F[_]] =>> Schematic[F], U, _]): Schema[[F[_]] =>> Schematic[F], U]
Inherited from:
ClosedSyntax
def vector[A](a: Schema[[F[_]] =>> Schematic[F], A]): Schema[[F[_]] =>> Schematic[F], Vector[A]]
Inherited from:
ClosedSyntax
def withHints[A](a: Schema[[F[_]] =>> Schematic[F], A], hints: Hints): Schema[[F[_]] =>> Schematic[F], A]
Inherited from:
ClosedSyntax

Concrete fields

val bigdecimal: Schema[BigDecimal]
val bigint: Schema[BigInt]
val boolean: Schema[Boolean]
val byte: Schema[Byte]
val bytes: Schema[ByteArray]
val double: Schema[Double]
val float: Schema[Float]
val int: Schema[Int]
val long: Schema[Long]
val short: Schema[Short]
val string: Schema[String]
val unit: Schema[Unit]
val uuid: Schema[UUID]

Implicits

Implicits

final implicit def withHintsFieldSyntax[Z, A](field: StructureField[[F[_]] =>> Schematic[F], Z, A]): withHintsFieldSyntax[Z, A]
final implicit def withHintsOneOfSyntax[Z, A](oneOf: OneOf[[F[_]] =>> Schematic[F], Z, A]): withHintsOneOfSyntax[Z, A]
final implicit def withHintsSyntax[A](schema: Schema[A]): withHintsSyntax[A]