summaryrefslogtreecommitdiff
path: root/edit-lens/src/Control/Lens/Edit
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2019-06-04 11:11:57 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2019-06-04 11:13:16 +0200
commit537ac8a2ecb64a141ec8ffc1ab053e84154c4f09 (patch)
treea50ef75e88f20ea88d7e347484bb79014ff3705a /edit-lens/src/Control/Lens/Edit
parentf4c419b9ddec15bad267a4463f0720d6e28042d2 (diff)
downloadincremental-dfsts-537ac8a2ecb64a141ec8ffc1ab053e84154c4f09.tar
incremental-dfsts-537ac8a2ecb64a141ec8ffc1ab053e84154c4f09.tar.gz
incremental-dfsts-537ac8a2ecb64a141ec8ffc1ab053e84154c4f09.tar.bz2
incremental-dfsts-537ac8a2ecb64a141ec8ffc1ab053e84154c4f09.tar.xz
incremental-dfsts-537ac8a2ecb64a141ec8ffc1ab053e84154c4f09.zip
Cleanup
Diffstat (limited to 'edit-lens/src/Control/Lens/Edit')
-rw-r--r--edit-lens/src/Control/Lens/Edit/ActionTree.lhs6
1 files changed, 1 insertions, 5 deletions
diff --git a/edit-lens/src/Control/Lens/Edit/ActionTree.lhs b/edit-lens/src/Control/Lens/Edit/ActionTree.lhs
index 6632dce..0cfaf24 100644
--- a/edit-lens/src/Control/Lens/Edit/ActionTree.lhs
+++ b/edit-lens/src/Control/Lens/Edit/ActionTree.lhs
@@ -42,15 +42,12 @@ import System.IO.Unsafe
42\end{code} 42\end{code}
43\end{comment} 43\end{comment}
44 44
45Das beschrieben Verfahren wurde prinzipiell agnostisch in Bezug auf die konkret gewählte Parser-Konstruktion gewählt. 45Das beschrieben Verfahren wurde prinzipiell agnostisch in Bezug auf die konkret gewählte Parser-Konstruktion implementiert.
46 46
47Hierfür wurden die benötigten Operationen auf der DFST-Wirkung und das in $\Lleftarrow$ verwendete Suchschema abstrakt als Typklasse angegeben: 47Hierfür wurden die benötigten Operationen auf der DFST-Wirkung und das in $\Lleftarrow$ verwendete Suchschema abstrakt als Typklasse angegeben:
48 48
49\begin{code} 49\begin{code}
50class Monoid action => Action action input output | action -> input, action -> output where 50class Monoid action => Action action input output | action -> input, action -> output where
51\end{code}
52\begin{comment}
53\begin{code}
54 -- | Most operations of `Action` permit access to some underlying description of the parser (i.e. an automaton) 51 -- | Most operations of `Action` permit access to some underlying description of the parser (i.e. an automaton)
55 type ActionParam action = param | param -> action 52 type ActionParam action = param | param -> action
56 53
@@ -84,7 +81,6 @@ class Monoid action => Action action input output | action -> input, action -> o
84 -> Compositions action -- ^ Suffix 81 -> Compositions action -- ^ Suffix
85 -> Maybe (Seq input) 82 -> Maybe (Seq input)
86\end{code} 83\end{code}
87\end{comment}
88 84
89Das Verfahren kann nun auf andere Sorten von Parser angewendet werden, indem nur die oben aufgeführte \texttt{Action}-Typklasse implementiert wird: 85Das Verfahren kann nun auf andere Sorten von Parser angewendet werden, indem nur die oben aufgeführte \texttt{Action}-Typklasse implementiert wird:
90 86