Trait WitnessConstructible 

pub trait WitnessConstructible<'brand, W>: Sized {
    // Required method
    fn witness(inference_context: &Context<'brand>, witness: W) -> Self;
}

Required Methods

fn witness(inference_context: &Context<'brand>, witness: W) -> Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'brand, N> WitnessConstructible<'brand, <N as Marker>::Witness> for Arc<Node<N>>

where N: Marker, N::CachedData: WitnessConstructible<'brand, N::Witness>,

fn witness(inference_context: &Context<'brand>, value: N::Witness) -> Self

Implementors

impl<'brand> WitnessConstructible<'brand, Option<Value>> for ConstructData<'brand>

impl<'brand, W> WitnessConstructible<'brand, W> for Arrow<'brand>

impl<'brand, W, N> WitnessConstructible<'brand, W> for Hiding<'brand, N>

where N: WitnessConstructible<'brand, W> + CoreConstructible<'brand>,