\section{Edits und edit-lenses}

Ziel ist es zunächst edit-lenses alá \cite{hofmann2012edit} in Haskell zur Verfügung zu stellen.
Dabei werden wir die Definitionen aus \cite{hofmann2012edit} sowohl in natürlicher Sprache als auch in lauffähigem Haskell vorstellen:

\input{./edit-lens/src/Control/Edit.lhs}

\input{./edit-lens/src/Control/Lens/Edit.lhs}

\paragraph{Generische Konstruktionen für edit-lenses}
\input{./edit-lens/src/Control/Lens/Edit/Generic.lhs}

\section{Edit-lenses für container}

\input{./edit-lens/src/Control/Edit/Container.lhs}