Plain simple timing for HasIO actions
Main> :module TimeIt
Main> :module System
Main> :exec timeIt "Woof" $ traverse (\n => sleep n <* printLn n) [3,1,2]
3
1
2
Woof: 6.000343895
-
Notifications
You must be signed in to change notification settings - Fork 0
Plain simple timing of io actions
License
MarcelineVQ/idris2-timeit
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Plain simple timing of io actions
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published