Crate partial_const

This library provides a way to handle constant and non-constant values in a unified way. This library takes both flexibilities to take dynamic values and (partial) parameter checking by the compiler.

Example

fn maybe_one<T: partial_const::MayBeConst<i32>>(i: T) -> bool
    where T: partial_const::Equals<partial_const::ConstI32<1>> {
//  where T: partial_const::Equals<partial_const::i32::Const<1>> { <- Alternative
    i.value() == 1i32
}

assert!(maybe_one(partial_const::ConstI32::<1>::new()));
assert!(maybe_one::<partial_const::ConstI32<1>>(partial_const::ConstI32::new()));
assert!(maybe_one::<i32>(1));
assert!(!maybe_one::<i32>(2));
// assert!(maybe_one(partial_const::ConstI32::<2>::new())); <- Compile Error

Modules

bool

module for bool

char

module for char

i8

module for i8

i16

module for i16

i32

module for i32

i64

module for i64

i128

module for i128

isize

module for isize

u8

module for u8

u16

module for u16

u32

module for u32

u64

module for u64

u128

module for u128

usize

module for usize

Traits

Equals

A trait for putting equality constraints on constants. It will be implemented if the constants are equal.

MayBeConst

A trait for handling constant and non-constant values in a common way

MayBeConstAT

A trait MayBeConst by associated type for internal trait bounds.

Type Aliases

ConstBool

See bool::Const

ConstChar

See char::Const

ConstI8

See i8::Const

ConstI16

See i16::Const

ConstI32

See i32::Const

ConstI64

See i64::Const

ConstI128

See i128::Const

ConstIsize

See isize::Const

ConstU8

See u8::Const

ConstU16

See u16::Const

ConstU32

See u32::Const

ConstU64

See u64::Const

ConstU128

See u128::Const

ConstUsize

See usize::Const