Skip to main content

synth

eure_schema::synth

Function synth 

Source 
pub fn synth(doc: &EureDocument, node_id: NodeId) -> SynthType
Expand description

Synthesize a type from a document node.

This function recursively traverses the document structure and infers the most specific type for each value.

§Arguments

  • doc - The Eure document containing the node
  • node_id - The node to synthesize a type for

§Returns

The synthesized type for the node