toggle menu
shake
0.1.0
common
switch theme
search in API
com.shakelang.util.logger
/
com.shakelang.util.logger
/
Logger
/
pipe
pipe
fun
pipe
(
pipe
:
LoggerPipe
)
(
source
)
Pipes the logs to the given
pipe
Since
0.3.0
Parameters
pipe
The
LoggerPipe
to pipe to
See also
Logger
Pipe