Idris2Doc : TimeIt

TimeIt

Reexports

import public System.Clock

showTime' : Clock Duration -> String: Visibility: export
timeIt' : HasIO io => String -> io a -> io (Clock Duration, a): Visibility: export
timeIt : HasIO io => String -> io a -> io a: Visibility: export