pub(all) suberror SieveError {
  SieveError(Diagnostic)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Action {
  Keep
  Discard
  FileInto(String)
  Redirect(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Argument {
  Flag(String)
  Literal(String)
  Strings(Array[String])
  Quantity(Int)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct CaseResult {
  id : String
  plan : Plan?
  error : Diagnostic?
  expectation_met : Bool?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Comparator {
  Octet
  AsciiCasemap
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Conditional {
  condition : Test
  body : Array[Statement]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Diagnostic {
  code : String
  message : String
  span : Span
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ExecutionOptions {
  subaddress_separator : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Expectation {
  Observe
  Deliver(Array[Action])
  FailWith(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Header {
  name : String
  value : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Limits {
  source_chars : Int
  tokens : Int
  string_chars : Int
  depth : Int
  steps : Int
  comparisons : Int
  actions : Int
  headers : Int
  variables : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Mailbox {
  address : String
  localpart : String
  domain : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum MatchType {
  Is
  Contains
  Matches
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Message {
  headers : Array[Header]
  size : Int
  envelope_from : String
  envelope_to : Array[String]
}

pub(all) struct Plan {
  actions : Array[Action]
  trace : Array[TraceEvent]
  implicit_keep : Bool
  steps : Int
  comparisons : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct PolicyChange {
  id : String
  changed : Bool
  removed : Array[Action]
  added : Array[Action]
  delivery_lost : Bool
  new_redirect : Bool
  before_error : String?
  after_error : String?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Program {
  syntax : Script
  capabilities : Array[String]
  limits : Limits
}

pub(all) struct ReplayCase {
  id : String
  message : Message
  expectation : Expectation
}

pub(all) struct ReplayLimits {
  cases : Int
  total_steps : Int
  total_comparisons : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ReplayReport {
  results : Array[CaseResult]
  failed_expectations : Int
  execution_errors : Int
  charged_steps : Int
  charged_comparisons : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Script {
  statements : Array[Statement]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ScriptAudit {
  warnings : Array[Diagnostic]
  commands : Int
  predicates : Int
  max_depth : Int
  literal_redirects : Array[String]
  literal_mailboxes : Array[String]
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SourceLocation {
  scalar_offset : Int
  utf16_offset : Int
  line : Int
  column : Int
  utf16_column : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SourceRange {
  start : SourceLocation
  end : SourceLocation
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Span {
  start : Int
  end : Int
  line : Int
  column : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Statement {
  Command(String, Array[Argument], Span)
  Branch(Array[Conditional], Array[Statement], Span)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Test {
  Call(String, Array[Argument], Span)
  Not(Test, Span)
  AnyOf(Array[Test], Span)
  AllOf(Array[Test], Span)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Token {
  kind : TokenKind
  span : Span
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum TokenKind {
  Word(String)
  Tag(String)
  Text(String)
  Number(Int)
  Symbol(Char)
  End
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TraceEvent {
  kind : String
  label : String
  span : Span
  matched : Bool?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn compare_replays(before : ReplayReport, after : ReplayReport) -> Array[PolicyChange] raise SieveError

fn compile(source : String, limits? : Limits) -> Program raise SieveError

fn diagnostic_hint(code : String) -> String

fn extract_mailboxes(value : String, limits? : Limits) -> Array[Mailbox] raise SieveError

fn format_script(source : String, limits? : Limits) -> String raise SieveError

fn handle_request(text : String) -> (Int, String)

fn locate_source(source : String, scalar_offset : Int) -> SourceLocation

fn match_text(value : String, key : String, mode : MatchType, comparator? : Comparator, limits? : Limits) -> Bool raise SieveError

fn parse(source : String, limits? : Limits) -> Script raise SieveError

fn parse_mailbox(value : String) -> Mailbox?

fn parse_message_json(text : String, limits? : Limits) -> Message raise SieveError

fn parse_replay_json(text : String, limits? : Limits) -> Array[ReplayCase] raise SieveError

fn run_json(source : String, message_json : String, limits? : Limits, options? : ExecutionOptions) -> Json raise SieveError

fn split_subaddress(mailbox : Mailbox, separator? : String) -> (String, String?) raise SieveError

fn supported_capabilities() -> Array[String]

fn test_expression(source : String, message : Message, capabilities? : Array[String], limits? : Limits, options? : ExecutionOptions) -> (Bool, Array[TraceEvent]) raise SieveError

fn tokenize(source : String, limits? : Limits) -> Array[Token] raise SieveError