From 537ac8a2ecb64a141ec8ffc1ab053e84154c4f09 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 4 Jun 2019 11:11:57 +0200 Subject: Cleanup --- edit-lens/src/Control/Lens/Edit/ActionTree.lhs | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'edit-lens/src/Control/Lens/Edit/ActionTree.lhs') 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 \end{code} \end{comment} -Das beschrieben Verfahren wurde prinzipiell agnostisch in Bezug auf die konkret gewählte Parser-Konstruktion gewählt. +Das beschrieben Verfahren wurde prinzipiell agnostisch in Bezug auf die konkret gewählte Parser-Konstruktion implementiert. Hierfür wurden die benötigten Operationen auf der DFST-Wirkung und das in $\Lleftarrow$ verwendete Suchschema abstrakt als Typklasse angegeben: \begin{code} class Monoid action => Action action input output | action -> input, action -> output where -\end{code} -\begin{comment} -\begin{code} -- | Most operations of `Action` permit access to some underlying description of the parser (i.e. an automaton) type ActionParam action = param | param -> action @@ -84,7 +81,6 @@ class Monoid action => Action action input output | action -> input, action -> o -> Compositions action -- ^ Suffix -> Maybe (Seq input) \end{code} -\end{comment} Das Verfahren kann nun auf andere Sorten von Parser angewendet werden, indem nur die oben aufgeführte \texttt{Action}-Typklasse implementiert wird: -- cgit v1.2.3