General optic composition. Accepts an arbitrary list of optics. It produces the eq, the unit on optic composition, for the empty list.

Lifts a transformation over the part to a transformation on the whole. If the optic does not have the over capability then it throws an exception.

Tries to focus on a sinlge element, produces :no-match if it fails. Note that the failure to find the element does not result in nil because that would break (predicate-prism nil?). If the optic does not have the to-list capability then it throws an exception because preview is defined in terms of to-list.

Replaces the element in the whole by the new focus. Traditionally called set but it clashes with the data structure set. If the optic does not have the over capability then it throws an exception because put is defined in terms of over.

Generates a whole from a given part. If the optic does not have the review capability then it throws an exception.

Given an optic and a whole, returns the focus list. If the optic does not have the to-list capability then it throws an exception.

Reduces a collection inside an applicative. If the optic does not have the traverse capability then it throes an exception.

Given an optic and a whole, returns the focus. If the optic does not have the view capability then it throws an exception.