Struct DhallBackend 

pub struct DhallBackend {
    pub emit_annotations: bool,
}

The Dhall code generation backend.

Converts OxiLean IR constructs into Dhall configuration language output.

Fields

emit_annotations: bool

Whether to emit types with full annotation (default true)

Implementations

impl DhallBackend

pub fn new() -> Self

Create a new DhallBackend with default settings.

pub fn emit_expr(&self, expr: &DhallExpr, indent: usize) -> String

Emit a DhallExpr to string.

pub fn emit_file(&self, file: &DhallFile) -> String

Emit a complete DhallFile to string.

pub fn emit_record(&self, record: &DhallRecord, indent: usize) -> String

Emit a DhallRecord to string.

pub fn emit_function(&self, func: &DhallFunction, indent: usize) -> String

Emit a DhallFunction to string.

pub fn make_schema(&self, fields: Vec<(&str, DhallType)>) -> DhallExpr

Build a Dhall record schema (record type) from a field map.

pub fn make_list_map( &self, input_type: DhallType, output_type: DhallType, func: DhallExpr, list: DhallExpr, ) -> DhallExpr

Build a List/map application.

pub fn make_natural_fold( &self, n: DhallExpr, result_type: DhallType, succ: DhallExpr, zero: DhallExpr, ) -> DhallExpr

Build a Natural/fold-style loop body.

pub fn make_service_config( &self, enable: bool, name: &str, port: u64, extra_fields: Vec<(String, DhallExpr)>, ) -> DhallExpr

Build a configuration record for a service-like schema.

pub fn make_enum(&self, variants: Vec<&str>) -> DhallType

Build a union type for an enumeration.

pub fn make_optional_merge( &self, optional_value: DhallExpr, some_handler: DhallExpr, none_value: DhallExpr, result_type: DhallType, ) -> DhallExpr

Build an Optional handling pattern with merge.

pub fn make_package( &self, _module_name: &str, exports: Vec<(&str, DhallExpr)>, ) -> DhallFile

Generate a Dhall prelude-style package.dhall skeleton.

Trait Implementations

impl Default for DhallBackend

fn default() -> Self

Returns the “default value” for a type.