blob: c4e5768877964dc49248f4a947be16daa25f8aa2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
\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}
|
