Packages tagged optics

14 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (14), data (11), bsd3 (10), lenses (7), dependent-types (2), bsd2 (1), generics (1), gpl (1), json (1), lens (1), mit (1), mpl (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
aeson-optics280.0Law-abiding optics for aeson (data, json, library, mit, optics)2019-09-22phadej
generic-optics-lite80.0Monomorphic field opics like with generic-lens (bsd3, generics, lens, library, optics)2020-01-14phadej
indexed-profunctors4120.0Utilities for indexed profunctors (bsd3, data, lenses, library, optics, profunctors)2019-10-11AdamGundry, AndresLoeh, phadej, arybczak
optics1522.5Optics as an abstract interface (bsd3, data, lenses, library, optics)2020-04-15AdamGundry, AndresLoeh, phadej, arybczak
optics-core5172.0Optics as an abstract interface: core definitions (bsd3, data, lenses, library, optics)2020-08-05AdamGundry, AndresLoeh, phadej, arybczak
optics-extra4352.0Extra utilities and instances for optics-core (bsd3, data, lenses, library, optics)2020-04-15AdamGundry, AndresLoeh, phadej, arybczak
optics-th3930.0Optics construction using TemplateHaskell (bsd3, data, lenses, library, optics)2020-08-05AdamGundry, AndresLoeh, phadej, arybczak
optics-vl920.0Utilities for compatibility with van Laarhoven optics (bsd3, data, lenses, library, optics)2020-04-15AdamGundry, AndresLoeh, phadej, arybczak
polysemy-optics290.0Optics for Polysemy. (bsd2, lenses, library, optics)2020-07-25nosewings
ral-optics160.0Length-indexed random access lists: optics utilities. (data, dependent-types, gpl, library, optics, singletons)2019-12-13phadej
refractor70.0See README for more info (library, mpl, optics)2020-02-11
strict-optics300.0Optics for types in strict package (bsd3, data, library, optics)2020-08-06phadej
these-optics50.0Optics for These (bsd3, data, library, optics, these)2019-09-03phadej
vec-optics180.0Vec: length-indexed (sized) list: optics support (bsd3, data, dependent-types, library, optics)2019-12-13phadej