PTV/exercises
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

shorten lines in mode.md code

Browse Source
This commit is contained in:
AF 2023-08-01 11:32:23 +00:00
parent 81f63cd862
commit 51622451bd
1 changed files with 13 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/exercises/mode.md
View File

@ -22,7 +22,7 @@ trait FromStream: Sized {
type Error;
}
/// Can be formed from any length of data. Always consumes the stream.
/// Can be constructed from data of any length. Always consumes the stream.
trait ConsumesStream: FromStream {
/// Try to read the value. Can handle EOF, can ask for all data the stream has.
fn read_from(stream: impl Stream) -> Result<Self, Self::Error>;
@ -51,19 +51,26 @@ impl<A: FromStream, B: FromStream> FromStream for (A, B) {
impl<A: Deterministic, B: ConsumesStream> ConsumesStream for (A, B) {
fn read_from(stream: impl Stream) -> Result<Self, Self::Error> {
let (a, stream) = A::read_from(stream).map_err(Either::Left)?;
B::read_from(stream).map_err(Either::Right).map(|b| (a, b))
let (a, stream) = A::read_from(stream)
.map_err(Either::Left)?;
B::read_from(stream)
.map_err(Either::Right)
.map(|b| (a, b))
}
fn extend(self, data: &[u8]) -> Result<Self, Self::Error> {
self.1.extend(data).map_err(Either::Right).map(|b| (self.0, b))
self.1.extend(data)
.map_err(Either::Right).map(|b| (self.0, b))
}
}
impl<A: Deterministic, B: Deterministic> Deterministic for (A, B) {
fn read_from<S: Stream>(stream: S) -> Result<(Self, S), Self::Error> {
let (a, stream) = A::read_from(stream).map_err(Either::Left)?;
B::read_from(stream).map_err(Either::Right).map(|(b, stream)| ((a, b), stream))
let (a, stream) = A::read_from(stream)
.map_err(Either::Left)?;
B::read_from(stream)
.map_err(Either::Right)
.map(|(b, stream)| ((a, b), stream))
}
fn fail(data: &[u8]) -> Self::Error {