term-rewriting-0.3: Term Rewriting Library

Safe HaskellSafe
LanguageHaskell98

Data.Rewriting.Substitution.Parse

Documentation

parse :: Ord v => Parsec String u f -> Parsec String u v -> Parsec String u (Subst f v) Source #