diff options
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 |