Packages tagged optics
19 packages have this tag.
[Merge tag] (trustees only)Related tags: library (19), data (14), bsd3 (11), lenses (10), mit (4), dependent-types (2), mpl (2), bsd2 (1), generics (1), gpl (1), json (1), lens (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| aeson-optics | 43 | 0.0 | 4 | Law-abiding optics for aeson | (data, json, library, mit, optics) | 2023-06-27 | 1.2.1 | phadej |
| generic-optics-lite | 7 | 0.0 | 0 | Monomorphic field opics like with generic-lens | (bsd3, generics, lens, library, optics) | 2024-06-07 | 0.1.1 | phadej |
| hedgehog-optics | 12 | 0.0 | 0 | Hedgehog properties for optics laws | (library, mit, optics, testing) | 2023-06-26 | 1.0.0.3 | chris_martin, Monoid_Mary |
| indexed-profunctors | 247 | 0.0 | 4 | Utilities for indexed profunctors | (bsd3, data, lenses, library, optics, profunctors) | 2023-06-22 | 0.1.1.1 | AdamGundry, AndresLoeh, phadej, arybczak |
| nat-optics | 18 | 0.0 | 0 | Refinement types for natural numbers with an optics interface | (library, mit, numeric, optics) | 2022-08-08 | 1.0.1.0 | chris_martin, Monoid_Mary |
| optics | 94 | 2.5 | 18 | Optics as an abstract interface | (bsd3, data, lenses, library, optics) | 2023-06-22 | 0.4.2.1 | AdamGundry, AndresLoeh, phadej, arybczak |
| optics-core | 201 | 2.5 | 54 | Optics as an abstract interface: core definitions | (bsd3, data, lenses, library, optics) | 2023-06-22 | 0.4.1.1 | AdamGundry, AndresLoeh, phadej, arybczak |
| optics-extra | 131 | 2.0 | 9 | Extra utilities and instances for optics-core | (bsd3, data, lenses, library, optics) | 2022-05-20 | 0.4.2.1 | AdamGundry, AndresLoeh, phadej, arybczak |
| optics-operators | 8 | 0.0 | 0 | A tiny package containing operators missing from the official package. | (data, lenses, library, mit, optics) | 2023-06-25 | 0.1.0.1 | qwbarch |
| optics-th | 147 | 0.0 | 10 | Optics construction using TemplateHaskell | (bsd3, data, lenses, library, optics) | 2022-03-22 | 0.4.1 | AdamGundry, AndresLoeh, phadej, arybczak |
| optics-vl | 16 | 0.0 | 1 | Utilities for compatibility with van Laarhoven optics | (bsd3, data, lenses, library, optics) | 2020-04-15 | 0.2.1 | AdamGundry, AndresLoeh, phadej, arybczak |
| polysemy-optics | 5 | 0.0 | 0 | Optics for Polysemy. | (bsd2, lenses, library, optics) | 2022-07-05 | 0.1.0.2 | nosewings |
| prolens | 6 | 2.0 | 0 | Profunctor-based lightweight implementation of optics | (data, lenses, library, mpl, optics) | 2021-03-14 | 0.0.0.1 | vrom911 |
| ral-optics | 4 | 0.0 | 0 | Length-indexed random access lists: optics utilities. | (data, dependent-types, gpl, library, optics, singletons) | 2024-06-08 | 0.2.1 | phadej |
| refractor | 3 | 0.0 | 0 | See README for more info | (library, mpl, optics) | 2020-02-11 | 0.0.1.0 | |
| strict-optics | 7 | 0.0 | 0 | Optics for types in strict package | (bsd3, data, library, optics) | 2024-07-03 | 0.4.1 | phadej |
| template-haskell-optics | 13 | 0.0 | 0 | Optics for template-haskell types | (bsd3, data, lenses, library, optics) | 2023-11-16 | 0.3 | AdamGundry, AndresLoeh, phadej, arybczak |
| these-optics | 16 | 0.0 | 0 | Optics for These | (bsd3, data, library, optics, these) | 2024-05-16 | 1.0.2 | phadej |
| vec-optics | 4 | 0.0 | 0 | Vec: length-indexed (sized) list: optics support | (bsd3, data, dependent-types, library, optics) | 2024-06-08 | 0.4.1 | phadej |