------------------------------------------------------------------------
-- Dependent lenses
-- Nils Anders Danielsson
------------------------------------------------------------------------

module README where

-- Non-dependent lenses (for comparison).

import Lens.Non-dependent

-- Dependent lenses.

import Lens.Dependent

-- Comparisons of different kinds of lenses, focusing on the
-- definition of composable record getters and setters.

import README.Record-getters-and-setters