diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2019-06-04 11:11:57 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2019-06-04 11:13:16 +0200 |
commit | 537ac8a2ecb64a141ec8ffc1ab053e84154c4f09 (patch) | |
tree | a50ef75e88f20ea88d7e347484bb79014ff3705a /edit-lens/src/Control/Lens/Edit | |
parent | f4c419b9ddec15bad267a4463f0720d6e28042d2 (diff) | |
download | incremental-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.lhs | 6 |
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 | ||
45 | Das beschrieben Verfahren wurde prinzipiell agnostisch in Bezug auf die konkret gewählte Parser-Konstruktion gewählt. | 45 | Das beschrieben Verfahren wurde prinzipiell agnostisch in Bezug auf die konkret gewählte Parser-Konstruktion implementiert. |
46 | 46 | ||
47 | Hierfür wurden die benötigten Operationen auf der DFST-Wirkung und das in $\Lleftarrow$ verwendete Suchschema abstrakt als Typklasse angegeben: | 47 | Hierfü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} |
50 | class Monoid action => Action action input output | action -> input, action -> output where | 50 | class 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 | ||
89 | Das Verfahren kann nun auf andere Sorten von Parser angewendet werden, indem nur die oben aufgeführte \texttt{Action}-Typklasse implementiert wird: | 85 | Das Verfahren kann nun auf andere Sorten von Parser angewendet werden, indem nur die oben aufgeführte \texttt{Action}-Typklasse implementiert wird: |
90 | 86 | ||