Trait ExtendableThing

pub trait ExtendableThing {
    type InteractionAffordance: ExtendablePiece;
    type PropertyAffordance: ExtendablePiece;
    type ActionAffordance: ExtendablePiece;
    type EventAffordance: ExtendablePiece;
    type Form: ExtendablePiece;
    type ExpectedResponse: ExtendablePiece;
    type DataSchema: ExtendablePiece;
    type ObjectSchema: ExtendablePiece;
    type ArraySchema: ExtendablePiece;
}

Main extension trait

The trait uses an associated type for each element of the ThingDescription, set it to () if the extension does not apply to that specific element.

Required Associated Types

type InteractionAffordance: ExtendablePiece

The extension type for InteractionAffordance.

type PropertyAffordance: ExtendablePiece

The extension type for PropertyAffordance.

type ActionAffordance: ExtendablePiece

The extension type for ActionAffordance.

type EventAffordance: ExtendablePiece

The extension type for EventAffordance.

type Form: ExtendablePiece

The extension type for Form.

type ExpectedResponse: ExtendablePiece

The extension type for ExpectedResponse.

type DataSchema: ExtendablePiece

The extension type for DataSchema.

type ObjectSchema: ExtendablePiece

The extension type for ObjectSchema.

type ArraySchema: ExtendablePiece

The extension type for ArraySchema.

Implementors

impl ExtendableThing for Nil

type InteractionAffordance = Nil

type PropertyAffordance = Nil

type ActionAffordance = Nil

type EventAffordance = Nil

type Form = Nil

type ExpectedResponse = Nil

type DataSchema = Nil

type ObjectSchema = Nil

type ArraySchema = Nil

impl<T, U> ExtendableThing for Cons<T, U>

where T: ExtendableThing, U: ExtendableThing,

type InteractionAffordance = Cons<<T as ExtendableThing>::InteractionAffordance, <U as ExtendableThing>::InteractionAffordance>

type PropertyAffordance = Cons<<T as ExtendableThing>::PropertyAffordance, <U as ExtendableThing>::PropertyAffordance>

type ActionAffordance = Cons<<T as ExtendableThing>::ActionAffordance, <U as ExtendableThing>::ActionAffordance>

type EventAffordance = Cons<<T as ExtendableThing>::EventAffordance, <U as ExtendableThing>::EventAffordance>

type Form = Cons<<T as ExtendableThing>::Form, <U as ExtendableThing>::Form>

type ExpectedResponse = Cons<<T as ExtendableThing>::ExpectedResponse, <U as ExtendableThing>::ExpectedResponse>

type DataSchema = Cons<<T as ExtendableThing>::DataSchema, <U as ExtendableThing>::DataSchema>

type ObjectSchema = Cons<<T as ExtendableThing>::ObjectSchema, <U as ExtendableThing>::ObjectSchema>

type ArraySchema = Cons<<T as ExtendableThing>::ArraySchema, <U as ExtendableThing>::ArraySchema>