insarviz.state.observable.Lens module

In this module, we introduce Lenses. Lenses are a first-class representation of plain accessors, but for dynamic values.

Given a lens L and a structure S, L[S] should produce a dynamic value that corresponds to what L “points to” in S.

A lens by itself does not provide values, only the means to observe and modify part of a structure.

class insarviz.state.observable.Lens.AttributeLens(field)

Bases: Lens, Generic

class insarviz.state.observable.Lens.ComposeLens(l1: Lens, l2: Lens)

Bases: Lens, Generic

class insarviz.state.observable.Lens.Lens

Bases: Generic

class insarviz.state.observable.Lens.SELFClass

Bases: object

class insarviz.state.observable.Lens.Unique(l)

Bases: Lens