pub(all) suberror MatError {
  MatError(String, Int, String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct CellArray {
  name : String
  shape : Array[Int]
  values : Array[MatNode]
  is_global : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct CharArray {
  name : String
  shape : Array[Int]
  encoding : CharEncoding
  data : Bytes
  is_global : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum CharEncoding {
  Int8Text
  UInt8Text
  UInt16Text
  Utf8
  Utf16
  Utf32
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum DType {
  Float64
  Float32
  Int8
  UInt8
  Int16
  UInt16
  Int32
  UInt32
  Int64
  UInt64
  Logical
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DifferenceSample {
  plane : String
  index : Int
  coordinates : Array[Int]
  before : Bytes
  after : Bytes
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct DocumentDifference {
  content_equal : Bool
  variable_order_changed : Bool
  changed_variables : Int
  variables : Array[VariableDifference]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Limits {
  max_file_bytes : Int
  max_expanded_bytes : Int
  max_elements : Int
  max_variables : Int
  max_dimensions : Int
  max_name_bytes : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MatDocument {
  description : String
  little_endian : Bool
  variables : Array[MatVariable]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MatFile {
  description : String
  little_endian : Bool
  arrays : Array[NumericArray]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum MatNode {
  Numeric(NumericArray)
  Csc(SparseArray)
  Character(CharArray)
  Cell(CellArray)
  Structure(StructArray)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MatRootInfo {
  name : String
  class_id : Int
  shape : Array[Int]
  is_global : Bool
  is_complex : Bool
  is_logical : Bool
  compressed : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MatSource {
  size : Int
  read_into : (Int, FixedArray[Byte], Int, Int) -> Int
}

pub(all) struct MatTree {
  description : String
  little_endian : Bool
  variables : Array[MatNode]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum MatVariable {
  Dense(NumericArray)
  Sparse(SparseArray)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct NumericArray {
  name : String
  dtype : DType
  shape : Array[Int]
  real : Bytes
  imag : Bytes?
  is_global : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SourceLimits {
  max_source_bytes : Int
  max_expanded_bytes : Int
  max_result_bytes : Int
  max_buffered_root_bytes : Int
  max_metadata_bytes : Int
  chunk_bytes : Int
  max_elements : Int
  max_variables : Int
  max_dimensions : Int
  max_name_bytes : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SparseArray {
  name : String
  dtype : DType
  shape : Array[Int]
  row_indices : Array[Int]
  col_ptrs : Array[Int]
  real : Bytes
  imag : Bytes?
  nzmax : Int
  is_global : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct StructArray {
  name : String
  shape : Array[Int]
  fields : Array[String]
  values : Array[MatNode]
  class_name : String?
  is_global : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TreeCloseDifference {
  exact_equal : Bool
  within_tolerance : Bool
  variable_order_changed : Bool
  differences : Int
  samples : Array[TreeDifferenceSample]
  truncated : Bool
  atol : Double
  rtol : Double
  equal_nan : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TreeDifference {
  content_equal : Bool
  variable_order_changed : Bool
  differences : Int
  samples : Array[TreeDifferenceSample]
  truncated : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TreeDifferenceSample {
  path : Array[TreePathSegment]
  kind : String
  index : Int
  coordinates : Array[Int]
  before : Bytes
  after : Bytes
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TreeLimits {
  max_depth : Int
  max_nodes : Int
  max_fields : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum TreePathSegment {
  Root(String)
  CellElement(Int)
  StructElement(Int)
  Field(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Value {
  Signed(Int64)
  Unsigned(UInt64)
  Floating(Double)
  Boolean(Bool)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct VariableDifference {
  name : String
  status : String
  metadata : Array[String]
  real_differences : Int
  imag_differences : Int
  samples : Array[DifferenceSample]
  truncated : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

fn compare_documents(left : MatDocument, right : MatDocument, max_samples? : Int, limits? : Limits) -> DocumentDifference raise MatError

fn compare_trees(left : MatTree, right : MatTree, max_samples? : Int, limits? : Limits, tree_limits? : TreeLimits) -> TreeDifference raise MatError

fn compare_trees_close(left : MatTree, right : MatTree, atol? : Double, rtol? : Double, equal_nan? : Bool, max_samples? : Int, limits? : Limits, tree_limits? : TreeLimits) -> TreeCloseDifference raise MatError

fn concat_arrays(name : String, arrays : Array[NumericArray], axis : Int, limits? : Limits) -> NumericArray raise MatError

fn default_limits() -> Limits

fn default_source_limits() -> SourceLimits

fn default_tree_limits() -> TreeLimits

fn deflate_zlib(bytes : Bytes, max_bytes? : Int) -> Bytes raise MatError

fn dtype_from_name(name : String) -> DType raise MatError

fn inflate_zlib(bytes : Bytes, max_bytes? : Int) -> Bytes raise MatError

fn inspect_roots(bytes : Bytes, limits? : Limits, tree_limits? : TreeLimits) -> Array[MatRootInfo] raise MatError

fn inspect_roots_from(source : MatSource, limits? : SourceLimits, tree_limits? : TreeLimits) -> Array[MatRootInfo] raise MatError

fn numeric_array(name : String, dtype : DType, shape : Array[Int], values : Array[Value], imaginary? : Array[Value], is_global? : Bool, limits? : Limits) -> NumericArray raise MatError

fn raw_array(name : String, dtype : DType, shape : Array[Int], real : Bytes, imag? : Bytes, is_global? : Bool, limits? : Limits) -> NumericArray raise MatError

fn raw_sparse_array(name : String, dtype : DType, shape : Array[Int], row_indices : Array[Int], col_ptrs : Array[Int], real : Bytes, imag? : Bytes, nzmax? : Int, is_global? : Bool, limits? : Limits) -> SparseArray raise MatError

fn read_document(bytes : Bytes, limits? : Limits) -> MatDocument raise MatError

fn read_mat(bytes : Bytes, limits? : Limits) -> MatFile raise MatError

fn read_npy(bytes : Bytes, name : String, limits? : Limits) -> NumericArray raise MatError

fn read_selected(bytes : Bytes, names : Array[String], limits? : Limits, tree_limits? : TreeLimits) -> MatTree raise MatError

fn read_selected_from(source : MatSource, names : Array[String], limits? : SourceLimits, tree_limits? : TreeLimits) -> MatTree raise MatError

fn read_tree(bytes : Bytes, limits? : Limits, tree_limits? : TreeLimits) -> MatTree raise MatError

fn read_tree_from(source : MatSource, limits? : SourceLimits, tree_limits? : TreeLimits) -> MatTree raise MatError

fn utf8_char_array(name : String, shape : Array[Int], text : String, is_global? : Bool, limits? : Limits) -> CharArray raise MatError

fn validate_document(arrays : Array[MatVariable], limits? : Limits) -> Unit raise MatError

fn validate_tree(variables : Array[MatNode], limits? : Limits, tree_limits? : TreeLimits) -> Unit raise MatError

fn version() -> String

fn write_document(arrays : Array[MatVariable], compressed? : Bool, limits? : Limits) -> Bytes raise MatError

fn write_mat(arrays : Array[NumericArray], compressed? : Bool, limits? : Limits) -> Bytes raise MatError

fn write_npy(array : NumericArray, limits? : Limits) -> Bytes raise MatError

fn write_tree(variables : Array[MatNode], compressed? : Bool, limits? : Limits, tree_limits? : TreeLimits) -> Bytes raise MatError