|
-
Returns:
Lens<Model, Map<ComponentId, BoundingBox>>
|
|
-
Returns:
Lens<Model, float>
|
|
-
Returns:
Lens<Model, XYPos>
|
|
-
Returns:
Lens<Model, XYPos>
|
|
-
Returns:
Lens<XYPosMov, XYPos>
|
|
-
Returns:
Lens<XYPosMov, XYPos>
|
|
-
Returns:
Lens<Model, Option<ScalingBox>>
|
|
-
Returns:
Lens<Model, XYPos>
|
|
-
Returns:
Lens<Model, XYPosMov>
|
|
-
Returns:
Lens<Model, List<ComponentId>>
|
|
-
Returns:
Lens<Model, ConnectionId list>
|
|
-
k
:
ComponentId
-
Returns:
Lens<Model, Symbol>
|
|
-
Returns:
Lens<Model, Model>
|
|
-
Returns:
Lens<Model, Map<ComponentId, Symbol>>
|
|
-
k
:
ConnectionId
-
Returns:
Lens<Model, Wire>
|
|
-
Returns:
Lens<Model, Model>
|
|
-
Returns:
Lens<Model, Map<ConnectionId, Wire>>
|
|
-
Returns:
Lens<Model, float>
|