Struct SynthContext 

pub struct SynthContext {
    pub components: HashMap<String, SynthType>,
}

A type-directed synthesis context: typed components available.

Fields

components: HashMap<String, SynthType>

Named components with their types.

Implementations

impl SynthContext

pub fn new() -> Self

Create an empty synthesis context.

pub fn add(&mut self, name: impl Into<String>, ty: SynthType)

Add a component with the given type.

pub fn matching(&self, goal: &SynthType) -> Vec<(&str, &SynthType)>

Find all components that match the goal type (syntactically).

Trait Implementations

impl Clone for SynthContext

fn clone(&self) -> SynthContext

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SynthContext

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SynthContext

fn default() -> SynthContext

Returns the “default value” for a type.