pointdexter 1.0.0-rc1

unifies *const/*mut pointers using the trait system
1
2
3
4
5
6
7
8
9
10
11
# Unique Provenance

This type denotes a [provenance][0] which begins with only one accessor, which
has total write capability. This accessor can then be degraded by casting to
`Shared` (irrevocable) or `(Shared, Unique)` (revocable).

While this is the top-most permission in a Pointdexter type, that type keeps
access to its unconditional-write APIs. It will lose access once this is no
longer the top-most permission.

[0]: https://doc.rust-lang.org/core/ptr/index.html#provenance