| definition: | elapsedTime :: CmdResult -> Float elapsedTime (CD cs s e _ _ _) = checkExitStatus cs s e | 
| demand: | argument 1 | 
| deterministic: | deterministic operation | 
| documentation: | The elapsed time (in seconds) of the command benchmark result. If the exit status is non-zero, an error is raised. | 
| failfree: | _ | 
| indeterministic: | referentially transparent operation | 
| infix: | no fixity defined | 
| iotype: |  {({CD}) |-> _} | 
| name: | elapsedTime | 
| precedence: | no precedence defined | 
| result-values: | _ | 
| signature: | CmdResult -> Prelude.Float | 
| solution-complete: | operation might suspend on free variables | 
| terminating: | possibly non-terminating | 
| totally-defined: | possibly non-reducible on same data term |