Trait ShapeDeclareExt 

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

The operations a declaration’s body states.

Required Methods

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

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

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

where Program: ShapeProgramAlg<This, Ty = This::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.