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