llzk 0.5.0

Rust bindings to the LLZK C API.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

//! `array` dialect.

mod ops;
#[cfg(test)]
mod tests;
mod r#type;

use llzk_sys::mlirGetDialectHandle__llzk__array__;
use melior::dialect::DialectHandle;
pub use ops::{
    ArrayCtor, extract, insert, is_array_extract, is_array_insert, is_array_len, is_array_new,
    is_array_read, is_array_write, len, new, read, write,
};
pub use r#type::{ArrayType, is_array_type};

/// Returns a handle to the `array` dialect.
pub fn handle() -> DialectHandle {
    unsafe { DialectHandle::from_raw(mlirGetDialectHandle__llzk__array__()) }
}

/// Exports the common types of the array dialect.
pub mod prelude {
    pub use super::r#type::{ArrayType, is_array_type};
}