Module vizia::views::list_derived_lenses

Derived lenses for List.

Structs

• list_len
  Lens for the field list_len on List.
• root
  Lens for the whole List struct.