Item logo image for Named Optic Operators

Named Optic Operators

ExtensionDeveloper Tools2 users
Item media 2 (screenshot) for Named Optic Operators
Item media 1 (screenshot) for Named Optic Operators
Item media 2 (screenshot) for Named Optic Operators
Item media 1 (screenshot) for Named Optic Operators
Item media 1 (screenshot) for Named Optic Operators
Item media 2 (screenshot) for Named Optic Operators

Overview

Annotate optic operators with their names

Annotate optic operators with their names. Decrypt any optic example, code, or tutorial. Works with more-or-less any website (e.g., GitHub, hackage)

Details

  • Version
    1.0
  • Updated
    January 17, 2023
  • Offered by
    optics.annotations
  • Size
    95.64KiB
  • Languages
    English
  • Developer
    Email
    optics.annotations@gmail.com
  • Non-trader
    This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has disclosed that it will not collect or use your data.

This developer declares that your data is

  • Not being sold to third parties, outside of the approved use cases
  • Not being used or transferred for purposes that are unrelated to the item's core functionality
  • Not being used or transferred to determine creditworthiness or for lending purposes
Google apps