Safe Haskell | Safe-Infered |
---|
Termlib.ContextSensitive
Documentation
type ReplacementMap = Map Symbol IntSet
replacingPositions :: Symbol -> ReplacementMap -> [Int]
setReplacing :: Symbol -> [Int] -> ReplacementMap -> ReplacementMap
termlib-0.9: Term Rewriting Library
Safe Haskell | Safe-Infered |
---|
Termlib.ContextSensitive
type ReplacementMap = Map Symbol IntSet
replacingPositions :: Symbol -> ReplacementMap -> [Int]
setReplacing :: Symbol -> [Int] -> ReplacementMap -> ReplacementMap