Trait Construct

pub trait Construct: ConstructItem {
    type Base: Construct;
    type Sequence;
    type Params: Singleton;
    type Design: Singleton;
    type Props<M: 'static>: Props<M>;
    type MixedParams: Extractable;
    type ExpandedParams: Extractable;
    type NestedSequence: Flattern;

    // Required method
    fn construct<P, const I: u8>(params: P) -> Self::NestedSequence
       where P: ExtractParams<I, Self::MixedParams, Value = <Self::MixedParams as Extractable>::Output, Rest = <<<Self::Base as Construct>::ExpandedParams as Extractable>::Input as AsParams>::Defined>;
}

Main building block of constructivism

Required Associated Types

type Base: Construct

type Sequence

type Params: Singleton

type Design: Singleton

type Props<M: 'static>: Props<M>

type MixedParams: Extractable

type ExpandedParams: Extractable

type NestedSequence: Flattern

Required Methods

fn construct<P, const I: u8>(params: P) -> Self::NestedSequence

where P: ExtractParams<I, Self::MixedParams, Value = <Self::MixedParams as Extractable>::Output, Rest = <<<Self::Base as Construct>::ExpandedParams as Extractable>::Input as AsParams>::Defined>,

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.

Implementations on Foreign Types

impl Construct for ()

type Base = ()

type Params = ()

type Design = ()

type Props<M: 'static> = NothingProps<M>

type NestedSequence = ()

type MixedParams = ()

type ExpandedParams = ()

type Sequence = <<() as Construct>::NestedSequence as Flattern>::Output

fn construct<P, const I: u8>(_: P) -> Self::NestedSequence

where P: ExtractParams<I, Self::MixedParams, Value = <Self::MixedParams as Extractable>::Output, Rest = <<<Self::Base as Construct>::ExpandedParams as Extractable>::Input as AsParams>::Defined>,

Implementors

impl<T: Segment> Construct for T

type Base = ()

type Sequence = T

type Params = <T as Segment>::Params<()>

type Design = <T as Segment>::Design<()>

type Props<M: 'static> = <T as Segment>::Props<M, NothingProps<M>>

type MixedParams = <T as ConstructItem>::Params

type ExpandedParams = <T as ConstructItem>::Params

type NestedSequence = (T, ())