Ideas.Common.Strategy.Parsing

Basic machinery for executing a core strategy expression.

Documentation

data Step l a

Constructors

Enter l

Exit l

RuleStep Environment (Rule a)

Instances

Apply (Step l)

Eq l => Eq (Step l a)

Show (Step l a)

Minor (Step l a)

data ParseState l a

makeState :: a -> Core l a -> ParseState l a

choices :: ParseState l a -> Path

trace :: ParseState l a -> [Step l a]

parseDerivationTree :: a -> ParseState l a -> DerivationTree (Step l a) (a, ParseState l a)

replay :: Monad m => Path -> a -> Core l a -> m (ParseState l a)

runCore :: Core l a -> a -> [a]

searchModeState :: (Step l a -> Bool) -> (Step l a -> Step l a -> Bool) -> ParseState l a -> ParseState l a

toProcess :: Core l a -> Process (Step l a)