calico-widget
calico-widget
calico.widget
Edit
Edit
View
View
Widget
calico-widget
/
calico.widget
/
Edit
Edit
object
Edit
Companion:
class
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
Edit
.type
Givens
Givens
Givens
given
int
[
F
[
_
]](
using
evidence$5:
Async
[
F
]):
int
[
F
]
given
product
[
F
[
_
],
A
<:
Product
](
using
evidence$6:
Async
[
F
],
inst:
ProductInstances
[[
_
]
=>>
Edit
[
F
,
_$31
],
A
],
mirror:
ProductOf
[
A
],
labelling:
Labelling
[
A
]):
product
[
F
,
A
]
given
string
[
F
[
_
]](
using
evidence$4:
Async
[
F
]):
string
[
F
]