Writable

Definitions

def writeLine(line: String, writer: t): Result[IoError, Unit] \ IO + Aef[t] with Writable[t] where Writable.Elm[t] ~ Char

Writes line to writer and appends a new line separator.

The new line separator is platform dependent, and is determined by the "line.separator" system property.

def writeNewLine(writer: t): Result[IoError, Unit] \ IO + Aef[t] with Writable[t] where Writable.Elm[t] ~ Char Source

Writes a new line separator to writer.

The new line separator is platform dependent, and is determined by the "line.separator" system property.

def writeString(string: String, writer: t): Result[IoError, Unit] \ Aef[t] with Writable[t] where Writable.Elm[t] ~ Char Source

Writes string to writer.