Struct ArrayBuilder

pub struct ArrayBuilder<'a> { /* private fields */ }

Builder for array operations.

This builder provides a fluent interface for creating array operations such as map, filter, reduce, etc.

Implementations

impl<'a> ArrayBuilder<'a>

pub fn new(arena: &'a DataArena) -> Self

Creates a new array builder.

pub fn map_op(&self) -> MapBuilder<'a>

Creates a map operation.

pub fn filter_op(&self) -> FilterBuilder<'a>

Creates a filter operation.

pub fn reduce_op(&self) -> ReduceBuilder<'a>

Creates a reduce operation.

pub fn merge_op(&self) -> ArrayOperationBuilder<'a>

Creates a merge operation.

pub fn length_op(&self, array: Logic<'a>) -> Logic<'a>

Creates a length operation.

pub fn slice_op(&self) -> SliceBuilder<'a>

Creates a slice operation.

pub fn sort_op(&self) -> SortBuilder<'a>

Creates a sort operation.

pub fn in_op(&self, value: Logic<'a>, array: Logic<'a>) -> Logic<'a>

Creates an in-array check operation.

pub fn array_literal_op(&self, elements: Vec<Logic<'a>>) -> Logic<'a>

Creates an array literal.