Trait ShapeProgramAlg 

pub trait ShapeProgramAlg<Alg> {
    type Ty;

    // Required method
    fn compile_shape(self, alg: &Alg) -> Self::Ty;
}

States the shape a declaration denotes, once an algebra interprets it.

Required Associated Types

type Ty

The shape the algebra builds.

Required Methods

fn compile_shape(self, alg: &Alg) -> Self::Ty

Folds this declaration with the algebra.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors