Optics.IxAffineTraversal

Type synonym for a type-modifying indexed affine traversal.

Type synonym for a type-preserving indexed affine traversal.

Build an indexed affine traversal from a matcher and an updater.

If you want to build an IxAffineTraversal from the van Laarhoven representation, use iatraversalVL.

Obtain a potentially empty IxAffineTraversal by taking the element from another AffineFold and using it as an index.

• - Note: This is not a legal IxTraversal, unless you are very careful not to invalidate the predicate on the target (see unsafeFiltered for more details).

This is the trivial empty IxAffineTraversal, i.e. the optic that targets no substructures.

This is the identity element when a Fold, AffineFold, IxFold, IxAffineFold, Traversal or IxTraversal is viewed as a monoid.

>>> 6 & ignored %~ absurd6

Try the first IxAffineTraversal. If it does not return a entry, try the second one.

>>> iover (ifst `iadisjoin` isnd) (++) ("foo", "bar")("barfoo","bar")

>>> iover (ignored `iadisjoin` isnd) (++) ("foo", "bar")("foo","foobar")

Tag for an affine traversal.

Type synonym for a type-modifying van Laarhoven indexed affine traversal.

Note: this isn't exactly van Laarhoven representation as there is no Pointed class (which would be a superclass of Applicative that contains pure but not <*>). You can interpret the first argument as a dictionary of Pointed that supplies the point function (i.e. the implementation of pure).

Type synonym for a type-preserving van Laarhoven indexed affine traversal.

Build an indexed affine traversal from the van Laarhoven representation.

Traverse over the target of an IxAffineTraversal and compute a Functor-based answer.