| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Exception/ | 2024-10-06 12:08 | - | ||
| Internal/ | 2024-10-06 12:04 | - | ||
| Type.php | 2023-07-19 20:13 | 963 | ||
| TypeInterface.php | 2023-07-19 20:13 | 926 | ||
| array_key.php | 2023-07-19 20:13 | 178 | ||
| backed_enum.php | 2023-07-19 20:13 | 275 | ||
| bool.php | 2023-07-19 20:13 | 164 | ||
| converted.php | 2023-07-19 20:13 | 443 | ||
| dict.php | 2023-07-19 20:13 | 374 | ||
| f32.php | 2023-07-19 20:13 | 200 | ||
| f64.php | 2023-07-19 20:13 | 200 | ||
| float.php | 2023-07-19 20:13 | 167 | ||
| i8.php | 2023-07-19 20:13 | 206 | ||
| i16.php | 2023-07-19 20:13 | 213 | ||
| i32.php | 2023-07-19 20:13 | 223 | ||
| i64.php | 2023-07-19 20:13 | 198 | ||
| instance_of.php | 2023-07-19 20:13 | 259 | ||
| int.php | 2023-07-19 20:13 | 161 | ||
| intersection.php | 2023-07-19 20:13 | 697 | ||
| is_nan.php | 2023-07-19 20:13 | 227 | ||
| iterable.php | 2023-07-19 20:13 | 372 | ||
| literal_scalar.php | 2023-07-19 20:13 | 279 | ||
| map.php | 2023-07-19 20:13 | 411 | ||
| mixed.php | 2023-07-19 20:13 | 167 | ||
| mixed_dict.php | 2023-07-19 20:13 | 194 | ||
| mixed_vec.php | 2023-07-19 20:13 | 180 | ||
| mutable_map.php | 2023-07-19 20:13 | 433 | ||
| mutable_vector.php | 2023-07-19 20:13 | 332 | ||
| non_empty_dict.php | 2023-07-19 20:13 | 402 | ||
| non_empty_string.php | 2023-07-19 20:13 | 198 | ||
| non_empty_vec.php | 2023-07-19 20:13 | 289 | ||
| nonnull.php | 2023-07-19 20:13 | 212 | ||
| null.php | 2023-07-19 20:13 | 164 | ||
| nullable.php | 2023-07-19 20:13 | 270 | ||
| num.php | 2023-07-19 20:13 | 167 | ||
| numeric_string.php | 2023-07-19 20:13 | 193 | ||
| object.php | 2023-07-19 20:13 | 170 | ||
| optional.php | 2023-07-19 20:13 | 265 | ||
| positive_int.php | 2023-07-19 20:13 | 227 | ||
| resource.php | 2023-07-19 20:13 | 294 | ||
| scalar.php | 2023-07-19 20:13 | 185 | ||
| shape.php | 2023-07-19 20:13 | 358 | ||
| string.php | 2023-07-19 20:13 | 170 | ||
| u8.php | 2023-07-19 20:13 | 203 | ||
| u16.php | 2023-07-19 20:13 | 208 | ||
| u32.php | 2023-07-19 20:13 | 213 | ||
| uint.php | 2023-07-19 20:13 | 209 | ||
| union.php | 2023-07-19 20:13 | 545 | ||
| unit_enum.php | 2023-07-19 20:13 | 267 | ||
| vec.php | 2023-07-19 20:13 | 261 | ||
| vector.php | 2023-07-19 20:13 | 310 | ||