datomisca
AddTxFunction
Related Doc:
package datomisca
object
AddTxFunction
extends
AddTxFunctionGen
Source
txFunctions.scala
Linear Supertypes
AddTxFunctionGen
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
AddTxFunction
AddTxFunctionGen
AnyRef
Any
Hide All
Show all
Learn more about member selection
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
def
apply
(
kw:
Keyword
)
(
params:
String
*
)
(
lang:
String
,
partition:
Partition
=
Partition.USER
,
imports:
String
=
""
,
requires:
String
=
""
)
(
code:
String
)
:
AddDbFunction
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
typed
(
kw:
Keyword
)
(
param:
String
)
(
lang:
String
,
partition:
Partition
=
Partition.USER
,
imports:
String
=
""
,
requires:
String
=
""
)
(
code:
String
)
:
TypedAddDbFunction0
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
,
In17
,
In18
,
In19
,
In20
,
In21
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
,
p13:
String
,
p14:
String
,
p15:
String
,
p16:
String
,
p17:
String
,
p18:
String
,
p19:
String
,
p20:
String
,
p21:
String
,
p22:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
,
arg11:
ToDatomicCast
[
In12
]
,
arg12:
ToDatomicCast
[
In13
]
,
arg13:
ToDatomicCast
[
In14
]
,
arg14:
ToDatomicCast
[
In15
]
,
arg15:
ToDatomicCast
[
In16
]
,
arg16:
ToDatomicCast
[
In17
]
,
arg17:
ToDatomicCast
[
In18
]
,
arg18:
ToDatomicCast
[
In19
]
,
arg19:
ToDatomicCast
[
In20
]
,
arg20:
ToDatomicCast
[
In21
]
)
:
TypedAddDbFunction21
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
,
In17
,
In18
,
In19
,
In20
,
In21
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
,
In17
,
In18
,
In19
,
In20
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
,
p13:
String
,
p14:
String
,
p15:
String
,
p16:
String
,
p17:
String
,
p18:
String
,
p19:
String
,
p20:
String
,
p21:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
,
arg11:
ToDatomicCast
[
In12
]
,
arg12:
ToDatomicCast
[
In13
]
,
arg13:
ToDatomicCast
[
In14
]
,
arg14:
ToDatomicCast
[
In15
]
,
arg15:
ToDatomicCast
[
In16
]
,
arg16:
ToDatomicCast
[
In17
]
,
arg17:
ToDatomicCast
[
In18
]
,
arg18:
ToDatomicCast
[
In19
]
,
arg19:
ToDatomicCast
[
In20
]
)
:
TypedAddDbFunction20
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
,
In17
,
In18
,
In19
,
In20
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
,
In17
,
In18
,
In19
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
,
p13:
String
,
p14:
String
,
p15:
String
,
p16:
String
,
p17:
String
,
p18:
String
,
p19:
String
,
p20:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
,
arg11:
ToDatomicCast
[
In12
]
,
arg12:
ToDatomicCast
[
In13
]
,
arg13:
ToDatomicCast
[
In14
]
,
arg14:
ToDatomicCast
[
In15
]
,
arg15:
ToDatomicCast
[
In16
]
,
arg16:
ToDatomicCast
[
In17
]
,
arg17:
ToDatomicCast
[
In18
]
,
arg18:
ToDatomicCast
[
In19
]
)
:
TypedAddDbFunction19
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
,
In17
,
In18
,
In19
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
,
In17
,
In18
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
,
p13:
String
,
p14:
String
,
p15:
String
,
p16:
String
,
p17:
String
,
p18:
String
,
p19:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
,
arg11:
ToDatomicCast
[
In12
]
,
arg12:
ToDatomicCast
[
In13
]
,
arg13:
ToDatomicCast
[
In14
]
,
arg14:
ToDatomicCast
[
In15
]
,
arg15:
ToDatomicCast
[
In16
]
,
arg16:
ToDatomicCast
[
In17
]
,
arg17:
ToDatomicCast
[
In18
]
)
:
TypedAddDbFunction18
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
,
In17
,
In18
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
,
In17
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
,
p13:
String
,
p14:
String
,
p15:
String
,
p16:
String
,
p17:
String
,
p18:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
,
arg11:
ToDatomicCast
[
In12
]
,
arg12:
ToDatomicCast
[
In13
]
,
arg13:
ToDatomicCast
[
In14
]
,
arg14:
ToDatomicCast
[
In15
]
,
arg15:
ToDatomicCast
[
In16
]
,
arg16:
ToDatomicCast
[
In17
]
)
:
TypedAddDbFunction17
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
,
In17
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
,
p13:
String
,
p14:
String
,
p15:
String
,
p16:
String
,
p17:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
,
arg11:
ToDatomicCast
[
In12
]
,
arg12:
ToDatomicCast
[
In13
]
,
arg13:
ToDatomicCast
[
In14
]
,
arg14:
ToDatomicCast
[
In15
]
,
arg15:
ToDatomicCast
[
In16
]
)
:
TypedAddDbFunction16
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
,
In16
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
,
p13:
String
,
p14:
String
,
p15:
String
,
p16:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
,
arg11:
ToDatomicCast
[
In12
]
,
arg12:
ToDatomicCast
[
In13
]
,
arg13:
ToDatomicCast
[
In14
]
,
arg14:
ToDatomicCast
[
In15
]
)
:
TypedAddDbFunction15
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
,
In15
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
,
p13:
String
,
p14:
String
,
p15:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
,
arg11:
ToDatomicCast
[
In12
]
,
arg12:
ToDatomicCast
[
In13
]
,
arg13:
ToDatomicCast
[
In14
]
)
:
TypedAddDbFunction14
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
,
In14
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
,
p13:
String
,
p14:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
,
arg11:
ToDatomicCast
[
In12
]
,
arg12:
ToDatomicCast
[
In13
]
)
:
TypedAddDbFunction13
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
,
In13
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
,
p13:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
,
arg11:
ToDatomicCast
[
In12
]
)
:
TypedAddDbFunction12
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
,
In12
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
,
p12:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
,
arg10:
ToDatomicCast
[
In11
]
)
:
TypedAddDbFunction11
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
,
In11
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
,
p11:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
,
arg9:
ToDatomicCast
[
In10
]
)
:
TypedAddDbFunction10
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
,
In10
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
,
p10:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
,
arg8:
ToDatomicCast
[
In9
]
)
:
TypedAddDbFunction9
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
,
In9
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
,
p9:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
,
arg7:
ToDatomicCast
[
In8
]
)
:
TypedAddDbFunction8
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
,
In8
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
,
p8:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
,
arg6:
ToDatomicCast
[
In7
]
)
:
TypedAddDbFunction7
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
,
In7
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
,
p7:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
,
arg5:
ToDatomicCast
[
In6
]
)
:
TypedAddDbFunction6
[
In1
,
In2
,
In3
,
In4
,
In5
,
In6
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
,
In5
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
,
p6:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
,
arg4:
ToDatomicCast
[
In5
]
)
:
TypedAddDbFunction5
[
In1
,
In2
,
In3
,
In4
,
In5
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
,
In4
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
,
p5:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
,
arg3:
ToDatomicCast
[
In4
]
)
:
TypedAddDbFunction4
[
In1
,
In2
,
In3
,
In4
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
,
In3
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
,
p4:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
,
arg2:
ToDatomicCast
[
In3
]
)
:
TypedAddDbFunction3
[
In1
,
In2
,
In3
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
,
In2
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
,
p3:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
,
arg1:
ToDatomicCast
[
In2
]
)
:
TypedAddDbFunction2
[
In1
,
In2
]
Definition Classes
AddTxFunctionGen
def
typed
[
In1
]
(
kw:
Keyword
)
(
p1:
String
,
p2:
String
)
(
lang:
String
,
partition:
Partition
,
imports:
String
,
requires:
String
)
(
code:
String
)
(
implicit
arg0:
ToDatomicCast
[
In1
]
)
:
TypedAddDbFunction1
[
In1
]
Definition Classes
AddTxFunctionGen
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
AddTxFunctionGen
Inherited from
AnyRef
Inherited from
Any
Ungrouped