Shannon Booth
e2e7c4d574
Everywhere: Use to_number<T> instead of to_{int,uint,float,double}
...
In a bunch of cases, this actually ends up simplifying the code as
to_number will handle something such as:
```
Optional<I> opt;
if constexpr (IsSigned<I>)
opt = view.to_int<I>();
else
opt = view.to_uint<I>();
```
For us.
The main goal here however is to have a single generic number conversion
API between all of the String classes.
2023-12-23 20:41:07 +01:00
..
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-09-01 19:50:35 +02:00
2023-12-23 20:41:07 +01:00
2023-12-17 18:25:10 +03:30
2023-10-17 11:02:01 -06:00
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-23 20:41:07 +01:00
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-01 20:46:16 +01:00
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-09-01 11:19:18 +02:00
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-10-17 11:02:01 -06:00
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-11-08 18:19:34 +01:00
2023-11-08 18:19:34 +01:00
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-23 20:41:07 +01:00
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-08-31 11:10:09 +02:00
2023-11-06 09:39:59 +01:00
2023-11-06 09:39:59 +01:00
2023-12-17 18:25:10 +03:30
2023-11-06 09:39:59 +01:00
2023-12-17 18:25:10 +03:30
2023-11-06 09:39:59 +01:00
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-17 18:25:10 +03:30
2023-12-23 20:41:07 +01:00
2023-12-17 18:25:10 +03:30
2023-09-17 13:38:12 -06:00