diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2018-06-18 11:38:58 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2018-06-18 11:38:58 +0200 |
| commit | 890414175e966bcf7c41dcd4b544bf4af3e6ae8d (patch) | |
| tree | 8f7cf3eddb9c152bda61547e8a0f9154a1e90190 /edit-lens/src/Control/DFST.lhs | |
| parent | db70fb1c2dfe059c662fed9731bc9dd7ee380114 (diff) | |
| download | incremental-dfsts-890414175e966bcf7c41dcd4b544bf4af3e6ae8d.tar incremental-dfsts-890414175e966bcf7c41dcd4b544bf4af3e6ae8d.tar.gz incremental-dfsts-890414175e966bcf7c41dcd4b544bf4af3e6ae8d.tar.bz2 incremental-dfsts-890414175e966bcf7c41dcd4b544bf4af3e6ae8d.tar.xz incremental-dfsts-890414175e966bcf7c41dcd4b544bf4af3e6ae8d.zip | |
Work on propL
Diffstat (limited to 'edit-lens/src/Control/DFST.lhs')
| -rw-r--r-- | edit-lens/src/Control/DFST.lhs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/edit-lens/src/Control/DFST.lhs b/edit-lens/src/Control/DFST.lhs index 9bd1629..eae2e66 100644 --- a/edit-lens/src/Control/DFST.lhs +++ b/edit-lens/src/Control/DFST.lhs | |||
| @@ -41,8 +41,6 @@ data DFST state input output = DFST | |||
| 41 | 41 | ||
| 42 | toFST :: forall state input output. (Ord state, Ord input, Ord output) => DFST state input output -> FST (state, Maybe (input, Natural)) input output | 42 | toFST :: forall state input output. (Ord state, Ord input, Ord output) => DFST state input output -> FST (state, Maybe (input, Natural)) input output |
| 43 | -- ^ Split apart non-singleton outputs into a series of epsilon-transitions | 43 | -- ^ Split apart non-singleton outputs into a series of epsilon-transitions |
| 44 | -- | ||
| 45 | -- This function is currently invalid since multiple out-edges in the `DFST` visit the same intermediate states (we should label intermediate states not only with an ordinal but also with the input Symbol from the `DFST`) | ||
| 46 | toFST DFST{..} = flip execState initialFST $ forM_ (Map.toList stTransition) handleTransition | 44 | toFST DFST{..} = flip execState initialFST $ forM_ (Map.toList stTransition) handleTransition |
| 47 | where | 45 | where |
| 48 | initialFST = FST | 46 | initialFST = FST |