Some auxiliary operations for the REPL
showMonoQualTypeExpr
:: Bool -> CQualTypeExpr -> String
Shows an AbstractCurry type expression in standard Curry syntax. If the first argument is True, all occurrences of type variables are replaced by "()".
showMonoTypeExpr
:: Bool -> CTypeExpr -> String
Shows an AbstractCurry type expression in standard Curry syntax. If the first argument is True, all occurrences of type variables are replaced by "()".
moduleNameToPath
:: String -> String
Transforms a hierarchical module identifier into a file path.
moduleNameToPath "Data.Set"
evaluates to "Data/Set".
validModuleName
:: String -> Bool
Is a string a valid module name?
getTimeCmd
:: ReplState -> String -> String -> IO String
getTimeoutCmd
:: ReplState -> String -> IO String
removeFileIfExists
:: String -> IO ()
Removes the specified file only if it exists.
Remove leading and trailing whitespace
lpad
:: Int -> String -> String
Extend a String to a given minimal length by adding leading spaces.
rpad
:: Int -> String -> String
Extend a String to a given minimal length by adding trailing spaces.
writeErrorMsg
:: String -> IO ()
Shows an error message.