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 l => Show (Step l a)

Minor (Step l a)

data State l a

Instances

(Show l, Show a) => Show (State l a)

makeState :: Core l a -> a -> State l a

stack :: State l a -> Stack l a

choices :: State l a -> [Bool]

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

value :: State l a -> a

parseDerivationTree :: Bool -> State l a -> DerivationTree (Step l a) (State l a)

replay :: Monad m => Int -> [Bool] -> Core l a -> m (State l a)

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

firsts :: Bool -> State l a -> [(Result (Step l a), State l a)]

data Result a

Constructors

Result a

Ready

Instances

Functor Result

Show a => Show (Result a)

isReady :: Result a -> Bool