root
API
Generated with
root/org.encalmo.lens/Lens/AdjustableLens

AdjustableLens

org.encalmo.lens.Lens.AdjustableLens
abstract class AdjustableLens[R, T <: Product, V <: Product] extends Lens[R, V], Selectable

Lens instance offering possibility to further select more fine-grained properties.

Attributes

Graph
Supertypes
trait Selectable
trait Lens[R, V]
class Object
trait Matchable
class Any

Members list

Type members

Types

type Fields = Map[From[V], [X] =>> LensOf[R, V, X]]

Value members

Concrete methods

transparent inline def selectDynamic(name: String & Singleton): Lens[R, _ >: Product & TypeByName[From[V], name.type] <: TypeByName[From[V], name.type]]

Inherited and Abstract methods

def get(root: R): V

Attributes

Inherited from:
Lens
def set(root: R)(value: V): R

Attributes

Inherited from:
Lens
def update(root: R, update: V => V): R

Attributes

Inherited from:
Lens
Generated with