spice-core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
spice-core/spice.streamer/Streamer

Streamer

spice.streamer.Streamer$
object Streamer

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

final def apply(reader: Reader, writer: Writer, monitor: Monitor, monitorDelay: FiniteDuration, buffer: Array[Byte], closeOnComplete: Boolean): IO[Writer]
def copy(source: File, destination: File): Unit

Uses IO.stream, but supports recursive directory copying.

Uses IO.stream, but supports recursive directory copying.

Attributes

destination

file or directory

source

file or directory

def delete(file: File): Boolean
final def deleteFiles(files: List[File]): Unit
def merge(sources: List[File], destination: File): Unit
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL