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

pub(all) struct BatchResult {
  rows : Array[Result[Array[String], String]]
  failures : Int
}

pub(all) struct Candidate {
  expression : Expr
  cost : Int
}

pub(all) struct Disagreement {
  row_index : Int
  groups : Array[PredictionGroup]
  score : Int
}

pub(all) struct Example {
  input : Array[String]
  output : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Expr {
  Field(Int)
  Literal(String)
  Slice(Expr, Position, Position)
  Token(Expr, String, Int)
  Run(Expr, RunKind, Int)
  Trim(Expr)
  Lower(Expr)
  Upper(Expr)
  Concat(Array[Expr])
  DateText(Expr, String, String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct OutputField {
  name : String
  expression : Expr
}

pub(all) enum Position {
  Start(Int)
  End(Int)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PredictionGroup {
  prediction : Result[String, String]
  candidates : Array[Int]
}

pub(all) struct Recipe {
  columns : Array[String]
  outputs : Array[OutputField]
}

pub(all) enum RunKind {
  Digits
  Letters
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SearchOptions {
  max_candidates : Int
  max_parts : Int
  max_atom_evaluations : Int
  max_steps : Int
  max_frontier : Int
}

pub(all) struct SearchReport {
  candidates : Array[Candidate]
  status : String
  truncated : Bool
  atom_evaluations : Int
  atoms : Int
  steps : Int
}

pub(all) struct Table {
  columns : Array[String]
  rows : Array[Array[String]]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn apply_recipe(recipe : Recipe, table : Table) -> BatchResult raise LoomError

fn attempt(expr : Expr, row : Array[String]) -> Result[String, String]

fn convert_date(text : String, source : String, target : String) -> String raise LoomError

fn date_formats() -> Array[String]

fn default_options() -> SearchOptions

fn disagreements(candidates : Array[Candidate], rows : Array[Array[String]], limit? : Int) -> Array[Disagreement] raise LoomError

fn evaluate(expr : Expr, row : Array[String]) -> String raise LoomError

fn explain(expr : Expr) -> String

fn expression_from_json(value : Json) -> Expr raise LoomError

fn expression_to_json(e : Expr) -> Json raise LoomError

fn handle(request : String) -> String

fn parse_csv(source : String) -> Table raise LoomError

fn parse_jsonl(source : String) -> Table raise LoomError

fn recipe_from_json(value : Json) -> Recipe raise LoomError

fn recipe_to_json(recipe : Recipe) -> Json raise LoomError

fn render_csv(table : Table, spreadsheet_safe? : Bool) -> String raise LoomError

fn synthesize(examples : Array[Example], options? : SearchOptions) -> SearchReport raise LoomError

fn validate_table(table : Table) -> Unit raise LoomError