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.  |