Packages tagged optics
18 packages have this tag.
[Merge tag] (trustees only)Related tags: library (18), data (13), bsd3 (11), lenses (9), mit (3), dependent-types (2), mpl (2), bsd2 (1), generics (1), gpl (1), json (1), lens (1), ...
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
aeson-optics | 29 | 0.0 | Law-abiding optics for aeson | (data, json, library, mit, optics) | 2022-04-12 | phadej |
generic-optics-lite | 4 | 0.0 | Monomorphic field opics like with generic-lens | (bsd3, generics, lens, library, optics) | 2020-01-14 | phadej |
hedgehog-optics | 2 | 0.0 | Hedgehog properties for optics laws | (library, mit, optics, testing) | 2021-07-12 | chris_martin, Monoid_Mary |
indexed-profunctors | 369 | 0.0 | Utilities for indexed profunctors | (bsd3, data, lenses, library, optics, profunctors) | 2021-04-09 | AdamGundry, AndresLoeh, phadej, arybczak |
nat-optics | 6 | 0.0 | Refinement types for natural numbers with an optics interface | (library, mit, numeric, optics) | 2022-01-10 | chris_martin, Monoid_Mary |
optics | 206 | 2.5 | Optics as an abstract interface | (bsd3, data, lenses, library, optics) | 2022-05-19 | AdamGundry, AndresLoeh, phadej, arybczak |
optics-core | 625 | 2.25 | Optics as an abstract interface: core definitions | (bsd3, data, lenses, library, optics) | 2022-03-22 | AdamGundry, AndresLoeh, phadej, arybczak |
optics-extra | 573 | 2.0 | Extra utilities and instances for optics-core | (bsd3, data, lenses, library, optics) | 2022-05-19 | AdamGundry, AndresLoeh, phadej, arybczak |
optics-th | 530 | 0.0 | Optics construction using TemplateHaskell | (bsd3, data, lenses, library, optics) | 2022-03-22 | AdamGundry, AndresLoeh, phadej, arybczak |
optics-vl | 14 | 0.0 | Utilities for compatibility with van Laarhoven optics | (bsd3, data, lenses, library, optics) | 2020-04-15 | AdamGundry, AndresLoeh, phadej, arybczak |
polysemy-optics | 7 | 0.0 | Optics for Polysemy. | (bsd2, lenses, library, optics) | 2021-06-18 | nosewings |
prolens | 10 | 2.0 | Profunctor-based lightweight implementation of optics | (data, lenses, library, mpl, optics) | 2021-03-14 | shersh, vrom911 |
ral-optics | 4 | 0.0 | Length-indexed random access lists: optics utilities. | (data, dependent-types, gpl, library, optics, singletons) | 2021-02-28 | phadej |
refractor | 3 | 0.0 | See README for more info | (library, mpl, optics) | 2020-02-11 | |
strict-optics | 11 | 0.0 | Optics for types in strict package | (bsd3, data, library, optics) | 2020-10-04 | phadej |
template-haskell-optics | 4 | 0.0 | Optics for template-haskell types | (bsd3, data, lenses, library, optics) | 2022-03-22 | AdamGundry, AndresLoeh, phadej, arybczak |
these-optics | 17 | 0.0 | Optics for These | (bsd3, data, library, optics, these) | 2021-02-25 | phadej |
vec-optics | 8 | 0.0 | Vec: length-indexed (sized) list: optics support | (bsd3, data, dependent-types, library, optics) | 2021-02-28 | phadej |