| 
                definition:  | 
              
              
                showRoman :: Roman -> String showRoman r = showsRoman r ""  | 
              
            
| 
                demand:  | 
              
              
                argument 1  | 
              
            
| 
                deterministic:  | 
              
              
                deterministic operation  | 
              
            
| 
                documentation:  | 
              
              
                Shows roman numbers in the usual way.  | 
              
            
| 
                failfree:  | 
              
              
                _  | 
              
            
| 
                indeterministic:  | 
              
              
                referentially transparent operation  | 
              
            
| 
                infix:  | 
              
              
                no fixity defined  | 
              
            
| 
                iotype:  | 
              
              
                 {(_) |-> _}
               | 
              
            
| 
                name:  | 
              
              
                showRoman  | 
              
            
| 
                precedence:  | 
              
              
                no precedence defined  | 
              
            
| 
                result-values:  | 
              
              
                _  | 
              
            
| 
                signature:  | 
              
              
                Roman -> String  | 
              
            
| 
                solution-complete:  | 
              
              
                operation might suspend on free variables  | 
              
            
| 
                terminating:  | 
              
              
                possibly non-terminating  | 
              
            
| 
                totally-defined:  | 
              
              
                possibly non-reducible on same data term  |