(x Option[float32])
| 7 | ) |
| 8 | |
| 9 | func RoundtripOption(x Option[float32]) Option[uint8] { |
| 10 | switch x.Tag() { |
| 11 | case OptionSome: |
| 12 | return Some[uint8](uint8(x.Some())) |
| 13 | case OptionNone: |
| 14 | return None[uint8]() |
| 15 | default: |
| 16 | panic("unreachable") |
| 17 | } |
| 18 | } |
| 19 | |
| 20 | func RoundtripResult(x Result[uint32, float32]) Result[float64, uint8] { |
| 21 | switch x.Tag() { |