Packages tagged optics

12 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (12), data (10), bsd3 (9), lenses (6), dependent-types (2), generics (1), gpl (1), json (1), lens (1), mit (1), mpl (1), profunctors (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
aeson-optics1030.0Law-abiding optics for aeson (data, json, library, mit, optics)2019-09-22phadej
generic-optics-lite440.0Monomorphic field opics like with generic-lens (bsd3, generics, lens, library, optics)2020-01-14phadej
indexed-profunctors4670.0Utilities for indexed profunctors (bsd3, data, lenses, library, optics, profunctors)2019-10-11AdamGundry, AndresLoeh, phadej, arybczak
optics1662.5Optics as an abstract interface (bsd3, data, lenses, library, optics)2020-04-15AdamGundry, AndresLoeh, phadej, arybczak
optics-core5182.0Optics as an abstract interface: core definitions (bsd3, data, lenses, library, optics)2020-04-15AdamGundry, AndresLoeh, phadej, arybczak
optics-extra3912.0Extra utilities and instances for optics-core (bsd3, data, lenses, library, optics)2020-04-15AdamGundry, AndresLoeh, phadej, arybczak
optics-th3370.0Optics construction using TemplateHaskell (bsd3, data, lenses, library, optics)2020-04-15AdamGundry, AndresLoeh, phadej, arybczak
optics-vl1010.0Utilities for compatibility with van Laarhoven optics (bsd3, data, lenses, library, optics)2020-04-15AdamGundry, AndresLoeh, phadej, arybczak
ral-optics160.0Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2019-12-13phadej
refractor450.0See README for more info (library, mpl, optics)2020-02-11
these-optics490.0Optics for These (bsd3, data, library, optics, these)2019-09-03phadej
vec-optics250.0Vec: length-indexed (sized) list: optics support (bsd3, data, dependent-types, library, optics)2019-12-13phadej