Object/Trait

zio.prelude

AssociativeBoth

Related Docs: trait AssociativeBoth | package prelude

Permalink

object AssociativeBoth extends test.laws.LawfulF.Invariant[AssociativeBothDeriveEqualInvariant, Equal]

Linear Supertypes
test.laws.ZLawfulF.Invariant[AssociativeBothDeriveEqualInvariant, Equal, Any], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AssociativeBoth
  2. Invariant
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. def +[CapsF1[x[_]] <: AssociativeBothDeriveEqualInvariant[x[_]], Caps1[x] <: Equal[x], R1 <: Any](that: test.laws.ZLawfulF.Invariant[CapsF1, Caps1, R1]): test.laws.ZLawfulF.Invariant[CapsF1, Caps1, R1]

    Permalink
    Definition Classes
    Invariant
  4. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  5. implicit val ChunkAssociativeBoth: AssociativeBoth[Chunk]

    Permalink

    The AssociativeBoth instance for Chunk.

  6. implicit def ConstAssociativeBoth[A](implicit arg0: Associative[A]): AssociativeBoth[[+B]Type[A]]

    Permalink

    The AssociativeBoth instance for Const.

  7. implicit def EitherFailedIdentityBoth[R]: IdentityBoth[[+l]Type[Either[l, R]]]

    Permalink

    The IdentityBoth (and AssociativeBoth) instance for a failed Either

  8. implicit def EitherIdentityBoth[L]: IdentityBoth[[+r]Either[L, r]]

    Permalink

    The IdentityBoth (and AssociativeBoth) instance for Either.

  9. implicit def ExitAssociativeBoth[E]: AssociativeBoth[[+a]Exit[E, a]]

    Permalink

    The AssociativeBoth instance for Exit.

  10. implicit def FiberAssociativeBoth[E]: AssociativeBoth[[+a]Fiber[E, a]]

    Permalink

    The AssociativeBoth instance for Fiber.

  11. implicit val FutureIdentityBoth: IdentityBoth[Future]

    Permalink

    The IdentityBoth (and AssociativeBoth) instance for Future.

  12. implicit val IdIdentityBoth: IdentityBoth[prelude.Id]

    Permalink

    The IdentityBoth (and AssociativeBoth) instance for Id.

  13. implicit val ListIdentityBoth: IdentityBoth[List]

    Permalink

    The IdentityBoth (and AssociativeBoth) instance for List.

  14. implicit val NonEmptyChunkAssociativeBoth: AssociativeBoth[NonEmptyChunk]

    Permalink

    The AssociativeBoth instance for NonEmptyChunk.

  15. implicit val OptionIdentityBoth: IdentityBoth[Option]

    Permalink

    The IdentityBoth (with AssociativeBoth) instance for Option.

  16. implicit def ScheduleAndAssociativeBoth[R, E]: AssociativeBoth[[+a]Type[Schedule[R, E, a]]]

    Permalink

    The AssociativeBoth instance for And Schedule.

  17. implicit def ScheduleOrAssociativeBoth[R, E]: AssociativeBoth[[+a]Type[Schedule[R, E, a]]]

    Permalink

    The AssociativeBoth instance for Or Schedule.

  18. implicit val TryIdentityBoth: IdentityBoth[Try]

    Permalink

    The IdentityBoth (and AssociativeBoth) instance for Try.

  19. implicit val VectorAssociativeBoth: AssociativeBoth[Vector]

    Permalink

    The AssociativeBoth instance for Vector.

  20. implicit def ZIOFailureIdentityBoth[R, A]: IdentityBoth[[+e]Type[ZIO[R, e, A]]]

    Permalink

    The IdentityBoth instance for failed ZIO.

  21. implicit def ZIOIdentityBoth[R, E]: IdentityBoth[[+a]ZIO[R, E, a]]

    Permalink

    The IdentityBoth instance for ZIO.

  22. implicit def ZLayerIdentityBoth[R, E]: IdentityBoth[[+a]ZLayer[R, E, a]]

    Permalink

    The IdentityBoth instance for ZLayer.

  23. implicit def ZManagedAssociativeBoth[R, E]: AssociativeBoth[[+a]ZManaged[R, E, a]]

    Permalink

    The AssociativeBoth instance for ZManaged.

  24. implicit def ZManagedFailureAssociativeBoth[R, A]: AssociativeBoth[[+e]Type[ZManaged[R, e, A]]]

    Permalink

    The AssociativeBoth instance for failed ZManaged.

  25. implicit def ZSTMAssociativeBoth[R, E]: AssociativeBoth[[+a]ZSTM[R, E, a]]

    Permalink

    The AssociativeBoth instance for ZSTM.

  26. implicit def ZSinkAssociativeBoth[R, E, I]: AssociativeBoth[[+a]ZSink[R, E, I, I, a]]

    Permalink

    The AssociativeBoth instance for ZSink.

  27. implicit def ZStreamAssociativeBoth[R, E]: AssociativeBoth[[+a]ZStream[R, E, a]]

    Permalink

    The AssociativeBoth instance for ZStream.

  28. def apply[F[_]](implicit associativeBoth: AssociativeBoth[F]): AssociativeBoth[F]

    Permalink

    Summons an implicit AssociativeBoth[F].

  29. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  30. lazy val associativityLaw: test.laws.LawsF.Invariant[AssociativeBothDeriveEqualInvariant, Equal]

    Permalink

    For all fa, fb, and fc, both(fa, both(fb, fc)) is equivalent to both(both(fa, fb), fc).

  31. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. def compose[F[+_], G[+_]](implicit arg0: AssociativeBoth[F], arg1: AssociativeBoth[G], f: Covariant[F], g: Covariant[G]): AssociativeBoth[[+A]F[G[A]]] with Covariant[[+A]F[G[A]]]

    Permalink
  33. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  34. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  35. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  36. def fromCovariantAssociativeFlatten[F[+_]](implicit covariant: Covariant[F], identityFlatten: AssociativeFlatten[F]): AssociativeBoth[F]

    Permalink
  37. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  38. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  39. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  40. lazy val laws: test.laws.LawsF.Invariant[AssociativeBothDeriveEqualInvariant, Equal]

    Permalink

    The set of law laws that instances of AssociativeBoth must satisfy.

    The set of law laws that instances of AssociativeBoth must satisfy.

    Definition Classes
    AssociativeBoth → Invariant
  41. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19], a20: F[A20], a21: F[A21])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 22 F values using the provided function f.

  42. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19], a20: F[A20])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 21 F values using the provided function f.

  43. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 20 F values using the provided function f.

  44. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 19 F values using the provided function f.

  45. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 18 F values into a tuple in maps the result with the provided function.

  46. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 17 F values using the provided function f.

  47. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 16 F values using the provided function f.

  48. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 15 F values using the provided function f.

  49. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 14 F values using the provided function f.

  50. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 13 F values using the provided function f.

  51. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 12 F values using the provided function f.

  52. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 11 F values using the provided function f.

  53. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 10 F values using the provided function f.

  54. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8])(f: (A0, A1, A2, A3, A4, A5, A6, A7, A8) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 9 F values using the provided function f.

  55. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7])(f: (A0, A1, A2, A3, A4, A5, A6, A7) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 8 F values using the provided function f.

  56. def mapN[F[+_], A0, A1, A2, A3, A4, A5, A6, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6])(f: (A0, A1, A2, A3, A4, A5, A6) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 7 F values using the provided function f.

  57. def mapN[F[+_], A0, A1, A2, A3, A4, A5, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5])(f: (A0, A1, A2, A3, A4, A5) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 6 F values using the provided function f.

  58. def mapN[F[+_], A0, A1, A2, A3, A4, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4])(f: (A0, A1, A2, A3, A4) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 5 F values using the provided function f.

  59. def mapN[F[+_], A0, A1, A2, A3, B](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3])(f: (A0, A1, A2, A3) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 4 F values using the provided function f.

  60. def mapN[F[+_], A0, A1, A2, B](a0: F[A0], a1: F[A1], a2: F[A2])(f: (A0, A1, A2) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 3 F values using the provided function f.

  61. def mapN[F[+_], A0, A1, B](a0: F[A0], a1: F[A1])(f: (A0, A1) ⇒ B)(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[B]

    Permalink

    Combines 2 F values using the provided function f.

  62. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  63. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  64. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  65. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  66. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  67. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19], a20: F[A20], a21: F[A21])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21)]

    Permalink

    Combines 22 F values into a tuple.

  68. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19], a20: F[A20])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20)]

    Permalink

    Combines 21 F values into a tuple.

  69. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18], a19: F[A19])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19)]

    Permalink

    Combines 20 F values into a tuple.

  70. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17], a18: F[A18])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18)]

    Permalink

    Combines 19 F values into a tuple.

  71. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16], a17: F[A17])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17)]

    Permalink

    Combines 18 F values into a tuple.

  72. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15], a16: F[A16])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16)]

    Permalink

    Combines 17 F values into a tuple.

  73. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14], a15: F[A15])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15)]

    Permalink

    Combines 16 F values into a tuple.

  74. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13], a14: F[A14])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14)]

    Permalink

    Combines 15 F values into a tuple.

  75. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12], a13: F[A13])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13)]

    Permalink

    Combines 14 F values into a tuple.

  76. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11], a12: F[A12])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12)]

    Permalink

    Combines 13 F values into a tuple.

  77. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10], a11: F[A11])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11)]

    Permalink

    Combines 12 F values into a tuple.

  78. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9], a10: F[A10])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10)]

    Permalink

    Combines 11 F values into a tuple.

  79. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8, A9](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8], a9: F[A9])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8, A9)]

    Permalink

    Combines 10 F values into a tuple.

  80. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7, A8](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7], a8: F[A8])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7, A8)]

    Permalink

    Combines 9 F values into a tuple.

  81. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6, A7](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6], a7: F[A7])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6, A7)]

    Permalink

    Combines 8 F values into a tuple.

  82. def tupleN[F[+_], A0, A1, A2, A3, A4, A5, A6](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5], a6: F[A6])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5, A6)]

    Permalink

    Combines 7 F values into a tuple.

  83. def tupleN[F[+_], A0, A1, A2, A3, A4, A5](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4], a5: F[A5])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4, A5)]

    Permalink

    Combines 6 F values into a tuple.

  84. def tupleN[F[+_], A0, A1, A2, A3, A4](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3], a4: F[A4])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3, A4)]

    Permalink

    Combines 5 F values into a tuple.

  85. def tupleN[F[+_], A0, A1, A2, A3](a0: F[A0], a1: F[A1], a2: F[A2], a3: F[A3])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2, A3)]

    Permalink

    Combines 4 F values into a tuple.

  86. def tupleN[F[+_], A0, A1, A2](a0: F[A0], a1: F[A1], a2: F[A2])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1, A2)]

    Permalink

    Combines 3 F values into a tuple.

  87. def tupleN[F[+_], A0, A1](a0: F[A0], a1: F[A1])(implicit arg0: AssociativeBoth[F], arg1: Covariant[F]): F[(A0, A1)]

    Permalink

    Combines 2 F values into a tuple.

  88. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  89. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  90. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from test.laws.ZLawfulF.Invariant[AssociativeBothDeriveEqualInvariant, Equal, Any]

Inherited from AnyRef

Inherited from Any

Ungrouped