CurryInfo: property-prover-2.0.0 / VerifierState.printWhenStatus

definition:
printWhenStatus :: String -> VStateM ()
printWhenStatus s = evalOption optVerb (> 0) $ printCP s
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
---------------------------------------------------------------------------
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_) |-> _}
name:
printWhenStatus
precedence:
no precedence defined
result-values:
_
signature:
String -> Control.Monad.Trans.State.StateT VState Prelude.IO ()
solution-complete:
operation might suspend on free variables
terminating:
possibly non-terminating
totally-defined:
possibly non-reducible on same data term