Crate void[][src]

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>.

Re-exports

extern crate core;
extern crate compiler_builtins;
use core::prelude::v1::*;
use coreprovider::*;

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.