Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
Basic machinery for executing a core strategy expression.
Documentation
Enter l | |
Exit l | |
RuleStep Environment (Rule a) |
data ParseState l a Source
makeState :: a -> Core l a -> ParseState l aSource
choices :: ParseState l a -> PathSource
trace :: ParseState l a -> [Step l a]Source
parseDerivationTree :: a -> ParseState l a -> DerivationTree (Step l a) (a, ParseState l a)Source
searchModeState :: (Step l a -> Bool) -> (Step l a -> Step l a -> Bool) -> ParseState l a -> ParseState l aSource