Traversal

The names of the product elements.

The name of the type.

Composes two traversals. The same as first(second).

Composes a traversal with a lens. The same as first(second).

Composes a traversal with a prism. The same as first(second).

Composes a traversal with an optional. The same as first(second).

Composes a lens with a traversal. The same as first(second).

Composes a prism with a traversal. The same as first(second).

Composes an optional with a traversal. The same as first(second).

Creates a traversal on the elements at indices of a sequence, visited in increasing index order whatever the order of indices. Indices past the end of a sequence are skipped; check reports them as OpticCheck.SequenceIndexOutOfBounds. When another step follows atIndices and the sequence is not indexed (a List, for example), check also reports reachable indices after the first as out of bounds; fold and modify are not affected (a bug, see docs/dev/issues.md).

Creates a traversal on the values at keys in a map, visited in the order of keys. Keys the map does not have are skipped; check reports them as OpticCheck.MissingKey.

Creates a traversal over every element of a List whose elements have the schema reflect.

Creates a traversal over every key of a map. modify rebuilds the map with the new keys.

Creates a traversal over every value of a map.

Creates a traversal over every element of a sequence, such as a List, Vector, Set or Chunk.

Creates a traversal over every element of a Set whose elements have the schema reflect.

Creates a traversal over every element of a Vector whose elements have the schema reflect.