CurryInfo: currybrowse-3.0.0 / BrowserGUI.showExecTime

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