Trait Reflect 

pub trait Reflect {
    type Value;

    // Required method
    fn reflect() -> Self::Value;
}

Converts a type-level value into a runtime value.

Types implementing Reflect carry a compile-time value that can be extracted at runtime via Reflect::reflect.

Examples

use reify_reflect_core::{Reflect, RuntimeValue};

struct MyZero;

impl Reflect for MyZero {
    type Value = RuntimeValue;
    fn reflect() -> Self::Value {
        RuntimeValue::Nat(0)
    }
}

assert_eq!(MyZero::reflect(), RuntimeValue::Nat(0));

Required Associated Types

type Value

The runtime representation of this type-level value.

Required Methods

fn reflect() -> Self::Value

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Reflect for False

type Value = bool

impl Reflect for HNil

type Value = Vec<RuntimeValue>

impl Reflect for True

type Value = bool

impl Reflect for Z

type Value = RuntimeValue

impl<H, T> Reflect for HCons<H, T>

where H: Reflect<Value = RuntimeValue>, T: Reflect<Value = Vec<RuntimeValue>>,

type Value = Vec<RuntimeValue>

impl<N> Reflect for S<N>

where N: Nat,

type Value = RuntimeValue