term-rewriting-0.2: Term Rewriting Library

Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Rewriting.Substitution.Parse

Documentation

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