schematic-scalacheck/schematic.scalacheck/SchematicGenArity

SchematicGenArity

trait SchematicGenArity extends Schematic[Gen]
trait Schematic[Gen]
class Object
trait Matchable
class Any
object gen

Value members

Concrete methods

protected
def genField[S, A](field: Field[Gen, S, A]): Gen[A]
def struct[Z, A0](a0: Field[Gen, Z, A0])(f: A0 => Z): Gen[Z]
def struct[Z, A0, A1](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1])(f: (A0, A1) => Z): Gen[Z]
def struct[Z, A0, A1, A2](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2])(f: (A0, A1, A2) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3])(f: (A0, A1, A2, A3) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4])(f: (A0, A1, A2, A3, A4) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5])(f: (A0, A1, A2, A3, A4, A5) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6])(f: (A0, A1, A2, A3, A4, A5, A6) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7])(f: (A0, A1, A2, A3, A4, A5, A6, A7) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11], a12: Field[Gen, Z, A12])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11], a12: Field[Gen, Z, A12], a13: Field[Gen, Z, A13])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11], a12: Field[Gen, Z, A12], a13: Field[Gen, Z, A13], a14: Field[Gen, Z, A14])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11], a12: Field[Gen, Z, A12], a13: Field[Gen, Z, A13], a14: Field[Gen, Z, A14], a15: Field[Gen, Z, A15])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11], a12: Field[Gen, Z, A12], a13: Field[Gen, Z, A13], a14: Field[Gen, Z, A14], a15: Field[Gen, Z, A15], a16: Field[Gen, Z, A16])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11], a12: Field[Gen, Z, A12], a13: Field[Gen, Z, A13], a14: Field[Gen, Z, A14], a15: Field[Gen, Z, A15], a16: Field[Gen, Z, A16], a17: Field[Gen, Z, A17])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17) => Z): Gen[Z]
def struct[Z, A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18](a0: Field[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11], a12: Field[Gen, Z, A12], a13: Field[Gen, Z, A13], a14: Field[Gen, Z, A14], a15: Field[Gen, Z, A15], a16: Field[Gen, Z, A16], a17: Field[Gen, Z, A17], a18: Field[Gen, Z, A18])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18) => Z): Gen[Z]
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[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11], a12: Field[Gen, Z, A12], a13: Field[Gen, Z, A13], a14: Field[Gen, Z, A14], a15: Field[Gen, Z, A15], a16: Field[Gen, Z, A16], a17: Field[Gen, Z, A17], a18: Field[Gen, Z, A18], a19: Field[Gen, Z, A19])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19) => Z): Gen[Z]
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[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11], a12: Field[Gen, Z, A12], a13: Field[Gen, Z, A13], a14: Field[Gen, Z, A14], a15: Field[Gen, Z, A15], a16: Field[Gen, Z, A16], a17: Field[Gen, Z, A17], a18: Field[Gen, Z, A18], a19: Field[Gen, Z, A19], a20: Field[Gen, 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): Gen[Z]
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[Gen, Z, A0], a1: Field[Gen, Z, A1], a2: Field[Gen, Z, A2], a3: Field[Gen, Z, A3], a4: Field[Gen, Z, A4], a5: Field[Gen, Z, A5], a6: Field[Gen, Z, A6], a7: Field[Gen, Z, A7], a8: Field[Gen, Z, A8], a9: Field[Gen, Z, A9], a10: Field[Gen, Z, A10], a11: Field[Gen, Z, A11], a12: Field[Gen, Z, A12], a13: Field[Gen, Z, A13], a14: Field[Gen, Z, A14], a15: Field[Gen, Z, A15], a16: Field[Gen, Z, A16], a17: Field[Gen, Z, A17], a18: Field[Gen, Z, A18], a19: Field[Gen, Z, A19], a20: Field[Gen, Z, A20], a21: Field[Gen, 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): Gen[Z]

Inherited methods

def genericStruct[S](fields: Vector[Field[Gen, S, _]])(const: Vector[Any] => S): Gen[S]
Inherited from
Schematic
def struct[S](f: => S): Gen[S]
Inherited from
Schematic