pub struct ArchiveStats {
  record_count : Int
  total_record_bytes : Int64
  total_block_bytes : Int64
  type_counts : Array[(String, Int)]
  distinct_targets : Array[String]
  earliest : WarcDate?
  latest : WarcDate?
}

pub enum FindingSeverity {
  Info
  Warning
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Limits {
  max_archive_bytes : Int64
  max_record_bytes : Int64
  max_header_bytes : Int64
  max_header_count : Int
  max_field_name_bytes : Int
  max_field_value_bytes : Int
  max_block_bytes : Int64
  max_records : Int
  max_content_length_digits : Int
}

type PendingRecord

pub struct SegmentInfo {
  number : Int64?
  origin_id : String?
  total_length : Int64?
}

pub struct WarcArchive {
  records : Array[WarcRecord]
}

pub struct WarcBuilder {
  version : String
  fields : Array[WarcField]
}

pub struct WarcDate {
  year : Int
  month : Int?
  day : Int?
  hour : Int?
  minute : Int?
  second : Int?
  fraction : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct WarcDecoder {
  limits : Limits
  bytes : Bytes
  start : Int
  pos : Int64
  records_done : Int
  total_fed : Int64
  pending : PendingRecord?
  error : WarcError?
}

pub struct WarcDigest {
  algorithm : String
  value : String
}

pub struct WarcError {
  stage : WarcErrorStage
  kind : WarcErrorKind
  byte_offset : Int64
  record_index : Int64
  context : String
}

pub enum WarcErrorKind {
  UnexpectedEof
  InvalidVersion
  MissingColon
  InvalidFieldName
  InvalidUtf8
  InvalidContentLength
  IntegerOverflow
  ContentLengthMismatch
  MissingRequiredField
  DuplicateField
  InvalidDate
  InvalidUri
  InvalidDigest
  InvalidRecordType
  InvalidSeparator
  TrailingGarbage
  LimitExceeded
  InvalidFieldValue
  MisplacedField
  InvalidIpAddress
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub enum WarcErrorStage {
  Input
  Version
  Header
  Field
  Number
  ContentLength
  Block
  Separator
  Date
  Uri
  Digest
  Record
  Archive
  Segment
  Limit
  Builder
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct WarcField {
  name : String
  value : String
}

pub struct WarcFinding {
  severity : FindingSeverity
  code : String
  record_index : Int64
  context : String
}

pub struct WarcIndex {
  by_id : Array[(String, Int)]
  by_target : Array[(String, Int)]
  by_type : Array[(String, Int)]
}

pub struct WarcRecord {
  version : String
  fields : Array[WarcField]
  block : Bytes
}

pub enum WarcRecordType {
  Warcinfo
  Response
  Resource
  Request
  Metadata
  Revisit
  Conversion
  Continuation
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

let WARC_FIELDS_MIME_TYPE : String

let WARC_MIME_TYPE : String

let WARC_VERSION_LINE : String

fn all_digits(data : Bytes, start : Int, end : Int) -> Bool

fn all_kind_codes() -> Array[String]

fn all_record_type_codes() -> Array[String]

fn all_severity_codes() -> Array[String]

fn all_stage_codes() -> Array[String]

fn append_decimal_digit(value : Int64, d : Int) -> Int64?

fn archive_stats(a : WarcArchive) -> ArchiveStats

fn audit_archive(a : WarcArchive) -> Array[WarcFinding]

fn digit_count(data : Bytes, start : Int, end : Int) -> Int

fn digit_value(b : Byte) -> Int

fn eq_bytes(data : Bytes, start : Int, end : Int, needle : String) -> Bool

fn eq_ignore_ascii_case(data : Bytes, start : Int, end : Int, needle : String) -> Bool

fn find_crlf(data : Bytes, from : Int) -> Int

fn index_of_byte(data : Bytes, from : Int, needle : Byte) -> Int

fn is_cr(b : Byte) -> Bool

fn is_ctl(b : Byte) -> Bool

fn is_digit(b : Byte) -> Bool

fn is_ht(b : Byte) -> Bool

fn is_lf(b : Byte) -> Bool

fn is_lower_ascii(b : Byte) -> Bool

fn is_separator(b : Byte) -> Bool

fn is_sp(b : Byte) -> Bool

fn is_token_byte(b : Byte) -> Bool

fn is_upper_ascii(b : Byte) -> Bool

fn kind_of_code(code : String) -> WarcErrorKind?

fn lower_ascii(b : Byte) -> Byte

fn parse_archive(data : Bytes, limits : Limits) -> Result[WarcArchive, WarcError]

fn parse_content_length(fields : Array[WarcField], limits : Limits, record_index : Int64) -> Result[Int64, WarcError]

fn parse_decimal(data : Bytes, start : Int, end : Int, max_digits : Int, context : String) -> Result[Int64, WarcError]

fn parse_digest(text : String, record_index : Int64) -> Result[WarcDigest, WarcError]

fn parse_header(data : Bytes, start : Int, limits : Limits, record_index : Int64) -> Result[(Array[WarcField], Int), WarcError]

fn parse_record(data : Bytes, start : Int, limits : Limits, record_index : Int64) -> Result[(WarcRecord, Int), WarcError]

fn parse_uri_ref(s : String, record_index : Int64) -> Result[String, WarcError]

fn parse_version_line(data : Bytes, start : Int, end : Int, record_index : Int64) -> Result[String, WarcError]

fn parse_warc_date(s : String, record_index : Int64) -> Result[WarcDate, WarcError]

fn parse_warc_date_bytes(data : Bytes, start : Int, end : Int, record_index : Int64) -> Result[WarcDate, WarcError]

fn record_type_of_code(code : String) -> WarcRecordType?

fn scan_line(data : Bytes, from : Int, record_index : Int64) -> Result[(Int, Int), WarcError]

fn segment_errors(rec : WarcRecord, index : Int64) -> Array[WarcError]

fn severity_of_code(code : String) -> FindingSeverity?

fn stage_of_code(code : String) -> WarcErrorStage?

fn starts_with(data : Bytes, prefix : Bytes) -> Bool

fn valid_field_name(data : Bytes, start : Int, end : Int) -> Bool

fn valid_ip_address(s : String) -> Bool

fn validate_archive(a : WarcArchive) -> Array[WarcError]

fn validate_record(rec : WarcRecord, index : Int64) -> Array[WarcError]