ADP.Fusion.Core.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.

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

Defined in ADP.Fusion.Core.SynVar.Recursive.Type

Associated Types

data Backtrack (TwIRec mF c i x) mF mB :: Type

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

Methods

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

GenBacktrackTable (TwITbl b s mF arr c i x) mF mB

Defined in ADP.Fusion.Core.SynVar.Array.Type

Associated Types

data Backtrack (TwITbl b s mF arr c i x) mF mB :: Type

type BacktrackIndex (TwITbl b s mF arr c i x) :: Type

Methods

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