fclabels-2.0.3.2: First class accessor labels implemented as lenses.

Safe Haskell Safe Haskell98

Data.Label.Point

Description

The Point data type which generalizes the different lenses and forms the basis for vertical composition using the Applicative type class.

Synopsis

# The point data type that generalizes lens.

data Point cat g i f o Source #

Abstract Point datatype. The getter and modifier operations work in some category. The type of the value pointed to might change, thereby changing the type of the outer structure.

Constructors

 Point (cat f o) (cat (cat o i, f) g)

Instances