OutputType

Usage

OutputType: Category

Description

OutputType is the category of types whose objects can be written onto text writers.

Exports

$<<$:	(TextWriter, %) $\to$ TextWriter	write using text encoding
$<<$:	% $\to$ TextWriter $\to$ TextWriter	write function for an element