An exploration of type-level SAFE.

This software is in a very early stage of development. We do not advise depending on it, yet.

EXTRA-SAFE

This applies typestate-oriented programming techniques in Rust, along with type-level programming in order of make SAFE APIs even more safe.

At a basic level, the SAFE API is meant to return errors at runtime when the user makes a mistake in its usage. This crate aims to lift most of those errors at compile time.

License

MIT