term-rewriting-0.3.0.1: Term Rewriting Library
Data.Rewriting.Substitution.Parse
fromString :: [String] -> String -> Either ParseError (Subst String String) Source #
parse :: Ord v => Parsec String u f -> Parsec String u v -> Parsec String u (Subst f v) Source #
parseIO :: [String] -> String -> IO (Subst String String) Source #