polytropos-lens: Comprehensive lens-suite integration for polytropos open records and variants

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Comprehensive optics integration between polytropos open records and variants and Edward Kmett's lens ecosystem.

Bridges the unified flat runtime representation Polytropos.Core.Rep to standard Control.Lens typeclasses: positional lenses (Control.Lens.Tuple.Field1 through Control.Lens.Tuple.Field9), label-based lenses (Polytropos.Lens.fieldLens), container indexing (Control.Lens.At.Ixed and Control.Lens.At.At keyed by field name), single-pass homogeneous traversals (Control.Lens.Each.Each), and first-class profunctor prisms (Polytropos.Lens.prismVariant) for open variant constructors with O(1) tag dispatch.

Keeps the core polytropos packages lightweight and free from transitive dependencies.

Start at the front door module Polytropos.Lens for complete documentation, usage guidelines, and worked examples.


[Skip to Readme]

Properties

Versions 0.1.0.0, 0.1.0.2, 0.1.0.3
Change log CHANGELOG.md
Dependencies base (>=4.14 && <5), lens (>=5.2 && <5.4), polytropos-core (>=0.1 && <0.2), polytropos-plugin (>=0.1 && <0.2), profunctors (>=5.6 && <5.7) [details]
License (EUPL-1.2 OR Apache-2.0)
Author Nadia Yvette Chambers
Maintainer nadia.yvette.chambers@ik.me
Category Optics, Data
Home page https://github.com/NadiaYvette/polytropos
Bug tracker https://github.com/NadiaYvette/polytropos/issues
Source repo head: git clone https://github.com/NadiaYvette/polytropos(packages/polytropos-lens)
Uploaded by nyc at 2026-10-17T18:55:17Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Readme for polytropos-lens-0.1.0.0

[back to package description]

polytropos-lens

Comprehensive Control.Lens optics integration for polytropos open records and variants.

Overview

polytropos-lens provides standard Van Laarhoven lenses for record fields and first-class prisms for variant constructors.

Features

License

Dual-licensed under EUPL-1.2 OR Apache-2.0.