Data.Rewriting.Substitution.Parse

Documentation

fromString :: [String] -> String -> Either ParseError (Subst String String)

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

parseIO :: [String] -> String -> IO (Subst String String)