Revamp transparency & safety parameters.

jswrenn / typic

Type-safe transmutations between layout-compatible types.

https://crates.io/crates/typic

Apache License 2.0

121 stars 4 forks source link

Revamp transparency & safety parameters. #5

Closed jswrenn closed 4 years ago

jswrenn commented 4 years ago

Fixes #3. Transparency is now a property of bytes.

Additionally introduces fine-grained safety & stability parameters so library consumers can opt-in to the particular invariants they don't mind neglecting static guarantees for.

jswrenn commented 4 years ago

Todo:

[ ] Finer grain stability bounds?
[ ] Do we really need both TransmuteFrom and TransmuteInto?
[ ] Make the validity opt-out do something! (Yay, bool support!)