diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2019-06-07 15:26:54 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2019-06-07 15:26:54 +0200 |
| commit | 83cb9236b7ea80a8a9362b1f5616a6177d703cc4 (patch) | |
| tree | 0e78c49b4873c498ad7ff476310e6c1f57338df2 /edit-lens/src/Control/Edit/String.lhs | |
| parent | c5bb080ff0e8afed5a71558b8cc82785789308ba (diff) | |
| download | incremental-dfsts-master.tar incremental-dfsts-master.tar.gz incremental-dfsts-master.tar.bz2 incremental-dfsts-master.tar.xz incremental-dfsts-master.zip | |
TyposHEADsubmissionmaster
Diffstat (limited to 'edit-lens/src/Control/Edit/String.lhs')
| -rw-r--r-- | edit-lens/src/Control/Edit/String.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/edit-lens/src/Control/Edit/String.lhs b/edit-lens/src/Control/Edit/String.lhs index f0ca588..a1b0233 100644 --- a/edit-lens/src/Control/Edit/String.lhs +++ b/edit-lens/src/Control/Edit/String.lhs | |||
| @@ -31,7 +31,7 @@ data StringEdit pos char = Insert { _sePos :: pos, _seInsertion :: char } | |||
| 31 | | Delete { _sePos :: pos } | 31 | | Delete { _sePos :: pos } |
| 32 | deriving (Eq, Ord, Show, Read) | 32 | deriving (Eq, Ord, Show, Read) |
| 33 | 33 | ||
| 34 | -- Automatically derive van-leerhoven-lenses: | 34 | -- Automatically derive van Laarhoven-lenses: |
| 35 | -- | 35 | -- |
| 36 | -- @sePos :: Lens' (StringEdits pos char) pos@ | 36 | -- @sePos :: Lens' (StringEdits pos char) pos@ |
| 37 | -- @seInsertion :: Traversal' (StringEdits pos char) char@ | 37 | -- @seInsertion :: Traversal' (StringEdits pos char) char@ |