CurryInfo: verify-non-fail-2.0.0 / Verify.Options.printInfoString

definition:
 
printInfoString :: String -> IO ()
printInfoString s = do hPutStrLn stderr s
                       hFlush stderr
demand:
 no demanded arguments
deterministic:
 deterministic operation
documentation:
 
Print string on stderr.
failfree:
 _
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {(_) |-> _}
name:
 printInfoString
precedence:
 no precedence defined
result-values:
 _
signature:
 String -> Prelude.IO ()
solution-complete:
 operation might suspend on free variables
terminating:
 possibly non-terminating
totally-defined:
 reducible on all ground data terms