| 
                definition:  | 
              
              
                putStrIfNormal :: Options -> String -> IO () putStrIfNormal opts s = unless (isQuiet opts) (putStr s >> hFlush stdout)  | 
              
            
| 
                demand:  | 
              
              
                no demanded arguments  | 
              
            
| 
                deterministic:  | 
              
              
                deterministic operation  | 
              
            
| 
                documentation:  | 
              
              
                Print second argument if verbosity level is not quiet:  | 
              
            
| 
                failfree:  | 
              
              
                (_, _)  | 
              
            
| 
                indeterministic:  | 
              
              
                referentially transparent operation  | 
              
            
| 
                infix:  | 
              
              
                no fixity defined  | 
              
            
| 
                iotype:  | 
              
              
                 {(_,_) |-> _}
               | 
              
            
| 
                name:  | 
              
              
                putStrIfNormal  | 
              
            
| 
                precedence:  | 
              
              
                no precedence defined  | 
              
            
| 
                result-values:  | 
              
              
                _  | 
              
            
| 
                signature:  | 
              
              
                Options -> String -> Prelude.IO ()  | 
              
            
| 
                solution-complete:  | 
              
              
                operation might suspend on free variables  | 
              
            
| 
                terminating:  | 
              
              
                possibly non-terminating  | 
              
            
| 
                totally-defined:  | 
              
              
                reducible on all ground data terms  |