term-rewriting-0.5: Term Rewriting Library
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Rewriting.Substitution.Parse

Documentation

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