schematic/schematic/Schematic/all/Mixin

Mixin

trait Mixin[F[_]] extends Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Schematic[F] with Mixin[F]
trait Mixin[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
trait Schematic[F]
class Object
trait Matchable
class Any
trait Mixin[F]
trait StubSchematic[F]

Value members

Inherited methods

def bigdecimal: F[BigDecimal]
Inherited from
Schematic
def bigint: F[BigInt]
Inherited from
Schematic
def bijection[A, B](f: F[A], to: A => B, from: B => A): F[B]
Inherited from
Schematic
def boolean: F[Boolean]
Inherited from
Schematic
def byte: F[Byte]
Inherited from
Schematic
def bytes: F[ByteArray]
Inherited from
Schematic
def double: F[Double]
Inherited from
Schematic
def enumeration[A](to: A => (String, Int), fromName: Map[String, A], fromOrdinal: Map[Int, A]): F[A]
Inherited from
Schematic
def float: F[Float]
Inherited from
Schematic
def genericStruct[S](fields: Vector[Field[F, S, _]])(const: Vector[Any] => S): F[S]
Inherited from
Schematic
def instant: F[Instant]
Inherited from
Schematic
def int: F[Int]
Inherited from
Schematic
def list[S](fs: F[S]): F[List[S]]
Inherited from
Schematic
def localDate: F[LocalDate]
Inherited from
Schematic
def long: F[Long]
Inherited from
Schematic
def map[K, V](fk: F[K], fv: F[V]): F[Map[K, V]]
Inherited from
Schematic
def offsetDateTime: F[OffsetDateTime]
Inherited from
Schematic
def set[S](fs: F[S]): F[Set[S]]
Inherited from
Schematic
def short: F[Short]
Inherited from
Schematic
def string: F[String]
Inherited from
Schematic
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: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11], a12: Field[F, Z, A12], a13: Field[F, Z, A13], a14: Field[F, Z, A14], a15: Field[F, Z, A15], a16: Field[F, Z, A16], a17: Field[F, Z, A17], a18: Field[F, Z, A18], a19: Field[F, Z, A19], a20: Field[F, Z, A20], a21: Field[F, Z, A21])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21) => Z): F[Z]
Inherited from
Schematic
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: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11], a12: Field[F, Z, A12], a13: Field[F, Z, A13], a14: Field[F, Z, A14], a15: Field[F, Z, A15], a16: Field[F, Z, A16], a17: Field[F, Z, A17], a18: Field[F, Z, A18], a19: Field[F, Z, A19], a20: Field[F, Z, A20])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11], a12: Field[F, Z, A12], a13: Field[F, Z, A13], a14: Field[F, Z, A14], a15: Field[F, Z, A15], a16: Field[F, Z, A16], a17: Field[F, Z, A17], a18: Field[F, Z, A18], a19: Field[F, Z, A19])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11], a12: Field[F, Z, A12], a13: Field[F, Z, A13], a14: Field[F, Z, A14], a15: Field[F, Z, A15], a16: Field[F, Z, A16], a17: Field[F, Z, A17], a18: Field[F, Z, A18])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11], a12: Field[F, Z, A12], a13: Field[F, Z, A13], a14: Field[F, Z, A14], a15: Field[F, Z, A15], a16: Field[F, Z, A16], a17: Field[F, Z, A17])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11], a12: Field[F, Z, A12], a13: Field[F, Z, A13], a14: Field[F, Z, A14], a15: Field[F, Z, A15], a16: Field[F, Z, A16])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11], a12: Field[F, Z, A12], a13: Field[F, Z, A13], a14: Field[F, Z, A14], a15: Field[F, Z, A15])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11], a12: Field[F, Z, A12], a13: Field[F, Z, A13], a14: Field[F, Z, A14])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11], a12: Field[F, Z, A12], a13: Field[F, Z, A13])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11], a12: Field[F, Z, A12])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10], a11: Field[F, Z, A11])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9], a10: Field[F, Z, A10])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8], a9: Field[F, Z, A9])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7], a8: Field[F, Z, A8])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6], a7: Field[F, Z, A7])(f: (A0, A1, A2, A3, A4, A5, A6, A7) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5, A6](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5], a6: Field[F, Z, A6])(f: (A0, A1, A2, A3, A4, A5, A6) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4, A5](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4], a5: Field[F, Z, A5])(f: (A0, A1, A2, A3, A4, A5) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3, A4](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3], a4: Field[F, Z, A4])(f: (A0, A1, A2, A3, A4) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2, A3](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2], a3: Field[F, Z, A3])(f: (A0, A1, A2, A3) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1, A2](a0: Field[F, Z, A0], a1: Field[F, Z, A1], a2: Field[F, Z, A2])(f: (A0, A1, A2) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0, A1](a0: Field[F, Z, A0], a1: Field[F, Z, A1])(f: (A0, A1) => Z): F[Z]
Inherited from
Schematic
def struct[Z, A0](a0: Field[F, Z, A0])(f: A0 => Z): F[Z]
Inherited from
Schematic
def struct[S](f: => S): F[S]
Inherited from
Schematic
def suspend[A](f: => F[A]): F[A]
Inherited from
Schematic
def union[S](first: Alt[F, S, _], rest: Vector[Alt[F, S, _]])(total: S => WithValue[F, S, _]): F[S]

Models a coproduct as a list of alternatives. Typesafety is guaranteed by the total function, which ensures that any value of the supertype can be downcasted to an alternative.

Models a coproduct as a list of alternatives. Typesafety is guaranteed by the total function, which ensures that any value of the supertype can be downcasted to an alternative.

Inherited from
Schematic
def unit: F[Unit]
Inherited from
Schematic
def uuid: F[UUID]
Inherited from
Schematic
def vector[S](fs: F[S]): F[Vector[S]]
Inherited from
Schematic