Schema

zio.schema.Schema$
See theSchema companion trait
object Schema extends SchemaEquality

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Schema.type

Members list

Concise view

Type members

Classlikes

sealed case class Case[R, A](id: String, schema: Schema[A], unsafeDeconstruct: R => A, construct: A => R, isCase: R => Boolean, annotations: Chunk[Any])

Attributes

Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
Case[R, A]
object CaseClass0

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass0[Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
object CaseClass1

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass1[A, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, Z]
object CaseClass2

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass2[A1, A2, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass2[A1, A2, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, Z]() extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, Z]

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, Z]() extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, Z]
object CaseClass3

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass3[A1, A2, A3, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass3[A1, A2, A3, Z]
object CaseClass4

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass4[A1, A2, A3, A4, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass4[A1, A2, A3, A4, Z]
object CaseClass5

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass5[A1, A2, A3, A4, A5, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass5[A1, A2, A3, A4, A5, Z]
object CaseClass6

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass6[A1, A2, A3, A4, A5, A6, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass6[A1, A2, A3, A4, A5, A6, Z]
object CaseClass7

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass7[A1, A2, A3, A4, A5, A6, A7, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass7[A1, A2, A3, A4, A5, A6, A7, Z]
object CaseClass8

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass8[A1, A2, A3, A4, A5, A6, A7, A8, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass8[A1, A2, A3, A4, A5, A6, A7, A8, Z]
object CaseClass9

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait CaseClass9[A1, A2, A3, A4, A5, A6, A7, A8, A9, Z] extends Record[Z]

Attributes

Companion:
object
Graph
Supertypes
trait Record[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
CaseClass9[A1, A2, A3, A4, A5, A6, A7, A8, A9, Z]
sealed trait Collection[Col, Elem] extends Schema[Col]

Attributes

Graph
Supertypes
trait Schema[Col]
class Object
trait Matchable
class Any
Known subtypes
class Map[K, V]
class Sequence[Col, Elem, I]
class Set[A]
final case class Dynamic(annotations: Chunk[Any]) extends Schema[DynamicValue]

Attributes

Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
final case class Either[A, B](left: Schema[A], right: Schema[B], annotations: Chunk[Any]) extends Schema[Either[A, B]]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Schema[Either[A, B]]
class Object
trait Matchable
class Any
Self type
Either[A, B]
sealed trait Enum[Z] extends Schema[Z]

Attributes

Graph
Supertypes
trait Schema[Z]
class Object
trait Matchable
class Any
Known subtypes
class Enum1[A, Z]
class Enum10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, Z]
class Enum11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, Z]
class Enum12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, Z]
class Enum13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, Z]
class Enum14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, Z]
class Enum15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, Z]
class Enum16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z]
class Enum17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, Z]
class Enum18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, Z]
class Enum19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, Z]
class Enum2[A1, A2, Z]
class Enum20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, Z]
class Enum21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, Z]
class Enum22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, Z]
class Enum3[A1, A2, A3, Z]
class Enum4[A1, A2, A3, A4, Z]
class Enum5[A1, A2, A3, A4, A5, Z]
class Enum6[A1, A2, A3, A4, A5, A6, Z]
class Enum7[A1, A2, A3, A4, A5, A6, A7, Z]
class Enum8[A1, A2, A3, A4, A5, A6, A7, A8, Z]
class Enum9[A1, A2, A3, A4, A5, A6, A7, A8, A9, Z]
class EnumN[Z, C]
sealed case class Enum1[A, Z](id: TypeId, case1: Case[Z, A], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum1[A, Z]
sealed case class Enum10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, Z]
sealed case class Enum11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, Z]
sealed case class Enum12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, Z]
sealed case class Enum13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, Z]
sealed case class Enum14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], case14: Case[Z, A14], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, Z]
sealed case class Enum15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], case14: Case[Z, A14], case15: Case[Z, A15], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, Z]
sealed case class Enum16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], case14: Case[Z, A14], case15: Case[Z, A15], case16: Case[Z, A16], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z]
sealed case class Enum17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], case14: Case[Z, A14], case15: Case[Z, A15], case16: Case[Z, A16], case17: Case[Z, A17], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, Z]
sealed case class Enum18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], case14: Case[Z, A14], case15: Case[Z, A15], case16: Case[Z, A16], case17: Case[Z, A17], case18: Case[Z, A18], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, Z]
sealed case class Enum19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], case14: Case[Z, A14], case15: Case[Z, A15], case16: Case[Z, A16], case17: Case[Z, A17], case18: Case[Z, A18], case19: Case[Z, A19], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, Z]
sealed case class Enum2[A1, A2, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum2[A1, A2, Z]
sealed case class Enum20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], case14: Case[Z, A14], case15: Case[Z, A15], case16: Case[Z, A16], case17: Case[Z, A17], case18: Case[Z, A18], case19: Case[Z, A19], case20: Case[Z, A20], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, Z]
sealed case class Enum21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], case14: Case[Z, A14], case15: Case[Z, A15], case16: Case[Z, A16], case17: Case[Z, A17], case18: Case[Z, A18], case19: Case[Z, A19], case20: Case[Z, A20], case21: Case[Z, A21], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, Z]
sealed case class Enum22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], case10: Case[Z, A10], case11: Case[Z, A11], case12: Case[Z, A12], case13: Case[Z, A13], case14: Case[Z, A14], case15: Case[Z, A15], case16: Case[Z, A16], case17: Case[Z, A17], case18: Case[Z, A18], case19: Case[Z, A19], case20: Case[Z, A20], case21: Case[Z, A21], case22: Case[Z, A22], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, Z]
sealed case class Enum3[A1, A2, A3, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum3[A1, A2, A3, Z]
sealed case class Enum4[A1, A2, A3, A4, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum4[A1, A2, A3, A4, Z]
sealed case class Enum5[A1, A2, A3, A4, A5, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum5[A1, A2, A3, A4, A5, Z]
sealed case class Enum6[A1, A2, A3, A4, A5, A6, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum6[A1, A2, A3, A4, A5, A6, Z]
sealed case class Enum7[A1, A2, A3, A4, A5, A6, A7, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum7[A1, A2, A3, A4, A5, A6, A7, Z]
sealed case class Enum8[A1, A2, A3, A4, A5, A6, A7, A8, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum8[A1, A2, A3, A4, A5, A6, A7, A8, Z]
sealed case class Enum9[A1, A2, A3, A4, A5, A6, A7, A8, A9, Z](id: TypeId, case1: Case[Z, A1], case2: Case[Z, A2], case3: Case[Z, A3], case4: Case[Z, A4], case5: Case[Z, A5], case6: Case[Z, A6], case7: Case[Z, A7], case8: Case[Z, A8], case9: Case[Z, A9], annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
Enum9[A1, A2, A3, A4, A5, A6, A7, A8, A9, Z]
sealed case class EnumN[Z, C <: Aux[Z]](id: TypeId, caseSet: C, annotations: Chunk[Any]) extends Enum[Z]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Enum[Z]
trait Schema[Z]
class Object
trait Matchable
class Any
Self type
EnumN[Z, C]
final case class Fail[A](message: String, annotations: Chunk[Any]) extends Schema[A]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Schema[A]
class Object
trait Matchable
class Any
object Field

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Field.type
sealed trait Field[R, A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
sealed case class GenericRecord(id: TypeId, fieldSet: FieldSet, annotations: Chunk[Any]) extends Record[ListMap[String, _]]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Record[ListMap[String, _]]
trait Schema[ListMap[String, _]]
class Object
trait Matchable
class Any
Self type
final case class Lazy[A](schema0: () => Schema[A]) extends Schema[A]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Schema[A]
class Object
trait Matchable
class Any
final case class Map[K, V](keySchema: Schema[K], valueSchema: Schema[V], annotations: Chunk[Any]) extends Collection[Map[K, V], (K, V)]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Collection[Map[K, V], (K, V)]
trait Schema[Map[K, V]]
class Object
trait Matchable
class Any
Self type
Map[K, V]
final case class Optional[A](schema: Schema[A], annotations: Chunk[Any]) extends Schema[Option[A]]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Schema[Option[A]]
class Object
trait Matchable
class Any
Self type
final case class Primitive[A](standardType: StandardType[A], annotations: Chunk[Any]) extends Schema[A]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Schema[A]
class Object
trait Matchable
class Any
sealed trait Record[R] extends Schema[R]

Attributes

Graph
Supertypes
trait Schema[R]
class Object
trait Matchable
class Any
Known subtypes
trait CaseClass0[Z]
trait CaseClass1[A, Z]
trait CaseClass10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, Z]
trait CaseClass11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, Z]
trait CaseClass12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, Z]
trait CaseClass13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, Z]
trait CaseClass14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, Z]
trait CaseClass15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, Z]
trait CaseClass16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, Z]
trait CaseClass17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, Z]
trait CaseClass18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, Z]
trait CaseClass19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, Z]
trait CaseClass2[A1, A2, Z]
trait CaseClass20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, Z]
trait CaseClass21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, Z]
trait CaseClass22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, Z]
trait CaseClass3[A1, A2, A3, Z]
trait CaseClass4[A1, A2, A3, A4, Z]
trait CaseClass5[A1, A2, A3, A4, A5, Z]
trait CaseClass6[A1, A2, A3, A4, A5, A6, Z]
trait CaseClass7[A1, A2, A3, A4, A5, A6, A7, Z]
trait CaseClass8[A1, A2, A3, A4, A5, A6, A7, A8, Z]
trait CaseClass9[A1, A2, A3, A4, A5, A6, A7, A8, A9, Z]
Self type
final case class Sequence[Col, Elem, I](elementSchema: Schema[Elem], fromChunk: Chunk[Elem] => Col, toChunk: Col => Chunk[Elem], annotations: Chunk[Any], identity: I) extends Collection[Col, Elem]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Collection[Col, Elem]
trait Schema[Col]
class Object
trait Matchable
class Any
Self type
Sequence[Col, Elem, I]
final case class Set[A](elementSchema: Schema[A], annotations: Chunk[Any]) extends Collection[Set[A], A]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Collection[Set[A], A]
trait Schema[Set[A]]
class Object
trait Matchable
class Any
Self type
Set[A]
final case class Transform[A, B, I](schema: Schema[A], f: A => Either[String, B], g: B => Either[String, A], annotations: Chunk[Any], identity: I) extends Schema[B]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Schema[B]
class Object
trait Matchable
class Any
final case class Tuple2[A, B](left: Schema[A], right: Schema[B], annotations: Chunk[Any]) extends Schema[(A, B)]

