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
Generalization of 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.