# Uses of Package
com.jnape.palatable.lambda.optics

- Packages that use com.jnape.palatable.lambda.optics
  Package | Description
  --- | ---
  com.jnape.palatable.lambda.adt.hmap |
  com.jnape.palatable.lambda.optics |
  com.jnape.palatable.lambda.optics.functions |
  com.jnape.palatable.lambda.optics.lenses |
  com.jnape.palatable.lambda.optics.prisms |

- Classes in com.jnape.palatable.lambda.optics used by com.jnape.palatable.lambda.adt.hmap
  Class and Description
  Iso An `Iso` (short for "isomorphism") is an invertible `Lens`: an `Optic` encoding of a bi-directional focusing of two types, and like ``Lens`es`, can be ``View`ed`, `Set`, and ``updated``.
  Iso.Simple A convenience type with a simplified type signature for common isos with both unified "larger" values and unified "smaller" values.
  Lens An approximation of van Laarhoven lenses.
  Lens.Simple A convenience type with a simplified type signature for common lenses with both unified "larger" values and unified "smaller" values.
  Optic A generic supertype representation for profunctor optics.
  Optic.Simple An convenience type with a simplified signature for `optics` with unified `S/T` and `A/B` types.

- Classes in com.jnape.palatable.lambda.optics used by com.jnape.palatable.lambda.optics
  Class and Description
  Iso An `Iso` (short for "isomorphism") is an invertible `Lens`: an `Optic` encoding of a bi-directional focusing of two types, and like ``Lens`es`, can be ``View`ed`, `Set`, and ``updated``.
  Iso.Simple A convenience type with a simplified type signature for common isos with both unified "larger" values and unified "smaller" values.
  Lens An approximation of van Laarhoven lenses.
  Lens.Simple A convenience type with a simplified type signature for common lenses with both unified "larger" values and unified "smaller" values.
  Optic A generic supertype representation for profunctor optics.
  Optic.Simple An convenience type with a simplified signature for `optics` with unified `S/T` and `A/B` types.
  Prism Prisms are `Isos` that can fail in one direction.
  Prism.Simple A convenience type with a simplified type signature for common `prism` with unified `S/T` and `A/B` types.
  ProtoOptic A generic supertype representation for a profunctor `Optic` that requires a `Pure` implementation to derive its `Functor` constraint and graduate to a full-fledge `Optic`, equipped with a default `Optic` instance for the profunctor constraint and `Identity`.

- Classes in com.jnape.palatable.lambda.optics used by com.jnape.palatable.lambda.optics.functions
  Class and Description
  Optic A generic supertype representation for profunctor optics.
  ProtoOptic A generic supertype representation for a profunctor `Optic` that requires a `Pure` implementation to derive its `Functor` constraint and graduate to a full-fledge `Optic`, equipped with a default `Optic` instance for the profunctor constraint and `Identity`.

- Classes in com.jnape.palatable.lambda.optics used by com.jnape.palatable.lambda.optics.lenses
  Class and Description
  Iso An `Iso` (short for "isomorphism") is an invertible `Lens`: an `Optic` encoding of a bi-directional focusing of two types, and like ``Lens`es`, can be ``View`ed`, `Set`, and ``updated``.
  Iso.Simple A convenience type with a simplified type signature for common isos with both unified "larger" values and unified "smaller" values.
  Lens An approximation of van Laarhoven lenses.
  Lens.Simple A convenience type with a simplified type signature for common lenses with both unified "larger" values and unified "smaller" values.

- Classes in com.jnape.palatable.lambda.optics used by com.jnape.palatable.lambda.optics.prisms
  Class and Description
  Prism Prisms are `Isos` that can fail in one direction.
  Prism.Simple A convenience type with a simplified type signature for common `prism` with unified `S/T` and `A/B` types.