Struct ProgramBuilder 

pub struct ProgramBuilder { /* private fields */ }

Implementations

impl ProgramBuilder

pub fn build<F>(f: F) -> Result<Program>

where F: FnOnce(Self) -> Result<Self>,

pub fn finalize(self) -> Result<Program>

pub fn input<F>(&self, id: &str, f: F) -> Result<()>

where F: FnOnce(DeclarationBuilder) -> DeclarationBuilder,

pub fn indexed_input<R, F>(&self, id: &str, f: F) -> Result<()>

where R: Relation + Default, F: FnOnce(DeclarationBuilder<R>) -> DeclarationBuilder<R>,

pub fn output<F>(&self, id: &str, f: F) -> Result<()>

where F: FnOnce(DeclarationBuilder) -> DeclarationBuilder,

pub fn indexed_output<R, F>(&self, id: &str, f: F) -> Result<()>

where R: Relation + Default, F: FnOnce(DeclarationBuilder<R>) -> DeclarationBuilder<R>,

pub fn fact<F>(&self, id: &str, f: F) -> Result<()>

where F: FnOnce(FactBuilder) -> FactBuilder,

pub fn rule<T>( &self, id: &str, f: &(dyn Fn(&RuleHeadBuilder, &RuleBodyBuilder, T::Vars) -> Result<()> + '_), ) -> Result<()>

where T: RuleVars,

Trait Implementations

impl Debug for ProgramBuilder

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

Formats the value using the given formatter.

impl Default for ProgramBuilder

fn default() -> ProgramBuilder

Returns the “default value” for a type.