next up previous index
Next: Time and date Up: Miscellaneous Previous: Miscellaneous   Index

ask

In ask.diesel:

extend module Stdlib;
module Ask;
The ask method prints out a prompt on stdout and returns the result typed in on stdin. The ask_yes_no method returns true iff the first character of the response begins with Y or y.

fun ask(prompt:string):string;
fun ask_yes_no(prompt:string):bool;
end module Ask;
module BlockInput;
fun get_block_input():string;
end module BlockInput;
module Split;
fun split_input(s:string, split_ch:char,
                       needs_continuation:&(extensible_sequence[string]
                                            ):extensible_sequence[string]
                       ):extensible_sequence[string];
fun split_input(s:string, split_ch:char):extensible_sequence[string];
end module Split;


next up previous index
Next: Time and date Up: Miscellaneous Previous: Miscellaneous   Index

Cecil/Vortex Project