Struct PrologModuleBuilder 

pub struct PrologModuleBuilder { /* private fields */ }

Fluent builder for PrologModule.

Implementations

impl PrologModuleBuilder

pub fn new(name: impl Into<String>) -> Self

Start a named module.

pub fn script() -> Self

Start a script (no module declaration).

pub fn export(self, indicator: impl Into<String>) -> Self

Export a predicate.

pub fn use_library(self, lib: impl Into<String>) -> Self

Add a use_module(library(Name)) directive.

pub fn use_module(self, path: impl Into<String>) -> Self

Add a use_module(path) directive.

pub fn add_predicate(self, pred: PrologPredicate) -> Self

Add a predicate.

pub fn add_dcg(self, rule: DcgRule) -> Self

Add a DCG rule.

pub fn blank(self) -> Self

Add a blank line.

pub fn section(self, title: impl Into<String>) -> Self

Add a section comment.

pub fn comment(self, text: impl Into<String>) -> Self

Add a line comment.

pub fn description(self, desc: impl Into<String>) -> Self

Set the description.

pub fn build(self) -> PrologModule

Finalise.

pub fn emit(self) -> String

Emit directly.