Some auxiliary operations for the REPL
Author: Michael Hanus
Version: November 2022
showMonoQualTypeExpr
:: Bool -> CQualTypeExpr -> String
Shows an AbstractCurry type expression in standard Curry syntax. |
showMonoTypeExpr
:: Bool -> CTypeExpr -> String
Shows an AbstractCurry type expression in standard Curry syntax. |
moduleNameToPath
:: String -> String
Transforms a hierarchical module identifier into a file path. |
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. |
notNull
:: [a] -> Bool
|
strip
:: String -> String
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. |
Shows an AbstractCurry type expression in standard Curry syntax. If the first argument is True, all occurrences of type variables are replaced by "()". |
Shows an AbstractCurry type expression in standard Curry syntax. If the first argument is True, all occurrences of type variables are replaced by "()". |
Transforms a hierarchical module identifier into a file path.
|
Is a string a valid module name? |
|
|
Removes the specified file only if it exists. |
|
Remove leading and trailing whitespace |
Extend a String to a given minimal length by adding leading spaces. |
Extend a String to a given minimal length by adding trailing spaces. |
Shows an error message. |