polytropos-microlens: Lightweight microlens optics integration for polytropos open records

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]

Lightweight optics integration between polytropos open records and microlens.

Designed specifically for codebases prioritizing fast compilation times and zero transitive dependency bloat: depends strictly on base, microlens, polytropos-core, and polytropos-plugin.

Provides O(1) field lenses via Polytropos.Microlens.fieldLens (with slot indices emitted as literals by the TcPlugin) and homogeneous single-pass traversals over flat contiguous payload arrays via Lens.Micro.each.

Start at the front door module Polytropos.Microlens 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), microlens (>=0.4 && <0.5), polytropos-core (>=0.1 && <0.2), polytropos-plugin (>=0.1 && <0.2) [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-microlens)
Uploaded	by nyc at 2026-10-17T18:55:15Z