Packages tagged optics

21 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (21), data (15), bsd3 (13), lenses (11), mit (4), dependent-types (2), mpl (2), profunctors (2), bsd2 (1), generics (1), gpl (1), json (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
aeson-optics250.05Law-abiding optics for aeson (data, json, library, mit, optics)2023-06-271.2.1phadej
dani-optics-dot60.00Use OverloadedRecordDot for nested optics access. (bsd3, data, lenses, library, optics)2026-01-090.2.0.0DanielDiazCarrete
distributors200.00Unifying Parsers, Printers & Grammars (bsd3, library, optics, parsing, profunctors)2026-02-060.3.0.0echatav
generic-optics-lite70.00Monomorphic field opics like with generic-lens (bsd3, generics, lens, library, optics)2024-06-070.1.1phadej
hedgehog-optics100.00Hedgehog properties for optics laws (library, mit, optics, testing)2025-01-221.0.0.4chris_martin, Monoid_Mary
indexed-profunctors100.04Utilities for indexed profunctors (bsd3, data, lenses, library, optics, profunctors)2023-06-220.1.1.1AdamGundry, AndresLoeh, phadej, arybczak
nat-optics230.00Refinement types for natural numbers with an optics interface (library, mit, numeric, optics)2025-01-211.0.1.1chris_martin, Monoid_Mary
optics172.522Optics as an abstract interface (bsd3, data, lenses, library, optics)2023-06-220.4.2.1AdamGundry, AndresLoeh, phadej, arybczak
optics-core182.560Optics as an abstract interface: core definitions (bsd3, data, lenses, library, optics)2026-02-100.4.2AdamGundry, AndresLoeh, phadej, arybczak
optics-extra292.010Extra utilities and instances for optics-core (bsd3, data, lenses, library, optics)2022-05-200.4.2.1AdamGundry, AndresLoeh, phadej, arybczak
optics-operators60.00A tiny package containing operators missing from the official package. (data, lenses, library, mit, optics)2023-06-250.1.0.1qwbarch
optics-th300.012Optics construction using TemplateHaskell (bsd3, data, lenses, library, optics)2022-03-220.4.1AdamGundry, AndresLoeh, phadej, arybczak
optics-vl150.01Utilities for compatibility with van Laarhoven optics (bsd3, data, lenses, library, optics)2020-04-150.2.1AdamGundry, AndresLoeh, phadej, arybczak
polysemy-optics90.00Optics for Polysemy. (bsd2, lenses, library, optics)2022-07-050.1.0.2nosewings
prolens52.00Profunctor-based lightweight implementation of optics (data, lenses, library, mpl, optics)2021-03-140.0.0.1vrom911
ral-optics130.00Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2024-06-080.2.1phadej
refractor50.00See README for more info (library, mpl, optics)2020-02-110.0.1.0
strict-optics140.00Optics for types in strict package (bsd3, data, library, optics)2024-07-030.4.1phadej
template-haskell-optics60.00Optics for template-haskell types (bsd3, data, lenses, library, optics)2023-11-160.3AdamGundry, AndresLoeh, phadej, arybczak
these-optics240.00Optics for These (bsd3, data, library, optics, these)2024-05-161.0.2phadej
vec-optics90.00Vec: length-indexed (sized) list: optics support (bsd3, data, dependent-types, library, optics)2024-06-080.4.1phadej