2022-08-19 16:25:42 +12:00
|
|
|
use Any
|
|
|
|
use Option
|
|
|
|
|
2022-08-04 17:38:00 +12:00
|
|
|
```doc
|
|
|
|
# Shift Right
|
|
|
|
|
|
|
|
Values which wish to implement the `>>` infix operator must implement this protocol.
|
|
|
|
```
|
2022-08-07 16:20:33 +12:00
|
|
|
protocol ShiftRight, as: do
|
2022-08-04 17:38:00 +12:00
|
|
|
```doc
|
2022-08-07 16:20:33 +12:00
|
|
|
Shift `self` right by `other` bits, returning an option.
|
2022-08-04 17:38:00 +12:00
|
|
|
|
|
|
|
It is left up to the implementer to define when it should return `Some` or `None`.
|
|
|
|
```
|
2022-08-07 16:20:33 +12:00
|
|
|
def shift(self: Self, other: Any): Option
|
2022-08-04 17:38:00 +12:00
|
|
|
end
|