DataInputStream constructor
Create a stream that takes its data from source with the given
initial endian
setting. Choose Endian.big
for interoperability with java.io.DataInputStream
.
Implementation
DataInputStream(Stream<List<int>> source, [this.endian = Endian.big])
: _source = StreamIterator<List<int>>(source);