echo
Print exactly one line to
stdout
To print more than one line see
printf, which also supports
formatted output
Echo text to standard (error, when using _err variants)
output. The _n variants do not print a final newline.
Echo text to standard (error, when using _err variants) output. The _n
variants do not print a final newline.
The trivial
Process that simply repeats each input it receives.
This can be constructed from a plan with
echo :: Process a a
echo = repeatedly $ do
i <- await
yield i
Examples:
>>> run $ echo <~ source [1..5]
[1,2,3,4,5]
Echo a string. Note that the echoing is done by the solver, not by
SBV.
NB. For a version which generalizes over the underlying monad, see
echo
Applies a type of delay to a pattern. It has three parameters, which
could be called depth, time and feedback.
This adds a bit of echo: d1 $ echo 4 0.2 0.5 $ sound "bd sn"
The above results in 4 echos, each one 50% quieter than the last, with
1/5th of a cycle between them.
It is possible to reverse the echo: d1 $ echo 4 (-0.2) 0.5 $
sound "bd sn"
A cross-platform, cross-console way to handle echoing terminal input
The base library exposes the hGetEcho and
hSetEcho functions for querying and setting echo status, but
unfortunately, neither function works with MinTTY consoles on Windows.
This is a serious issue, since hGetEcho and hSetEcho
are often used to disable input echoing when a program prompts for a
password, so many programs will reveal your password as you type it on
MinTTY!
This library provides an alternative interface which works with both
MinTTY and other consoles. An example is included which demonstrates
how one might prompt for a password using this library. To build it,
make sure to configure with the -fexample flag.
Exports functions that handle whether or not terminal input is handled
in a way that should be portable across different platforms and
consoles.
Echo text to standard (error, when using _err variants)
output. The _n variants do not print a final newline.
Echo text to standard (error, when using _err variants)
output. The _n variants do not print a final newline.
Echo text to standard (error, when using _err variants)
output. The _n variants do not print a final newline.
Echo text to standard (error, when using _err variants) output. The _n
variants do not print a final newline.
Echo text to standard (error, when using _err variants) output. The _n
variants do not print a final newline.
Echo text to standard (error, when using _err variants) output. The _n
variants do not print a final newline.