Trait ShapeDeclareExt 

pub trait ShapeDeclareExt<This>: Sorts + Sized
where
    This: ShapeAlg + FieldAlg,
{
    // Required methods
    fn record<'a>(&'a self, words: Words<'a>) -> Record<'a, Self>;
    fn program<Program>(&self, program: Program) -> Self::Ty
       where Program: ShapeProgramAlg<Self, Ty = Self::Ty>;
}

The operations a declaration’s body states.

Required Methods

fn record<'a>(&'a self, words: Words<'a>) -> Record<'a, Self>

Opens the product a declaration states, under the name the declaration carries.

fn program<Program>(&self, program: Program) -> Self::Ty

where Program: ShapeProgramAlg<Self, Ty = Self::Ty>,

The shape another declaration states, folded here.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl<This> ShapeDeclareExt<This> for This

where This: ShapeAlg + FieldAlg,

The operations a declaration’s body states.