Safe Haskell | None |
---|---|

Language | Haskell2010 |

Wrap forward tables in such a way as to allow backtracking via algebras.

- class GenBacktrackTable t mF mB where

# Documentation

class GenBacktrackTable t mF mB where Source #

TODO this should go into `ADP.Fusion.Table.Backtrack`

, more than just
tabulated syntactic vars are going to use it.

NOTE You probably need to give the `monad morphism`

between `mF`

and
`mB`

so as to be able to extract forward results in the backtracking
phase.

toBacktrack :: t -> (forall a. mF a -> mB a) -> Backtrack t mF mB Source #

GenBacktrackTable (TwIRec mF c i x) mF mB Source # | |

GenBacktrackTable (TwITbl mF arr c i x) mF mB Source # | |