diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2019-02-19 11:39:51 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2019-02-19 11:39:51 +0100 |
| commit | 8afbe1f7df24034dd16fdf2e89b0665b2318ae2a (patch) | |
| tree | 095be830c34c4aa9682a7047f4b0e412178ab24b /edit-lens/src/Control/Lens | |
| parent | 46ae60eaca841b554ba20c6a2b7a15b43c12b4df (diff) | |
| download | incremental-dfsts-8afbe1f7df24034dd16fdf2e89b0665b2318ae2a.tar incremental-dfsts-8afbe1f7df24034dd16fdf2e89b0665b2318ae2a.tar.gz incremental-dfsts-8afbe1f7df24034dd16fdf2e89b0665b2318ae2a.tar.bz2 incremental-dfsts-8afbe1f7df24034dd16fdf2e89b0665b2318ae2a.tar.xz incremental-dfsts-8afbe1f7df24034dd16fdf2e89b0665b2318ae2a.zip | |
Stuff...
Diffstat (limited to 'edit-lens/src/Control/Lens')
| -rw-r--r-- | edit-lens/src/Control/Lens/Edit.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/edit-lens/src/Control/Lens/Edit.lhs b/edit-lens/src/Control/Lens/Edit.lhs index 5a106c8..96b2114 100644 --- a/edit-lens/src/Control/Lens/Edit.lhs +++ b/edit-lens/src/Control/Lens/Edit.lhs | |||
| @@ -71,7 +71,7 @@ instance (Module m, Module n) => HasEditLens (EditLens c m n) m n where | |||
| 71 | 71 | ||
| 72 | Das einschlägige bestehende lens framework \cite{lens} konstruiert seine Linsen alá \citeauthor{laarhoven} wie folgt: | 72 | Das einschlägige bestehende lens framework \cite{lens} konstruiert seine Linsen alá \citeauthor{laarhoven} wie folgt: |
| 73 | 73 | ||
| 74 | \begin{defn}[lenses alá \citeauthor{laarhoven}] | 74 | \begin{defn}[lenses alá laarhoven] |
| 75 | Für Typen $n$ und $m$ ist eine \emph{lens} $\ell$ von $n$ in $m$ eine Abbildung\footnote{Gdw. die betrachtete Linse einen Isomorphismus kodiert wird auch über den verwendeten Profunktor anstatt $\to$ quantifiziert} folgender Struktur: | 75 | Für Typen $n$ und $m$ ist eine \emph{lens} $\ell$ von $n$ in $m$ eine Abbildung\footnote{Gdw. die betrachtete Linse einen Isomorphismus kodiert wird auch über den verwendeten Profunktor anstatt $\to$ quantifiziert} folgender Struktur: |
| 76 | 76 | ||
| 77 | $$ \forall f \, \text{Funktor} \colon \left ( \ell \colon \left ( m \to f(m) \right ) \to \left ( n \to f(n) \right ) \right )$$ | 77 | $$ \forall f \, \text{Funktor} \colon \left ( \ell \colon \left ( m \to f(m) \right ) \to \left ( n \to f(n) \right ) \right )$$ |