ADP.Fusion.SynVar.Backtrack

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

Documentation

class GenBacktrackTable t mF mB where

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.

Minimal complete definition

toBacktrack

Associated Types

data Backtrack t (mF :: * -> *) (mB :: * -> *) :: *

type BacktrackIndex t :: *

Methods

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

Instances

GenBacktrackTable (TwIRec mF c i x) mF mB

Associated Types

data Backtrack (TwIRec mF c i x) (mF :: * -> *) (mB :: * -> *) :: *

type BacktrackIndex (TwIRec mF c i x) :: *

Methods

toBacktrack :: TwIRec mF c i x -> (forall a. mF a -> mB a) -> Backtrack (TwIRec mF c i x) mF mB

GenBacktrackTable (TwITbl mF arr c i x) mF mB

Associated Types

data Backtrack (TwITbl mF arr c i x) (mF :: * -> *) (mB :: * -> *) :: *

type BacktrackIndex (TwITbl mF arr c i x) :: *

Methods

toBacktrack :: TwITbl mF arr c i x -> (forall a. mF a -> mB a) -> Backtrack (TwITbl mF arr c i x) mF mB