jto
.
validation
.
InvariantSyntax
InvariantSyntax15
Related Doc:
package InvariantSyntax
class
InvariantSyntax15
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
extends
AnyRef
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
InvariantSyntax15
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
InvariantSyntax15
(
m1:
M
[
~
[
~
[
~
[
~
[
~
[
~
[
~
[
~
[
~
[
~
[
~
[
~
[
~
[
A0
,
A1
],
A2
],
A3
],
A4
],
A5
],
A6
],
A7
],
A8
],
A9
],
A10
],
A11
],
A12
],
A13
]]
,
m2:
M
[
A14
]
)
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
apply
[
B
]
(
f1: (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
) ⇒
B
,
f2: (
B
) ⇒ (
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)
)
(
implicit
fu:
Invariant
[
M
]
)
:
M
[
B
]
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
def
tupled
(
implicit
fu:
Invariant
[
M
]
)
:
M
[(
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
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
(
...
)
def
~
[
A15
]
(
m3:
M
[
A15
]
)
:
InvariantSyntax16
[
A0
,
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
Inherited from
AnyRef
Inherited from
Any
Ungrouped