Enum FuncProgram 

pub enum FuncProgram {
    Lit(String),
    Var(String),
    Lam(String, Box<FuncProgram>),
    App(Box<FuncProgram>, Box<FuncProgram>),
    ListCase {
        scrutinee: Box<FuncProgram>,
        nil_branch: Box<FuncProgram>,
        cons_head: String,
        cons_tail: String,
        cons_branch: Box<FuncProgram>,
    },
    Rec(Box<FuncProgram>),
}

A recursive program structure for inductive synthesis.

Variants

Lit(String)

A literal (constant) value.

Var(String)

A variable reference.

Lam(String, Box<FuncProgram>)

Lambda abstraction.

App(Box<FuncProgram>, Box<FuncProgram>)

Application.

ListCase

Pattern match on a list.

Fields

scrutinee: Box<FuncProgram>

nil_branch: Box<FuncProgram>

cons_head: String

cons_tail: String

cons_branch: Box<FuncProgram>

Rec(Box<FuncProgram>)

Recursive call (for structurally recursive programs).

Implementations

impl FuncProgram

pub fn pretty(&self) -> String

Pretty-print the program.

pub fn size(&self) -> usize

Count AST nodes.

Trait Implementations

impl Clone for FuncProgram

fn clone(&self) -> FuncProgram

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FuncProgram

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

Formats the value using the given formatter.