mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-16 23:05:42 +00:00
47c3dd535d
MozReview-Commit-ID: LQicTh0fmk0 --HG-- extra : rebase_source : 7a5ee9c3242fefa72e8d0372b8e9c03170c7df4b |
||
|---|---|---|
| .. | ||
| src | ||
| .cargo-checksum.json | ||
| .cargo-ok | ||
| .travis.yml | ||
| Cargo.toml | ||
| README.md | ||
Void
The uninhabited void type for use in statically impossible cases.
Documentation
The uninhabited type, enum Void { } is useful in dealing with cases you
know to be impossible. For instance, if you are implementing a trait which
allows for error checking, but your case always succeeds, you can mark the
error case or type as Void, signaling to the compiler it can never happen.
This crate also comes packed with a few traits offering extension methods to
Result<T, Void> and Result<Void, T>.
Usage
Use the crates.io repository; add this to your Cargo.toml along
with the rest of your dependencies:
[dependencies]
void = "1"
Then, use Void in your crate:
extern crate void;
use void::Void;
Author
Jonathan Reem is the primary author and maintainer of void.
License
MIT