Struct True 

pub struct True;

Type-level true.

Examples

use reflect_nat::True;
use reify_reflect_core::Reflect;

assert_eq!(True::reflect(), true);

Trait Implementations

impl And<False> for True

type Result = False

The result of Self && Rhs.

impl And<True> for False

type Result = False

The result of Self && Rhs.

impl And<True> for True

type Result = True

The result of Self && Rhs.

impl Bool for True

fn to_bool() -> bool

The runtime bool value of this type-level boolean.

impl Not for True

type Result = False

The negated type-level boolean.

impl Or<False> for True

type Result = True

The result of Self || Rhs.

impl Or<True> for False

type Result = True

The result of Self || Rhs.

impl Or<True> for True

type Result = True

The result of Self || Rhs.

impl Reflect for True

type Value = bool

The runtime representation of this type-level value.

fn reflect() -> <True as Reflect>::Value

Produce the runtime value corresponding to this type-level value.