Attributes

Graph
Supertypes
trait Product
trait Equals
trait Schema[(A, B)]
class Object
trait Matchable
class Any
Self type
Tuple2[A, B]

Value members

Concrete methods

def apply[A](implicit schema: Schema[A]): Schema[A]
def defer[A](schema: => Schema[A]): Schema[A]
def enumeration[A, C <: Aux[A]](id: TypeId, caseSet: C): Schema[A]
def fail[A](message: String): Schema[A]
def first[A](schema: Schema[(A, Unit)]): Schema[A]
def force[A](schema: Schema[A]): Schema[A]
def record(id: TypeId, fields: Field[ListMap[String, _], _]*): Schema[ListMap[String, _]]
def record(id: TypeId, fieldSet: FieldSet): Schema[ListMap[String, _]]
def second[A](schema: Schema[(Unit, A)]): Schema[A]
def singleton[A](instance: A): Schema[A]
def toDynamic[A](a: A)(implicit schema: Schema[A]): DynamicValue
def validate[A](value: A)(implicit schema: Schema[A]): Chunk[ValidationError]

Inherited fields

Attributes

Inherited from:
SchemaEquality

Attributes

Inherited from:
SchemaEquality

Implicits

Implicits

implicit val bigInt: Schema[BigInt]
implicit def chunk[A](implicit schemaA: Schema[A]): Schema[Chunk[A]]
implicit def either[A, B](implicit left: Schema[A], right: Schema[B]): Schema[Either[A, B]]
implicit def list[A](implicit schemaA: Schema[A]): Schema[List[A]]
implicit def map[K, V](implicit keySchema: Schema[K], valueSchema: Schema[V]): Schema[Map[K, V]]
implicit def option[A](implicit element: Schema[A]): Schema[Option[A]]
implicit def primitive[A](implicit standardType: StandardType[A]): Schema[A]
implicit def schemaSchema[A]: Schema[Schema[A]]
implicit def set[A](implicit schemaA: Schema[A]): Schema[Set[A]]
implicit def tuple10[A, B, C, D, E, F, G, H, I, J](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J]): Schema[(A, B, C, D, E, F, G, H, I, J)]
implicit def tuple11[A, B, C, D, E, F, G, H, I, J, K](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K]): Schema[(A, B, C, D, E, F, G, H, I, J, K)]
implicit def tuple12[A, B, C, D, E, F, G, H, I, J, K, L](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L)]
implicit def tuple13[A, B, C, D, E, F, G, H, I, J, K, L, M](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L], c13: Schema[M]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L, M)]
implicit def tuple14[A, B, C, D, E, F, G, H, I, J, K, L, M, N](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L], c13: Schema[M], c14: Schema[N]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L, M, N)]
implicit def tuple15[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L], c13: Schema[M], c14: Schema[N], c15: Schema[O]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)]
implicit def tuple16[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L], c13: Schema[M], c14: Schema[N], c15: Schema[O], c16: Schema[P]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)]
implicit def tuple17[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L], c13: Schema[M], c14: Schema[N], c15: Schema[O], c16: Schema[P], c17: Schema[Q]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)]
implicit def tuple18[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L], c13: Schema[M], c14: Schema[N], c15: Schema[O], c16: Schema[P], c17: Schema[Q], c18: Schema[R]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)]
implicit def tuple19[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L], c13: Schema[M], c14: Schema[N], c15: Schema[O], c16: Schema[P], c17: Schema[Q], c18: Schema[R], c19: Schema[S]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)]
implicit def tuple2[A, B](implicit c1: Schema[A], c2: Schema[B]): Schema[(A, B)]
implicit def tuple20[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L], c13: Schema[M], c14: Schema[N], c15: Schema[O], c16: Schema[P], c17: Schema[Q], c18: Schema[R], c19: Schema[S], c20: Schema[T]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)]
implicit def tuple21[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L], c13: Schema[M], c14: Schema[N], c15: Schema[O], c16: Schema[P], c17: Schema[Q], c18: Schema[R], c19: Schema[S], c20: Schema[T], c21: Schema[U]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)]
implicit def tuple22[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I], c10: Schema[J], c11: Schema[K], c12: Schema[L], c13: Schema[M], c14: Schema[N], c15: Schema[O], c16: Schema[P], c17: Schema[Q], c18: Schema[R], c19: Schema[S], c20: Schema[T], c21: Schema[U], c22: Schema[V]): Schema[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)]
implicit def tuple3[A, B, C](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C]): Schema[(A, B, C)]
implicit def tuple4[A, B, C, D](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D]): Schema[(A, B, C, D)]
implicit def tuple5[A, B, C, D, E](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E]): Schema[(A, B, C, D, E)]
implicit def tuple6[A, B, C, D, E, F](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F]): Schema[(A, B, C, D, E, F)]
implicit def tuple7[A, B, C, D, E, F, G](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G]): Schema[(A, B, C, D, E, F, G)]
implicit def tuple8[A, B, C, D, E, F, G, H](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H]): Schema[(A, B, C, D, E, F, G, H)]
implicit def tuple9[A, B, C, D, E, F, G, H, I](implicit c1: Schema[A], c2: Schema[B], c3: Schema[C], c4: Schema[D], c5: Schema[E], c6: Schema[F], c7: Schema[G], c8: Schema[H], c9: Schema[I]): Schema[(A, B, C, D, E, F, G, H, I)]
implicit val uri: Schema[URI]
implicit val url: Schema[URL]
implicit def vector[A](implicit element: Schema[A]): Schema[Vector[A]]