Crate void

Void

The uninhabited void type for use in statically impossible cases.

In its own crate so all the users in the ecosystem can share the same type. This crate also comes ready with several extension traits for Result that add extra functionality to Result<T, Void> and Result<Void, E>.

Modules

• coreprovider 🔒

Enums

• Void
  The empty type for cases which can’t occur.

Traits

• ResultVoidErrExt
  Extensions to Result<Void, E>
• ResultVoidExt
  Extensions to Result<T, Void>

Functions

• unreachable
  A safe version of intrinsincs::unreachable.