Treatment checkedSub
std/ops/num::checkedSub
Generics
◻ N:
CheckedSub
Inputs
⇥ a:
Stream<N>
⇥ b:
Stream<N>
Outputs
↦ diff:
Stream<Option<N>>
Substract values from two streams, checking if overflow occurs.
Values passed through b
are substracted to a
and send in diff
.
This treatment outputs an option containing a - b
, or none if result cause overflow in data type.