# polytropos-microlens

Lightweight `microlens` optics integration for [polytropos](https://github.com/NadiaYvette/polytropos) open records and variants.

## Overview

`polytropos-microlens` provides lightweight lenses and prisms for developers who prefer the minimal footprint of `microlens` over full `lens`.

## Features

- **`fieldLens`**: $O(1)$ `Lens'` targeting record fields.
- **`ctorPrism`**: $O(1)$ constructor prism for variant branches.
- **Minimal Dependencies**: Fast compilation and low dependency count.

## License

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