cats
Cartesian
Related Docs:
trait Cartesian
|
package cats
object
Cartesian
extends
CartesianArityFunctions
with
KernelCartesianInstances
with
Serializable
Linear Supertypes
Serializable
,
Serializable
,
KernelCartesianInstances
,
CartesianArityFunctions
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Cartesian
Serializable
Serializable
KernelCartesianInstances
CartesianArityFunctions
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
trait
AllOps
[
F
[
_
]
,
A
]
extends
Ops
[
F
,
A
]
trait
Ops
[
F
[
_
]
,
A
]
extends
AnyRef
trait
ToCartesianOps
extends
AnyRef
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
apply
[
F
[
_
]
]
(
implicit
instance:
Cartesian
[
F
]
)
:
Cartesian
[
F
]
Annotations
@inline
()
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
implicit
val
catsCartesianEq
:
Cartesian
[
Eq
]
Definition Classes
KernelCartesianInstances
implicit
val
catsInvariantMonoid
:
Cartesian
[
Monoid
]
Definition Classes
KernelCartesianInstances
implicit
val
catsInvariantSemigroup
:
Cartesian
[
Semigroup
]
Definition Classes
KernelCartesianInstances
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
contramap10
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap11
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap12
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap13
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap14
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap15
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap16
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap17
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap18
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap19
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap2
[
F
[
_
]
,
A0
,
A1
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap20
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap21
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
,
f20:
F
[
A20
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap22
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
,
f20:
F
[
A20
]
,
f21:
F
[
A21
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap3
[
F
[
_
]
,
A0
,
A1
,
A2
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap4
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap5
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap6
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap7
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap8
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
contramap9
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
)
(
f: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
contravariant:
Contravariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
imap10
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap11
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap12
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap13
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap14
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap15
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap16
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap17
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap18
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap19
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap2
[
F
[
_
]
,
A0
,
A1
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
)
(
f: (
A0
,
A1
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap20
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap21
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
,
f20:
F
[
A20
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap22
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
,
f20:
F
[
A20
]
,
f21:
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
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap3
[
F
[
_
]
,
A0
,
A1
,
A2
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
)
(
f: (
A0
,
A1
,
A2
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap4
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
)
(
f: (
A0
,
A1
,
A2
,
A3
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap5
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap6
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap7
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap8
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
imap9
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
) ⇒
Z
)
(
g: (
Z
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
map10
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map11
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map12
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map13
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map14
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map15
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map16
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map17
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map18
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map19
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map2
[
F
[
_
]
,
A0
,
A1
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
)
(
f: (
A0
,
A1
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map20
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map21
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
,
f20:
F
[
A20
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map22
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
,
f20:
F
[
A20
]
,
f21:
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
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map3
[
F
[
_
]
,
A0
,
A1
,
A2
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
)
(
f: (
A0
,
A1
,
A2
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map4
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
)
(
f: (
A0
,
A1
,
A2
,
A3
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map5
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map6
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map7
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map8
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
def
map9
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
Z
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
)
(
f: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
) ⇒
Z
)
(
implicit
cartesian:
Cartesian
[
F
]
,
functor:
Functor
[
F
]
)
:
F
[
Z
]
Definition Classes
CartesianArityFunctions
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
object
nonInheritedOps
extends
ToCartesianOps
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
object
ops
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
tuple10
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
CartesianArityFunctions
def
tuple11
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
CartesianArityFunctions
def
tuple12
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
CartesianArityFunctions
def
tuple13
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
CartesianArityFunctions
def
tuple14
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
CartesianArityFunctions
def
tuple15
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
CartesianArityFunctions
def
tuple16
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
CartesianArityFunctions
def
tuple17
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
CartesianArityFunctions
def
tuple18
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
CartesianArityFunctions
def
tuple19
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
CartesianArityFunctions
def
tuple2
[
F
[
_
]
,
A0
,
A1
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
)]
Definition Classes
CartesianArityFunctions
def
tuple20
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
CartesianArityFunctions
def
tuple21
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
,
f20:
F
[
A20
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
CartesianArityFunctions
def
tuple22
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
,
f9:
F
[
A9
]
,
f10:
F
[
A10
]
,
f11:
F
[
A11
]
,
f12:
F
[
A12
]
,
f13:
F
[
A13
]
,
f14:
F
[
A14
]
,
f15:
F
[
A15
]
,
f16:
F
[
A16
]
,
f17:
F
[
A17
]
,
f18:
F
[
A18
]
,
f19:
F
[
A19
]
,
f20:
F
[
A20
]
,
f21:
F
[
A21
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
CartesianArityFunctions
def
tuple3
[
F
[
_
]
,
A0
,
A1
,
A2
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
)]
Definition Classes
CartesianArityFunctions
def
tuple4
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
)]
Definition Classes
CartesianArityFunctions
def
tuple5
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
)]
Definition Classes
CartesianArityFunctions
def
tuple6
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
CartesianArityFunctions
def
tuple7
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
CartesianArityFunctions
def
tuple8
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
CartesianArityFunctions
def
tuple9
[
F
[
_
]
,
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
f0:
F
[
A0
]
,
f1:
F
[
A1
]
,
f2:
F
[
A2
]
,
f3:
F
[
A3
]
,
f4:
F
[
A4
]
,
f5:
F
[
A5
]
,
f6:
F
[
A6
]
,
f7:
F
[
A7
]
,
f8:
F
[
A8
]
)
(
implicit
cartesian:
Cartesian
[
F
]
,
invariant:
Invariant
[
F
]
)
:
F
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
CartesianArityFunctions
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
Serializable
Inherited from
Serializable
Inherited from
KernelCartesianInstances
Inherited from
CartesianArityFunctions
Inherited from
AnyRef
Inherited from
Any
Ungrouped