8.15.0.2

2 Optics Reference🔗ℹ

 (require ocular-patdown) package: ocular-patdown

The ocular-patdown module provides all bindings of ocular-patdown/optics and ocular-patdown/update.

    2.1 Optics

    2.2 Lenses

      2.2.1 Lens Operations

      2.2.2 Library Lenses

      2.2.3 Generic Lens Interface

    2.3 Traversals

      2.3.1 Traversal Operations

      2.3.2 Library Traversals

      2.3.3 Traversal Combinators

      2.3.4 Generic Traversal Interface

    2.4 Isomorphisms

      2.4.1 Isomorphism operations

      2.4.2 Library Isomorphisms

      2.4.3 Isomorphism Generic Interface

    2.5 Prisms

      2.5.1 Prism Operations

      2.5.2 Library Prisms

      2.5.3 Prism Generic Interface

    2.6 Pattern-based Updating

      2.6.1 Patterns

      2.6.2 Getter and Updater Utilities

      2.6.3 Extending Update