Ding
Documentation for DingDingDing.
DingDingDing.ding_filesDingDingDing.elevator_filesDingDingDing.ding_exprDingDingDing.ding_replDingDingDing.elevator_exprDingDingDing.elevator_replDingDingDing.full_replDingDingDing.ohno_replDingDingDing.rand_sound_fileDingDingDing.refresh!DingDingDing.@dingDingDingDing.@elevator
DingDingDing.ding_files — Constant
DingDingDing.elevator_files — Constant
List of files (with sources) played when using @elevator or elevator_repl.
DingDingDing.ding_expr — Method
Transform an expression to play a sound if execution took more than min_duration seconds
DingDingDing.ding_repl — Function
Enable a ding sound on all REPL commands taking more than a certain time.
DingDingDing.elevator_expr — Method
Rewrite an expression such that an elevator music start playing after an initial time and stops it when the evaluation is finished.
DingDingDing.elevator_repl — Function
Enable elevator music on all REPL commands taking more than a certain time.
DingDingDing.full_repl — Function
Toggle all the repl hooks at the same time.
DingDingDing.ohno_repl — Function
Enable elevator music on all REPL commands taking more than a certain time.
DingDingDing.rand_sound_file — Method
Given a dictionary, get a random file and fetch its source.
DingDingDing.refresh! — Function
Reload the options given the Ding.toml file present in the current directory.
DingDingDing.@ding — Macro
Play a short sound after the execution is over
DingDingDing.@elevator — Macro
Plays an elevator music along the given expression