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-optics250.0Law-abiding optics for aeson (data, json, library, mit, optics)2021-10-09phadej
generic-optics-lite70.0Monomorphic field opics like with generic-lens (bsd3, generics, lens, library, optics)2020-01-14phadej
hedgehog-optics40.0Hedgehog properties for optics laws (library, mit, optics, testing)2021-07-12chris_martin, Monoid_Mary
indexed-profunctors5830.0Utilities for indexed profunctors (bsd3, data, lenses, library, optics, profunctors)2021-04-09AdamGundry, AndresLoeh, phadej, arybczak
nat-optics200.0Refinement types for natural numbers with an optics interface (library, mit, numeric, optics)2022-01-10chris_martin, Monoid_Mary
optics1142.5Optics as an abstract interface (bsd3, data, lenses, library, optics)2021-02-22AdamGundry, AndresLoeh, phadej, arybczak
optics-core7252.25Optics as an abstract interface: core definitions (bsd3, data, lenses, library, optics)2021-02-22AdamGundry, AndresLoeh, phadej, arybczak
optics-extra6742.0Extra utilities and instances for optics-core (bsd3, data, lenses, library, optics)2021-02-22AdamGundry, AndresLoeh, phadej, arybczak
optics-th6860.0Optics construction using TemplateHaskell (bsd3, data, lenses, library, optics)2021-02-22AdamGundry, AndresLoeh, phadej, arybczak
optics-vl130.0Utilities for compatibility with van Laarhoven optics (bsd3, data, lenses, library, optics)2020-04-15AdamGundry, AndresLoeh, phadej, arybczak
polysemy-optics90.0Optics for Polysemy. (bsd2, lenses, library, optics)2021-06-18nosewings
prolens132.0Profunctor-based lightweight implementation of optics (data, lenses, library, mpl, optics)2021-03-14shersh, vrom911
ral-optics30.0Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2021-02-28phadej
refractor30.0See README for more info (library, mpl, optics)2020-02-11
strict-optics110.0Optics for types in strict package (bsd3, data, library, optics)2020-10-04phadej
template-haskell-optics10.0Optics for template-haskell types (bsd3, data, lenses, library, optics)2020-08-29AdamGundry, AndresLoeh, phadej, arybczak
these-optics110.0Optics for These (bsd3, data, library, optics, these)2021-02-25phadej
vec-optics100.0Vec: length-indexed (sized) list: optics support (bsd3, data, dependent-types, library, optics)2021-02-28phadej