CurryInfo: currybrowse-3.0.0 / BrowserGUI.showExecTime

definition:
 
showExecTime :: Bool
showExecTime = True
demand:
 no demanded arguments
deterministic:
 deterministic operation
documentation:
 
------------------------------------------------------------------
Set this constant to True if the execution times of the main operations
should be shown in the status line:
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {() |-> {True}}
name:
 showExecTime
precedence:
 no precedence defined
result-values:
 {True}
signature:
 Prelude.Bool
solution-complete:
 operationally complete operation
terminating:
 yes
totally-defined:
 reducible on all ground data terms