neotype-zio
neotype-zio
API
neotype.zio
neotype-zio
/
neotype.zio
neotype.zio
package
neotype.zio
Members list
Clear all
Givens
Givens
given
given_Tag_B
[
A
,
B
](
using
newType
:
WithType
[
A
,
B
],
tag
:
Tag
[
A
]):
Tag
[
B
]
given
given_Tag_B
[
A
,
B
](
using
newType
:
WithType
[
A
,
B
],
tag
:
Tag
[
A
]):
Tag
[
B
]
given
given_Tag_B
[
A
,
B
<:
A
](
using
subType
:
WithType
[
A
,
B
],
tag
:
Tag
[
A
]):
Tag
[
B
]
given
given_Tag_B
[
A
,
B
<:
A
](
using
subType
:
WithType
[
A
,
B
],
tag
:
Tag
[
A
]):
Tag
[
B
]
In this article
Members list
Givens
Givens