Jonas Platte c6d293e0e0

Drop #[non_exhaustive] attribute on RoomVersionId ...

With the _Custom variant being hidden, there is no point in additionally
making it non-exhaustive.

2020-09-22 01:15:38 +02:00

..

device_id.rs

identifiers: Add DeviceIdBox and ServerNameBox

2020-08-13 20:42:03 +02:00

device_key_id.rs

identifiers: Replace single-char push_str with just push

2020-09-03 20:21:30 +02:00

event_id.rs

Move ruma-identifiers validation logic into a new crate

2020-08-04 23:23:39 +02:00

lib.rs

Fix ruma_identifiers::device_id!

2020-09-03 20:23:16 +02:00

macros.rs

Implement FromStr for identifier types

2020-08-11 02:15:14 +02:00

room_alias_id.rs

Update ruma-identifiers validation logic

2020-09-21 22:34:56 +02:00

room_id_or_room_alias_id.rs

Move ruma-identifiers validation logic into a new crate

2020-08-04 23:23:39 +02:00

room_id.rs

Update ruma-identifiers validation logic

2020-09-21 22:34:56 +02:00

room_version_id.rs

Drop #[non_exhaustive] attribute on RoomVersionId

2020-09-22 01:15:38 +02:00

server_key_id.rs

identifiers: Replace single-char push_str with just push

2020-09-03 20:21:30 +02:00

server_name.rs

identifiers: Add DeviceIdBox and ServerNameBox

2020-08-13 20:42:03 +02:00

user_id.rs

Update ruma-identifiers validation logic

2020-09-21 22:34:56 +02:00