argonaut
GeneratedCodecJsons
trait
GeneratedCodecJsons
extends
AnyRef
Linear Supertypes
AnyRef
,
Any
Known Subclasses
Argonaut
,
Argonauts
,
CodecJson
,
CodecJsons
Ordering
Alphabetic
By inheritance
Inherited
GeneratedCodecJsons
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
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
casecodec1
[
A
,
X
]
(
f: (
A
) ⇒
X
,
g: (
X
) ⇒
Option
[
A
]
)
(
an:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
)
:
CodecJson
[
X
]
def
casecodec10
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
)
:
CodecJson
[
X
]
def
casecodec11
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
)
:
CodecJson
[
X
]
def
casecodec12
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
)
:
CodecJson
[
X
]
def
casecodec13
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
)
:
CodecJson
[
X
]
def
casecodec14
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
)
:
CodecJson
[
X
]
def
casecodec15
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
)
:
CodecJson
[
X
]
def
casecodec16
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
)
:
CodecJson
[
X
]
def
casecodec17
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
)
:
CodecJson
[
X
]
def
casecodec18
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
,
rn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
,
arg34:
EncodeJson
[
R
]
,
arg35:
DecodeJson
[
R
]
)
:
CodecJson
[
X
]
def
casecodec19
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
,
rn:
Json.JsonString
,
sn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
,
arg34:
EncodeJson
[
R
]
,
arg35:
DecodeJson
[
R
]
,
arg36:
EncodeJson
[
S
]
,
arg37:
DecodeJson
[
S
]
)
:
CodecJson
[
X
]
def
casecodec2
[
A
,
B
,
X
]
(
f: (
A
,
B
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
)
:
CodecJson
[
X
]
def
casecodec20
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
,
rn:
Json.JsonString
,
sn:
Json.JsonString
,
tn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
,
arg34:
EncodeJson
[
R
]
,
arg35:
DecodeJson
[
R
]
,
arg36:
EncodeJson
[
S
]
,
arg37:
DecodeJson
[
S
]
,
arg38:
EncodeJson
[
T
]
,
arg39:
DecodeJson
[
T
]
)
:
CodecJson
[
X
]
def
casecodec21
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
,
rn:
Json.JsonString
,
sn:
Json.JsonString
,
tn:
Json.JsonString
,
un:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
,
arg34:
EncodeJson
[
R
]
,
arg35:
DecodeJson
[
R
]
,
arg36:
EncodeJson
[
S
]
,
arg37:
DecodeJson
[
S
]
,
arg38:
EncodeJson
[
T
]
,
arg39:
DecodeJson
[
T
]
,
arg40:
EncodeJson
[
U
]
,
arg41:
DecodeJson
[
U
]
)
:
CodecJson
[
X
]
def
casecodec22
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
,
rn:
Json.JsonString
,
sn:
Json.JsonString
,
tn:
Json.JsonString
,
un:
Json.JsonString
,
vn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
,
arg34:
EncodeJson
[
R
]
,
arg35:
DecodeJson
[
R
]
,
arg36:
EncodeJson
[
S
]
,
arg37:
DecodeJson
[
S
]
,
arg38:
EncodeJson
[
T
]
,
arg39:
DecodeJson
[
T
]
,
arg40:
EncodeJson
[
U
]
,
arg41:
DecodeJson
[
U
]
,
arg42:
EncodeJson
[
V
]
,
arg43:
DecodeJson
[
V
]
)
:
CodecJson
[
X
]
def
casecodec3
[
A
,
B
,
C
,
X
]
(
f: (
A
,
B
,
C
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
)
:
CodecJson
[
X
]
def
casecodec4
[
A
,
B
,
C
,
D
,
X
]
(
f: (
A
,
B
,
C
,
D
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
)
:
CodecJson
[
X
]
def
casecodec5
[
A
,
B
,
C
,
D
,
E
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
)
:
CodecJson
[
X
]
def
casecodec6
[
A
,
B
,
C
,
D
,
E
,
F
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
)
:
CodecJson
[
X
]
def
casecodec7
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
)
:
CodecJson
[
X
]
def
casecodec8
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
)
:
CodecJson
[
X
]
def
casecodec9
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
) ⇒
X
,
g: (
X
) ⇒
Option
[(
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
)]
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
)
:
CodecJson
[
X
]
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
codec1
[
A
,
X
]
(
f: (
A
) ⇒
X
,
g: (
X
) ⇒
A
)
(
an:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
)
:
CodecJson
[
X
]
def
codec10
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
)
:
CodecJson
[
X
]
def
codec11
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
)
:
CodecJson
[
X
]
def
codec12
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
)
:
CodecJson
[
X
]
def
codec13
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
)
:
CodecJson
[
X
]
def
codec14
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
)
:
CodecJson
[
X
]
def
codec15
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
)
:
CodecJson
[
X
]
def
codec16
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
)
:
CodecJson
[
X
]
def
codec17
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
)
:
CodecJson
[
X
]
def
codec18
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
,
rn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
,
arg34:
EncodeJson
[
R
]
,
arg35:
DecodeJson
[
R
]
)
:
CodecJson
[
X
]
def
codec19
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
,
rn:
Json.JsonString
,
sn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
,
arg34:
EncodeJson
[
R
]
,
arg35:
DecodeJson
[
R
]
,
arg36:
EncodeJson
[
S
]
,
arg37:
DecodeJson
[
S
]
)
:
CodecJson
[
X
]
def
codec2
[
A
,
B
,
X
]
(
f: (
A
,
B
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
)
:
CodecJson
[
X
]
def
codec20
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
,
rn:
Json.JsonString
,
sn:
Json.JsonString
,
tn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
,
arg34:
EncodeJson
[
R
]
,
arg35:
DecodeJson
[
R
]
,
arg36:
EncodeJson
[
S
]
,
arg37:
DecodeJson
[
S
]
,
arg38:
EncodeJson
[
T
]
,
arg39:
DecodeJson
[
T
]
)
:
CodecJson
[
X
]
def
codec21
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
,
rn:
Json.JsonString
,
sn:
Json.JsonString
,
tn:
Json.JsonString
,
un:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
,
arg34:
EncodeJson
[
R
]
,
arg35:
DecodeJson
[
R
]
,
arg36:
EncodeJson
[
S
]
,
arg37:
DecodeJson
[
S
]
,
arg38:
EncodeJson
[
T
]
,
arg39:
DecodeJson
[
T
]
,
arg40:
EncodeJson
[
U
]
,
arg41:
DecodeJson
[
U
]
)
:
CodecJson
[
X
]
def
codec22
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
,
jn:
Json.JsonString
,
kn:
Json.JsonString
,
ln:
Json.JsonString
,
mn:
Json.JsonString
,
nn:
Json.JsonString
,
on:
Json.JsonString
,
pn:
Json.JsonString
,
qn:
Json.JsonString
,
rn:
Json.JsonString
,
sn:
Json.JsonString
,
tn:
Json.JsonString
,
un:
Json.JsonString
,
vn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
,
arg18:
EncodeJson
[
J
]
,
arg19:
DecodeJson
[
J
]
,
arg20:
EncodeJson
[
K
]
,
arg21:
DecodeJson
[
K
]
,
arg22:
EncodeJson
[
L
]
,
arg23:
DecodeJson
[
L
]
,
arg24:
EncodeJson
[
M
]
,
arg25:
DecodeJson
[
M
]
,
arg26:
EncodeJson
[
N
]
,
arg27:
DecodeJson
[
N
]
,
arg28:
EncodeJson
[
O
]
,
arg29:
DecodeJson
[
O
]
,
arg30:
EncodeJson
[
P
]
,
arg31:
DecodeJson
[
P
]
,
arg32:
EncodeJson
[
Q
]
,
arg33:
DecodeJson
[
Q
]
,
arg34:
EncodeJson
[
R
]
,
arg35:
DecodeJson
[
R
]
,
arg36:
EncodeJson
[
S
]
,
arg37:
DecodeJson
[
S
]
,
arg38:
EncodeJson
[
T
]
,
arg39:
DecodeJson
[
T
]
,
arg40:
EncodeJson
[
U
]
,
arg41:
DecodeJson
[
U
]
,
arg42:
EncodeJson
[
V
]
,
arg43:
DecodeJson
[
V
]
)
:
CodecJson
[
X
]
def
codec3
[
A
,
B
,
C
,
X
]
(
f: (
A
,
B
,
C
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
)
:
CodecJson
[
X
]
def
codec4
[
A
,
B
,
C
,
D
,
X
]
(
f: (
A
,
B
,
C
,
D
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
)
:
CodecJson
[
X
]
def
codec5
[
A
,
B
,
C
,
D
,
E
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
)
:
CodecJson
[
X
]
def
codec6
[
A
,
B
,
C
,
D
,
E
,
F
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
)
:
CodecJson
[
X
]
def
codec7
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
)
:
CodecJson
[
X
]
def
codec8
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
)
:
CodecJson
[
X
]
def
codec9
[
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
X
]
(
f: (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
) ⇒
X
,
g: (
X
) ⇒ (
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
)
)
(
an:
Json.JsonString
,
bn:
Json.JsonString
,
cn:
Json.JsonString
,
dn:
Json.JsonString
,
en:
Json.JsonString
,
fn:
Json.JsonString
,
gn:
Json.JsonString
,
hn:
Json.JsonString
,
in:
Json.JsonString
)
(
implicit
arg0:
EncodeJson
[
A
]
,
arg1:
DecodeJson
[
A
]
,
arg2:
EncodeJson
[
B
]
,
arg3:
DecodeJson
[
B
]
,
arg4:
EncodeJson
[
C
]
,
arg5:
DecodeJson
[
C
]
,
arg6:
EncodeJson
[
D
]
,
arg7:
DecodeJson
[
D
]
,
arg8:
EncodeJson
[
E
]
,
arg9:
DecodeJson
[
E
]
,
arg10:
EncodeJson
[
F
]
,
arg11:
DecodeJson
[
F
]
,
arg12:
EncodeJson
[
G
]
,
arg13:
DecodeJson
[
G
]
,
arg14:
EncodeJson
[
H
]
,
arg15:
DecodeJson
[
H
]
,
arg16:
EncodeJson
[
I
]
,
arg17:
DecodeJson
[
I
]
)
:
CodecJson
[
X
]
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
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
AnyRef
Inherited from
Any
Ungrouped