Module ReadShowTerm

showTerm :: Data a => a -> String   

Transforms a ground(!) data term into a string representation in standard prefix notation. Thus, showTerm suspends until its argument is ground. This function is similar to the prelude function show but can read the string back with readUnqualifiedTerm (provided that the constructor names are unique without the module qualifier).

readsUnqualifiedTerm :: Data a => [String] -> String -> [(a,String)]   

Transform a string containing a data term in standard prefix notation without module qualifiers into the corresponding data term. The first argument is a non-empty list of module qualifiers that are tried to prefix the constructor in the string in order to get the qualified constructors (that must be defined in the current program!). In case of a successful parse, the result is a one element list containing a pair of the data term and the remaining unparsed string.

readUnqualifiedTerm :: Data a => [String] -> String -> a   

Transforms a string containing a data term in standard prefix notation without module qualifiers into the corresponding data term. The first argument is a non-empty list of module qualifiers that are tried to prefix the constructor in the string in order to get the qualified constructors (that must be defined in the current program!).

Example: readUnqualifiedTerm ["Prelude"] "Just 3" evaluates to (Just 3)