cats
.
std
TupleInstances
Related Doc:
package std
trait
TupleInstances
extends
Tuple2Instances
with
kernel.std.TupleInstances
Linear Supertypes
kernel.std.TupleInstances
,
Tuple2Instances
,
AnyRef
,
Any
Known Subclasses
AllInstances
,
AnyValInstances
,
all
,
implicits
,
tuple
Ordering
Alphabetic
By Inheritance
Inherited
TupleInstances
TupleInstances
Tuple2Instances
AnyRef
Any
Hide All
Show All
Visibility
Public
All
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
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
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
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
implicit
def
tuple10Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
TupleInstances
implicit
def
tuple10Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
TupleInstances
implicit
def
tuple10Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
TupleInstances
implicit
def
tuple10Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
TupleInstances
implicit
def
tuple10Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
TupleInstances
implicit
def
tuple10PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
TupleInstances
implicit
def
tuple10Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
TupleInstances
implicit
def
tuple10Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
TupleInstances
implicit
def
tuple11Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
TupleInstances
implicit
def
tuple11Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
TupleInstances
implicit
def
tuple11Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
TupleInstances
implicit
def
tuple11Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
TupleInstances
implicit
def
tuple11Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
TupleInstances
implicit
def
tuple11PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
TupleInstances
implicit
def
tuple11Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
TupleInstances
implicit
def
tuple11Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
TupleInstances
implicit
def
tuple12Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
TupleInstances
implicit
def
tuple12Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
TupleInstances
implicit
def
tuple12Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
TupleInstances
implicit
def
tuple12Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
TupleInstances
implicit
def
tuple12Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
TupleInstances
implicit
def
tuple12PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
TupleInstances
implicit
def
tuple12Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
TupleInstances
implicit
def
tuple12Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
TupleInstances
implicit
def
tuple13Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
,
A12:
Band
[
A12
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
TupleInstances
implicit
def
tuple13Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
,
A12:
kernel.Eq
[
A12
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
TupleInstances
implicit
def
tuple13Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
,
A12:
kernel.Group
[
A12
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
TupleInstances
implicit
def
tuple13Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
,
A12:
kernel.Monoid
[
A12
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
TupleInstances
implicit
def
tuple13Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
,
A12:
kernel.Order
[
A12
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
TupleInstances
implicit
def
tuple13PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
,
A12:
kernel.PartialOrder
[
A12
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
TupleInstances
implicit
def
tuple13Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
,
A12:
kernel.Semigroup
[
A12
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
TupleInstances
implicit
def
tuple13Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
,
A12:
Semilattice
[
A12
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
TupleInstances
implicit
def
tuple14Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
,
A12:
Band
[
A12
]
,
A13:
Band
[
A13
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
TupleInstances
implicit
def
tuple14Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
,
A12:
kernel.Eq
[
A12
]
,
A13:
kernel.Eq
[
A13
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
TupleInstances
implicit
def
tuple14Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
,
A12:
kernel.Group
[
A12
]
,
A13:
kernel.Group
[
A13
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
TupleInstances
implicit
def
tuple14Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
,
A12:
kernel.Monoid
[
A12
]
,
A13:
kernel.Monoid
[
A13
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
TupleInstances
implicit
def
tuple14Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
,
A12:
kernel.Order
[
A12
]
,
A13:
kernel.Order
[
A13
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
TupleInstances
implicit
def
tuple14PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
,
A12:
kernel.PartialOrder
[
A12
]
,
A13:
kernel.PartialOrder
[
A13
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
TupleInstances
implicit
def
tuple14Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
,
A12:
kernel.Semigroup
[
A12
]
,
A13:
kernel.Semigroup
[
A13
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
TupleInstances
implicit
def
tuple14Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
,
A12:
Semilattice
[
A12
]
,
A13:
Semilattice
[
A13
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
TupleInstances
implicit
def
tuple15Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
,
A12:
Band
[
A12
]
,
A13:
Band
[
A13
]
,
A14:
Band
[
A14
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
TupleInstances
implicit
def
tuple15Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
,
A12:
kernel.Eq
[
A12
]
,
A13:
kernel.Eq
[
A13
]
,
A14:
kernel.Eq
[
A14
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
TupleInstances
implicit
def
tuple15Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
,
A12:
kernel.Group
[
A12
]
,
A13:
kernel.Group
[
A13
]
,
A14:
kernel.Group
[
A14
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
TupleInstances
implicit
def
tuple15Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
,
A12:
kernel.Monoid
[
A12
]
,
A13:
kernel.Monoid
[
A13
]
,
A14:
kernel.Monoid
[
A14
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
TupleInstances
implicit
def
tuple15Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
,
A12:
kernel.Order
[
A12
]
,
A13:
kernel.Order
[
A13
]
,
A14:
kernel.Order
[
A14
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
TupleInstances
implicit
def
tuple15PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
,
A12:
kernel.PartialOrder
[
A12
]
,
A13:
kernel.PartialOrder
[
A13
]
,
A14:
kernel.PartialOrder
[
A14
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
TupleInstances
implicit
def
tuple15Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
,
A12:
kernel.Semigroup
[
A12
]
,
A13:
kernel.Semigroup
[
A13
]
,
A14:
kernel.Semigroup
[
A14
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
TupleInstances
implicit
def
tuple15Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
,
A12:
Semilattice
[
A12
]
,
A13:
Semilattice
[
A13
]
,
A14:
Semilattice
[
A14
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
TupleInstances
implicit
def
tuple16Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
,
A12:
Band
[
A12
]
,
A13:
Band
[
A13
]
,
A14:
Band
[
A14
]
,
A15:
Band
[
A15
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
TupleInstances
implicit
def
tuple16Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
,
A12:
kernel.Eq
[
A12
]
,
A13:
kernel.Eq
[
A13
]
,
A14:
kernel.Eq
[
A14
]
,
A15:
kernel.Eq
[
A15
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
TupleInstances
implicit
def
tuple16Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
,
A12:
kernel.Group
[
A12
]
,
A13:
kernel.Group
[
A13
]
,
A14:
kernel.Group
[
A14
]
,
A15:
kernel.Group
[
A15
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
TupleInstances
implicit
def
tuple16Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
,
A12:
kernel.Monoid
[
A12
]
,
A13:
kernel.Monoid
[
A13
]
,
A14:
kernel.Monoid
[
A14
]
,
A15:
kernel.Monoid
[
A15
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
TupleInstances
implicit
def
tuple16Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
,
A12:
kernel.Order
[
A12
]
,
A13:
kernel.Order
[
A13
]
,
A14:
kernel.Order
[
A14
]
,
A15:
kernel.Order
[
A15
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
TupleInstances
implicit
def
tuple16PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
,
A12:
kernel.PartialOrder
[
A12
]
,
A13:
kernel.PartialOrder
[
A13
]
,
A14:
kernel.PartialOrder
[
A14
]
,
A15:
kernel.PartialOrder
[
A15
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
TupleInstances
implicit
def
tuple16Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
,
A12:
kernel.Semigroup
[
A12
]
,
A13:
kernel.Semigroup
[
A13
]
,
A14:
kernel.Semigroup
[
A14
]
,
A15:
kernel.Semigroup
[
A15
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
TupleInstances
implicit
def
tuple16Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
,
A12:
Semilattice
[
A12
]
,
A13:
Semilattice
[
A13
]
,
A14:
Semilattice
[
A14
]
,
A15:
Semilattice
[
A15
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
TupleInstances
implicit
def
tuple17Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
,
A12:
Band
[
A12
]
,
A13:
Band
[
A13
]
,
A14:
Band
[
A14
]
,
A15:
Band
[
A15
]
,
A16:
Band
[
A16
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
TupleInstances
implicit
def
tuple17Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
,
A12:
kernel.Eq
[
A12
]
,
A13:
kernel.Eq
[
A13
]
,
A14:
kernel.Eq
[
A14
]
,
A15:
kernel.Eq
[
A15
]
,
A16:
kernel.Eq
[
A16
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
TupleInstances
implicit
def
tuple17Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
,
A12:
kernel.Group
[
A12
]
,
A13:
kernel.Group
[
A13
]
,
A14:
kernel.Group
[
A14
]
,
A15:
kernel.Group
[
A15
]
,
A16:
kernel.Group
[
A16
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
TupleInstances
implicit
def
tuple17Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
,
A12:
kernel.Monoid
[
A12
]
,
A13:
kernel.Monoid
[
A13
]
,
A14:
kernel.Monoid
[
A14
]
,
A15:
kernel.Monoid
[
A15
]
,
A16:
kernel.Monoid
[
A16
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
TupleInstances
implicit
def
tuple17Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
,
A12:
kernel.Order
[
A12
]
,
A13:
kernel.Order
[
A13
]
,
A14:
kernel.Order
[
A14
]
,
A15:
kernel.Order
[
A15
]
,
A16:
kernel.Order
[
A16
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
TupleInstances
implicit
def
tuple17PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
,
A12:
kernel.PartialOrder
[
A12
]
,
A13:
kernel.PartialOrder
[
A13
]
,
A14:
kernel.PartialOrder
[
A14
]
,
A15:
kernel.PartialOrder
[
A15
]
,
A16:
kernel.PartialOrder
[
A16
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
TupleInstances
implicit
def
tuple17Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
,
A12:
kernel.Semigroup
[
A12
]
,
A13:
kernel.Semigroup
[
A13
]
,
A14:
kernel.Semigroup
[
A14
]
,
A15:
kernel.Semigroup
[
A15
]
,
A16:
kernel.Semigroup
[
A16
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
TupleInstances
implicit
def
tuple17Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
,
A12:
Semilattice
[
A12
]
,
A13:
Semilattice
[
A13
]
,
A14:
Semilattice
[
A14
]
,
A15:
Semilattice
[
A15
]
,
A16:
Semilattice
[
A16
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
TupleInstances
implicit
def
tuple18Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
,
A12:
Band
[
A12
]
,
A13:
Band
[
A13
]
,
A14:
Band
[
A14
]
,
A15:
Band
[
A15
]
,
A16:
Band
[
A16
]
,
A17:
Band
[
A17
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
TupleInstances
implicit
def
tuple18Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
,
A12:
kernel.Eq
[
A12
]
,
A13:
kernel.Eq
[
A13
]
,
A14:
kernel.Eq
[
A14
]
,
A15:
kernel.Eq
[
A15
]
,
A16:
kernel.Eq
[
A16
]
,
A17:
kernel.Eq
[
A17
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
TupleInstances
implicit
def
tuple18Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
,
A12:
kernel.Group
[
A12
]
,
A13:
kernel.Group
[
A13
]
,
A14:
kernel.Group
[
A14
]
,
A15:
kernel.Group
[
A15
]
,
A16:
kernel.Group
[
A16
]
,
A17:
kernel.Group
[
A17
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
TupleInstances
implicit
def
tuple18Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
,
A12:
kernel.Monoid
[
A12
]
,
A13:
kernel.Monoid
[
A13
]
,
A14:
kernel.Monoid
[
A14
]
,
A15:
kernel.Monoid
[
A15
]
,
A16:
kernel.Monoid
[
A16
]
,
A17:
kernel.Monoid
[
A17
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
TupleInstances
implicit
def
tuple18Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
,
A12:
kernel.Order
[
A12
]
,
A13:
kernel.Order
[
A13
]
,
A14:
kernel.Order
[
A14
]
,
A15:
kernel.Order
[
A15
]
,
A16:
kernel.Order
[
A16
]
,
A17:
kernel.Order
[
A17
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
TupleInstances
implicit
def
tuple18PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
,
A12:
kernel.PartialOrder
[
A12
]
,
A13:
kernel.PartialOrder
[
A13
]
,
A14:
kernel.PartialOrder
[
A14
]
,
A15:
kernel.PartialOrder
[
A15
]
,
A16:
kernel.PartialOrder
[
A16
]
,
A17:
kernel.PartialOrder
[
A17
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
TupleInstances
implicit
def
tuple18Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
,
A12:
kernel.Semigroup
[
A12
]
,
A13:
kernel.Semigroup
[
A13
]
,
A14:
kernel.Semigroup
[
A14
]
,
A15:
kernel.Semigroup
[
A15
]
,
A16:
kernel.Semigroup
[
A16
]
,
A17:
kernel.Semigroup
[
A17
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
TupleInstances
implicit
def
tuple18Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
,
A12:
Semilattice
[
A12
]
,
A13:
Semilattice
[
A13
]
,
A14:
Semilattice
[
A14
]
,
A15:
Semilattice
[
A15
]
,
A16:
Semilattice
[
A16
]
,
A17:
Semilattice
[
A17
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
TupleInstances
implicit
def
tuple19Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
,
A12:
Band
[
A12
]
,
A13:
Band
[
A13
]
,
A14:
Band
[
A14
]
,
A15:
Band
[
A15
]
,
A16:
Band
[
A16
]
,
A17:
Band
[
A17
]
,
A18:
Band
[
A18
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
TupleInstances
implicit
def
tuple19Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
,
A12:
kernel.Eq
[
A12
]
,
A13:
kernel.Eq
[
A13
]
,
A14:
kernel.Eq
[
A14
]
,
A15:
kernel.Eq
[
A15
]
,
A16:
kernel.Eq
[
A16
]
,
A17:
kernel.Eq
[
A17
]
,
A18:
kernel.Eq
[
A18
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
TupleInstances
implicit
def
tuple19Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
,
A12:
kernel.Group
[
A12
]
,
A13:
kernel.Group
[
A13
]
,
A14:
kernel.Group
[
A14
]
,
A15:
kernel.Group
[
A15
]
,
A16:
kernel.Group
[
A16
]
,
A17:
kernel.Group
[
A17
]
,
A18:
kernel.Group
[
A18
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
TupleInstances
implicit
def
tuple19Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
,
A12:
kernel.Monoid
[
A12
]
,
A13:
kernel.Monoid
[
A13
]
,
A14:
kernel.Monoid
[
A14
]
,
A15:
kernel.Monoid
[
A15
]
,
A16:
kernel.Monoid
[
A16
]
,
A17:
kernel.Monoid
[
A17
]
,
A18:
kernel.Monoid
[
A18
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
TupleInstances
implicit
def
tuple19Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
,
A12:
kernel.Order
[
A12
]
,
A13:
kernel.Order
[
A13
]
,
A14:
kernel.Order
[
A14
]
,
A15:
kernel.Order
[
A15
]
,
A16:
kernel.Order
[
A16
]
,
A17:
kernel.Order
[
A17
]
,
A18:
kernel.Order
[
A18
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
TupleInstances
implicit
def
tuple19PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
,
A12:
kernel.PartialOrder
[
A12
]
,
A13:
kernel.PartialOrder
[
A13
]
,
A14:
kernel.PartialOrder
[
A14
]
,
A15:
kernel.PartialOrder
[
A15
]
,
A16:
kernel.PartialOrder
[
A16
]
,
A17:
kernel.PartialOrder
[
A17
]
,
A18:
kernel.PartialOrder
[
A18
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
TupleInstances
implicit
def
tuple19Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
,
A12:
kernel.Semigroup
[
A12
]
,
A13:
kernel.Semigroup
[
A13
]
,
A14:
kernel.Semigroup
[
A14
]
,
A15:
kernel.Semigroup
[
A15
]
,
A16:
kernel.Semigroup
[
A16
]
,
A17:
kernel.Semigroup
[
A17
]
,
A18:
kernel.Semigroup
[
A18
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
TupleInstances
implicit
def
tuple19Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
,
A12:
Semilattice
[
A12
]
,
A13:
Semilattice
[
A13
]
,
A14:
Semilattice
[
A14
]
,
A15:
Semilattice
[
A15
]
,
A16:
Semilattice
[
A16
]
,
A17:
Semilattice
[
A17
]
,
A18:
Semilattice
[
A18
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
TupleInstances
implicit
def
tuple1Band
[
A0
]
(
implicit
A0:
Band
[
A0
]
)
:
Band
[(
A0
)]
Definition Classes
TupleInstances
implicit
def
tuple1Eq
[
A0
]
(
implicit
A0:
kernel.Eq
[
A0
]
)
:
kernel.Eq
[(
A0
)]
Definition Classes
TupleInstances
implicit
def
tuple1Group
[
A0
]
(
implicit
A0:
kernel.Group
[
A0
]
)
:
kernel.Group
[(
A0
)]
Definition Classes
TupleInstances
implicit
def
tuple1Monoid
[
A0
]
(
implicit
A0:
kernel.Monoid
[
A0
]
)
:
kernel.Monoid
[(
A0
)]
Definition Classes
TupleInstances
implicit
def
tuple1Order
[
A0
]
(
implicit
A0:
kernel.Order
[
A0
]
)
:
kernel.Order
[(
A0
)]
Definition Classes
TupleInstances
implicit
def
tuple1PartialOrder
[
A0
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
)
:
kernel.PartialOrder
[(
A0
)]
Definition Classes
TupleInstances
implicit
def
tuple1Semigroup
[
A0
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
)
:
kernel.Semigroup
[(
A0
)]
Definition Classes
TupleInstances
implicit
def
tuple1Semilattice
[
A0
]
(
implicit
A0:
Semilattice
[
A0
]
)
:
Semilattice
[(
A0
)]
Definition Classes
TupleInstances
implicit
def
tuple20Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
,
A12:
Band
[
A12
]
,
A13:
Band
[
A13
]
,
A14:
Band
[
A14
]
,
A15:
Band
[
A15
]
,
A16:
Band
[
A16
]
,
A17:
Band
[
A17
]
,
A18:
Band
[
A18
]
,
A19:
Band
[
A19
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
TupleInstances
implicit
def
tuple20Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
,
A12:
kernel.Eq
[
A12
]
,
A13:
kernel.Eq
[
A13
]
,
A14:
kernel.Eq
[
A14
]
,
A15:
kernel.Eq
[
A15
]
,
A16:
kernel.Eq
[
A16
]
,
A17:
kernel.Eq
[
A17
]
,
A18:
kernel.Eq
[
A18
]
,
A19:
kernel.Eq
[
A19
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
TupleInstances
implicit
def
tuple20Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
,
A12:
kernel.Group
[
A12
]
,
A13:
kernel.Group
[
A13
]
,
A14:
kernel.Group
[
A14
]
,
A15:
kernel.Group
[
A15
]
,
A16:
kernel.Group
[
A16
]
,
A17:
kernel.Group
[
A17
]
,
A18:
kernel.Group
[
A18
]
,
A19:
kernel.Group
[
A19
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
TupleInstances
implicit
def
tuple20Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
,
A12:
kernel.Monoid
[
A12
]
,
A13:
kernel.Monoid
[
A13
]
,
A14:
kernel.Monoid
[
A14
]
,
A15:
kernel.Monoid
[
A15
]
,
A16:
kernel.Monoid
[
A16
]
,
A17:
kernel.Monoid
[
A17
]
,
A18:
kernel.Monoid
[
A18
]
,
A19:
kernel.Monoid
[
A19
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
TupleInstances
implicit
def
tuple20Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
,
A12:
kernel.Order
[
A12
]
,
A13:
kernel.Order
[
A13
]
,
A14:
kernel.Order
[
A14
]
,
A15:
kernel.Order
[
A15
]
,
A16:
kernel.Order
[
A16
]
,
A17:
kernel.Order
[
A17
]
,
A18:
kernel.Order
[
A18
]
,
A19:
kernel.Order
[
A19
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
TupleInstances
implicit
def
tuple20PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
,
A12:
kernel.PartialOrder
[
A12
]
,
A13:
kernel.PartialOrder
[
A13
]
,
A14:
kernel.PartialOrder
[
A14
]
,
A15:
kernel.PartialOrder
[
A15
]
,
A16:
kernel.PartialOrder
[
A16
]
,
A17:
kernel.PartialOrder
[
A17
]
,
A18:
kernel.PartialOrder
[
A18
]
,
A19:
kernel.PartialOrder
[
A19
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
TupleInstances
implicit
def
tuple20Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
,
A12:
kernel.Semigroup
[
A12
]
,
A13:
kernel.Semigroup
[
A13
]
,
A14:
kernel.Semigroup
[
A14
]
,
A15:
kernel.Semigroup
[
A15
]
,
A16:
kernel.Semigroup
[
A16
]
,
A17:
kernel.Semigroup
[
A17
]
,
A18:
kernel.Semigroup
[
A18
]
,
A19:
kernel.Semigroup
[
A19
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
TupleInstances
implicit
def
tuple20Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
,
A12:
Semilattice
[
A12
]
,
A13:
Semilattice
[
A13
]
,
A14:
Semilattice
[
A14
]
,
A15:
Semilattice
[
A15
]
,
A16:
Semilattice
[
A16
]
,
A17:
Semilattice
[
A17
]
,
A18:
Semilattice
[
A18
]
,
A19:
Semilattice
[
A19
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
TupleInstances
implicit
def
tuple21Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
,
A12:
Band
[
A12
]
,
A13:
Band
[
A13
]
,
A14:
Band
[
A14
]
,
A15:
Band
[
A15
]
,
A16:
Band
[
A16
]
,
A17:
Band
[
A17
]
,
A18:
Band
[
A18
]
,
A19:
Band
[
A19
]
,
A20:
Band
[
A20
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
TupleInstances
implicit
def
tuple21Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
,
A12:
kernel.Eq
[
A12
]
,
A13:
kernel.Eq
[
A13
]
,
A14:
kernel.Eq
[
A14
]
,
A15:
kernel.Eq
[
A15
]
,
A16:
kernel.Eq
[
A16
]
,
A17:
kernel.Eq
[
A17
]
,
A18:
kernel.Eq
[
A18
]
,
A19:
kernel.Eq
[
A19
]
,
A20:
kernel.Eq
[
A20
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
TupleInstances
implicit
def
tuple21Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
,
A12:
kernel.Group
[
A12
]
,
A13:
kernel.Group
[
A13
]
,
A14:
kernel.Group
[
A14
]
,
A15:
kernel.Group
[
A15
]
,
A16:
kernel.Group
[
A16
]
,
A17:
kernel.Group
[
A17
]
,
A18:
kernel.Group
[
A18
]
,
A19:
kernel.Group
[
A19
]
,
A20:
kernel.Group
[
A20
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
TupleInstances
implicit
def
tuple21Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
,
A12:
kernel.Monoid
[
A12
]
,
A13:
kernel.Monoid
[
A13
]
,
A14:
kernel.Monoid
[
A14
]
,
A15:
kernel.Monoid
[
A15
]
,
A16:
kernel.Monoid
[
A16
]
,
A17:
kernel.Monoid
[
A17
]
,
A18:
kernel.Monoid
[
A18
]
,
A19:
kernel.Monoid
[
A19
]
,
A20:
kernel.Monoid
[
A20
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
TupleInstances
implicit
def
tuple21Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
,
A12:
kernel.Order
[
A12
]
,
A13:
kernel.Order
[
A13
]
,
A14:
kernel.Order
[
A14
]
,
A15:
kernel.Order
[
A15
]
,
A16:
kernel.Order
[
A16
]
,
A17:
kernel.Order
[
A17
]
,
A18:
kernel.Order
[
A18
]
,
A19:
kernel.Order
[
A19
]
,
A20:
kernel.Order
[
A20
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
TupleInstances
implicit
def
tuple21PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
,
A12:
kernel.PartialOrder
[
A12
]
,
A13:
kernel.PartialOrder
[
A13
]
,
A14:
kernel.PartialOrder
[
A14
]
,
A15:
kernel.PartialOrder
[
A15
]
,
A16:
kernel.PartialOrder
[
A16
]
,
A17:
kernel.PartialOrder
[
A17
]
,
A18:
kernel.PartialOrder
[
A18
]
,
A19:
kernel.PartialOrder
[
A19
]
,
A20:
kernel.PartialOrder
[
A20
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
TupleInstances
implicit
def
tuple21Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
,
A12:
kernel.Semigroup
[
A12
]
,
A13:
kernel.Semigroup
[
A13
]
,
A14:
kernel.Semigroup
[
A14
]
,
A15:
kernel.Semigroup
[
A15
]
,
A16:
kernel.Semigroup
[
A16
]
,
A17:
kernel.Semigroup
[
A17
]
,
A18:
kernel.Semigroup
[
A18
]
,
A19:
kernel.Semigroup
[
A19
]
,
A20:
kernel.Semigroup
[
A20
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
TupleInstances
implicit
def
tuple21Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
,
A12:
Semilattice
[
A12
]
,
A13:
Semilattice
[
A13
]
,
A14:
Semilattice
[
A14
]
,
A15:
Semilattice
[
A15
]
,
A16:
Semilattice
[
A16
]
,
A17:
Semilattice
[
A17
]
,
A18:
Semilattice
[
A18
]
,
A19:
Semilattice
[
A19
]
,
A20:
Semilattice
[
A20
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
TupleInstances
implicit
def
tuple22Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
,
A9:
Band
[
A9
]
,
A10:
Band
[
A10
]
,
A11:
Band
[
A11
]
,
A12:
Band
[
A12
]
,
A13:
Band
[
A13
]
,
A14:
Band
[
A14
]
,
A15:
Band
[
A15
]
,
A16:
Band
[
A16
]
,
A17:
Band
[
A17
]
,
A18:
Band
[
A18
]
,
A19:
Band
[
A19
]
,
A20:
Band
[
A20
]
,
A21:
Band
[
A21
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
TupleInstances
implicit
def
tuple22Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
,
A9:
kernel.Eq
[
A9
]
,
A10:
kernel.Eq
[
A10
]
,
A11:
kernel.Eq
[
A11
]
,
A12:
kernel.Eq
[
A12
]
,
A13:
kernel.Eq
[
A13
]
,
A14:
kernel.Eq
[
A14
]
,
A15:
kernel.Eq
[
A15
]
,
A16:
kernel.Eq
[
A16
]
,
A17:
kernel.Eq
[
A17
]
,
A18:
kernel.Eq
[
A18
]
,
A19:
kernel.Eq
[
A19
]
,
A20:
kernel.Eq
[
A20
]
,
A21:
kernel.Eq
[
A21
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
TupleInstances
implicit
def
tuple22Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
,
A9:
kernel.Group
[
A9
]
,
A10:
kernel.Group
[
A10
]
,
A11:
kernel.Group
[
A11
]
,
A12:
kernel.Group
[
A12
]
,
A13:
kernel.Group
[
A13
]
,
A14:
kernel.Group
[
A14
]
,
A15:
kernel.Group
[
A15
]
,
A16:
kernel.Group
[
A16
]
,
A17:
kernel.Group
[
A17
]
,
A18:
kernel.Group
[
A18
]
,
A19:
kernel.Group
[
A19
]
,
A20:
kernel.Group
[
A20
]
,
A21:
kernel.Group
[
A21
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
TupleInstances
implicit
def
tuple22Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
,
A9:
kernel.Monoid
[
A9
]
,
A10:
kernel.Monoid
[
A10
]
,
A11:
kernel.Monoid
[
A11
]
,
A12:
kernel.Monoid
[
A12
]
,
A13:
kernel.Monoid
[
A13
]
,
A14:
kernel.Monoid
[
A14
]
,
A15:
kernel.Monoid
[
A15
]
,
A16:
kernel.Monoid
[
A16
]
,
A17:
kernel.Monoid
[
A17
]
,
A18:
kernel.Monoid
[
A18
]
,
A19:
kernel.Monoid
[
A19
]
,
A20:
kernel.Monoid
[
A20
]
,
A21:
kernel.Monoid
[
A21
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
TupleInstances
implicit
def
tuple22Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
,
A9:
kernel.Order
[
A9
]
,
A10:
kernel.Order
[
A10
]
,
A11:
kernel.Order
[
A11
]
,
A12:
kernel.Order
[
A12
]
,
A13:
kernel.Order
[
A13
]
,
A14:
kernel.Order
[
A14
]
,
A15:
kernel.Order
[
A15
]
,
A16:
kernel.Order
[
A16
]
,
A17:
kernel.Order
[
A17
]
,
A18:
kernel.Order
[
A18
]
,
A19:
kernel.Order
[
A19
]
,
A20:
kernel.Order
[
A20
]
,
A21:
kernel.Order
[
A21
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
TupleInstances
implicit
def
tuple22PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
,
A9:
kernel.PartialOrder
[
A9
]
,
A10:
kernel.PartialOrder
[
A10
]
,
A11:
kernel.PartialOrder
[
A11
]
,
A12:
kernel.PartialOrder
[
A12
]
,
A13:
kernel.PartialOrder
[
A13
]
,
A14:
kernel.PartialOrder
[
A14
]
,
A15:
kernel.PartialOrder
[
A15
]
,
A16:
kernel.PartialOrder
[
A16
]
,
A17:
kernel.PartialOrder
[
A17
]
,
A18:
kernel.PartialOrder
[
A18
]
,
A19:
kernel.PartialOrder
[
A19
]
,
A20:
kernel.PartialOrder
[
A20
]
,
A21:
kernel.PartialOrder
[
A21
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
TupleInstances
implicit
def
tuple22Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
,
A9:
kernel.Semigroup
[
A9
]
,
A10:
kernel.Semigroup
[
A10
]
,
A11:
kernel.Semigroup
[
A11
]
,
A12:
kernel.Semigroup
[
A12
]
,
A13:
kernel.Semigroup
[
A13
]
,
A14:
kernel.Semigroup
[
A14
]
,
A15:
kernel.Semigroup
[
A15
]
,
A16:
kernel.Semigroup
[
A16
]
,
A17:
kernel.Semigroup
[
A17
]
,
A18:
kernel.Semigroup
[
A18
]
,
A19:
kernel.Semigroup
[
A19
]
,
A20:
kernel.Semigroup
[
A20
]
,
A21:
kernel.Semigroup
[
A21
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
TupleInstances
implicit
def
tuple22Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
,
A9:
Semilattice
[
A9
]
,
A10:
Semilattice
[
A10
]
,
A11:
Semilattice
[
A11
]
,
A12:
Semilattice
[
A12
]
,
A13:
Semilattice
[
A13
]
,
A14:
Semilattice
[
A14
]
,
A15:
Semilattice
[
A15
]
,
A16:
Semilattice
[
A16
]
,
A17:
Semilattice
[
A17
]
,
A18:
Semilattice
[
A18
]
,
A19:
Semilattice
[
A19
]
,
A20:
Semilattice
[
A20
]
,
A21:
Semilattice
[
A21
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
TupleInstances
implicit
def
tuple2Band
[
A0
,
A1
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
)
:
Band
[(
A0
,
A1
)]
Definition Classes
TupleInstances
implicit
val
tuple2Bitraverse
:
Bitraverse
[
Tuple2
]
Definition Classes
Tuple2Instances
implicit
def
tuple2Eq
[
A0
,
A1
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
)
:
kernel.Eq
[(
A0
,
A1
)]
Definition Classes
TupleInstances
implicit
def
tuple2Group
[
A0
,
A1
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
)
:
kernel.Group
[(
A0
,
A1
)]
Definition Classes
TupleInstances
implicit
def
tuple2Monoid
[
A0
,
A1
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
)
:
kernel.Monoid
[(
A0
,
A1
)]
Definition Classes
TupleInstances
implicit
def
tuple2Order
[
A0
,
A1
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
)
:
kernel.Order
[(
A0
,
A1
)]
Definition Classes
TupleInstances
implicit
def
tuple2PartialOrder
[
A0
,
A1
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
)
:
kernel.PartialOrder
[(
A0
,
A1
)]
Definition Classes
TupleInstances
implicit
def
tuple2Semigroup
[
A0
,
A1
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
)
:
kernel.Semigroup
[(
A0
,
A1
)]
Definition Classes
TupleInstances
implicit
def
tuple2Semilattice
[
A0
,
A1
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
)
:
Semilattice
[(
A0
,
A1
)]
Definition Classes
TupleInstances
implicit
def
tuple2Show
[
A
,
B
]
(
implicit
aShow:
Show
[
A
]
,
bShow:
Show
[
B
]
)
:
Show
[(
A
,
B
)]
Definition Classes
Tuple2Instances
implicit
def
tuple3Band
[
A0
,
A1
,
A2
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
)
:
Band
[(
A0
,
A1
,
A2
)]
Definition Classes
TupleInstances
implicit
def
tuple3Eq
[
A0
,
A1
,
A2
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
)]
Definition Classes
TupleInstances
implicit
def
tuple3Group
[
A0
,
A1
,
A2
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
)]
Definition Classes
TupleInstances
implicit
def
tuple3Monoid
[
A0
,
A1
,
A2
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
)]
Definition Classes
TupleInstances
implicit
def
tuple3Order
[
A0
,
A1
,
A2
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
)]
Definition Classes
TupleInstances
implicit
def
tuple3PartialOrder
[
A0
,
A1
,
A2
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
)]
Definition Classes
TupleInstances
implicit
def
tuple3Semigroup
[
A0
,
A1
,
A2
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
)]
Definition Classes
TupleInstances
implicit
def
tuple3Semilattice
[
A0
,
A1
,
A2
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
)
:
Semilattice
[(
A0
,
A1
,
A2
)]
Definition Classes
TupleInstances
implicit
def
tuple4Band
[
A0
,
A1
,
A2
,
A3
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
)]
Definition Classes
TupleInstances
implicit
def
tuple4Eq
[
A0
,
A1
,
A2
,
A3
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
)]
Definition Classes
TupleInstances
implicit
def
tuple4Group
[
A0
,
A1
,
A2
,
A3
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
)]
Definition Classes
TupleInstances
implicit
def
tuple4Monoid
[
A0
,
A1
,
A2
,
A3
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
)]
Definition Classes
TupleInstances
implicit
def
tuple4Order
[
A0
,
A1
,
A2
,
A3
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
)]
Definition Classes
TupleInstances
implicit
def
tuple4PartialOrder
[
A0
,
A1
,
A2
,
A3
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
)]
Definition Classes
TupleInstances
implicit
def
tuple4Semigroup
[
A0
,
A1
,
A2
,
A3
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
)]
Definition Classes
TupleInstances
implicit
def
tuple4Semilattice
[
A0
,
A1
,
A2
,
A3
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
)]
Definition Classes
TupleInstances
implicit
def
tuple5Band
[
A0
,
A1
,
A2
,
A3
,
A4
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
)]
Definition Classes
TupleInstances
implicit
def
tuple5Eq
[
A0
,
A1
,
A2
,
A3
,
A4
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
)]
Definition Classes
TupleInstances
implicit
def
tuple5Group
[
A0
,
A1
,
A2
,
A3
,
A4
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
)]
Definition Classes
TupleInstances
implicit
def
tuple5Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
)]
Definition Classes
TupleInstances
implicit
def
tuple5Order
[
A0
,
A1
,
A2
,
A3
,
A4
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
)]
Definition Classes
TupleInstances
implicit
def
tuple5PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
)]
Definition Classes
TupleInstances
implicit
def
tuple5Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
)]
Definition Classes
TupleInstances
implicit
def
tuple5Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
)]
Definition Classes
TupleInstances
implicit
def
tuple6Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
TupleInstances
implicit
def
tuple6Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
TupleInstances
implicit
def
tuple6Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
TupleInstances
implicit
def
tuple6Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
TupleInstances
implicit
def
tuple6Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
TupleInstances
implicit
def
tuple6PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
TupleInstances
implicit
def
tuple6Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
TupleInstances
implicit
def
tuple6Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
TupleInstances
implicit
def
tuple7Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
TupleInstances
implicit
def
tuple7Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
TupleInstances
implicit
def
tuple7Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
TupleInstances
implicit
def
tuple7Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
TupleInstances
implicit
def
tuple7Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
TupleInstances
implicit
def
tuple7PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
TupleInstances
implicit
def
tuple7Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
TupleInstances
implicit
def
tuple7Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
TupleInstances
implicit
def
tuple8Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
TupleInstances
implicit
def
tuple8Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
TupleInstances
implicit
def
tuple8Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
TupleInstances
implicit
def
tuple8Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
TupleInstances
implicit
def
tuple8Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
TupleInstances
implicit
def
tuple8PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
TupleInstances
implicit
def
tuple8Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
TupleInstances
implicit
def
tuple8Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
TupleInstances
implicit
def
tuple9Band
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
A0:
Band
[
A0
]
,
A1:
Band
[
A1
]
,
A2:
Band
[
A2
]
,
A3:
Band
[
A3
]
,
A4:
Band
[
A4
]
,
A5:
Band
[
A5
]
,
A6:
Band
[
A6
]
,
A7:
Band
[
A7
]
,
A8:
Band
[
A8
]
)
:
Band
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
TupleInstances
implicit
def
tuple9Eq
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
A0:
kernel.Eq
[
A0
]
,
A1:
kernel.Eq
[
A1
]
,
A2:
kernel.Eq
[
A2
]
,
A3:
kernel.Eq
[
A3
]
,
A4:
kernel.Eq
[
A4
]
,
A5:
kernel.Eq
[
A5
]
,
A6:
kernel.Eq
[
A6
]
,
A7:
kernel.Eq
[
A7
]
,
A8:
kernel.Eq
[
A8
]
)
:
kernel.Eq
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
TupleInstances
implicit
def
tuple9Group
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
A0:
kernel.Group
[
A0
]
,
A1:
kernel.Group
[
A1
]
,
A2:
kernel.Group
[
A2
]
,
A3:
kernel.Group
[
A3
]
,
A4:
kernel.Group
[
A4
]
,
A5:
kernel.Group
[
A5
]
,
A6:
kernel.Group
[
A6
]
,
A7:
kernel.Group
[
A7
]
,
A8:
kernel.Group
[
A8
]
)
:
kernel.Group
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
TupleInstances
implicit
def
tuple9Monoid
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
A0:
kernel.Monoid
[
A0
]
,
A1:
kernel.Monoid
[
A1
]
,
A2:
kernel.Monoid
[
A2
]
,
A3:
kernel.Monoid
[
A3
]
,
A4:
kernel.Monoid
[
A4
]
,
A5:
kernel.Monoid
[
A5
]
,
A6:
kernel.Monoid
[
A6
]
,
A7:
kernel.Monoid
[
A7
]
,
A8:
kernel.Monoid
[
A8
]
)
:
kernel.Monoid
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
TupleInstances
implicit
def
tuple9Order
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
A0:
kernel.Order
[
A0
]
,
A1:
kernel.Order
[
A1
]
,
A2:
kernel.Order
[
A2
]
,
A3:
kernel.Order
[
A3
]
,
A4:
kernel.Order
[
A4
]
,
A5:
kernel.Order
[
A5
]
,
A6:
kernel.Order
[
A6
]
,
A7:
kernel.Order
[
A7
]
,
A8:
kernel.Order
[
A8
]
)
:
kernel.Order
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
TupleInstances
implicit
def
tuple9PartialOrder
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
A0:
kernel.PartialOrder
[
A0
]
,
A1:
kernel.PartialOrder
[
A1
]
,
A2:
kernel.PartialOrder
[
A2
]
,
A3:
kernel.PartialOrder
[
A3
]
,
A4:
kernel.PartialOrder
[
A4
]
,
A5:
kernel.PartialOrder
[
A5
]
,
A6:
kernel.PartialOrder
[
A6
]
,
A7:
kernel.PartialOrder
[
A7
]
,
A8:
kernel.PartialOrder
[
A8
]
)
:
kernel.PartialOrder
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
TupleInstances
implicit
def
tuple9Semigroup
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
A0:
kernel.Semigroup
[
A0
]
,
A1:
kernel.Semigroup
[
A1
]
,
A2:
kernel.Semigroup
[
A2
]
,
A3:
kernel.Semigroup
[
A3
]
,
A4:
kernel.Semigroup
[
A4
]
,
A5:
kernel.Semigroup
[
A5
]
,
A6:
kernel.Semigroup
[
A6
]
,
A7:
kernel.Semigroup
[
A7
]
,
A8:
kernel.Semigroup
[
A8
]
)
:
kernel.Semigroup
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
TupleInstances
implicit
def
tuple9Semilattice
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
A0:
Semilattice
[
A0
]
,
A1:
Semilattice
[
A1
]
,
A2:
Semilattice
[
A2
]
,
A3:
Semilattice
[
A3
]
,
A4:
Semilattice
[
A4
]
,
A5:
Semilattice
[
A5
]
,
A6:
Semilattice
[
A6
]
,
A7:
Semilattice
[
A7
]
,
A8:
Semilattice
[
A8
]
)
:
Semilattice
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
TupleInstances
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
kernel.std.TupleInstances
Inherited from
Tuple2Instances
Inherited from
AnyRef
Inherited from
Any
Ungrouped