🥮 mooncakes.io

    moonion

    Amazon Ion 1.0 text and binary codec for MoonBit

    ion
    amazon-ion
    codec
    binary
    serialization
    Download zip
    Version
    0.1.2
    License
    Apache-2.0
    Repository
    Last updated
    19 hours ago
    Downloads
    10

    #MoonIon

    MoonIon 是一个用 MoonBit 编写的 Amazon Ion 1.0 文本/二进制编解码库，面向日志、配置、离线校验，以及需要读写 AWS 风格 Ion payload 的工具。JSON 表达不了 decimal、timestamp、annotation 和 sexp；现有 CBOR、MessagePack、protobuf 包走的是另一套编码，不能直接读 $ion_1_0 文本或带本地符号表的 Ion 二进制。

    MoonIon 把 Ion 1.0 的值模型、文本编码和二进制编码做成纯库。调用方可以在没有 Python / Java 运行时的情况下完成往返，并把字段定义留在自己的业务层。

    #主要能力

    • 文本 load / loads / dumps：null、bool、int、float、decimal、timestamp、symbol、string、clob、blob、list、sexp、struct。
    • 二进制 load_bytes / dumps_bytes：BVM、type nibble、VarUInt / VarInt。
    • annotation 与 $ion_1_0 版本标记。
    • 写出/读入二进制时维护本地 $ion_symbol_table。
    • 十进制系数与指数、带精度的 timestamp、blob/clob。
    • 稳定错误码 ION001–ION013，截断二进制、空文档、非法 timestamp 会返回诊断。
    • 不绑定 HTTP、AWS SDK 或共享符号表网络目录。

    #处理流程

    Ion text  ──►  词法 / 容器解析  ──►  IonValue
Ion binary ─►  BVM + type descriptor ─►  IonValue
                 │
                 ▼
           dumps / dumps_bytes
                 │
        Ion text 或 Ion binary

    解码按相反方向进行。传输层、文件 IO 和云服务客户端都不在本库范围内。

    #环境要求

    • MoonBit 工具链：moonc 0.10.14 或更高版本。
    • 默认后端：wasm-gc；CI 同时检查 wasm-gc、wasm、js 和 native。
    • 仅使用 MoonBit 标准库，核心编解码不依赖外部运行时。

    #快速开始

    调用方包的 moon.pkg：

    import {
  "ZJH-666-ZJH/moonion" @ion,
}

    #1. 解析文本并写成二进制

    ///|
    fn main {
      match @ion.load("Product::{ id: \"sku-42\", count: 3 }") {
        Ok(v) => {
          println(@ion.dumps(v))
          let binary = @ion.dumps_bytes(v)
          match @ion.load_bytes(binary) {
            Ok(again) => println(again.annotations[0])
            Err(e) => println(e.message())
          }
        }
        Err(e) => println(e.message())
      }
    }

    #2. 构造 catalog 样例

    ///|
    fn main {
      let product = @ion.catalog_sample()
      println(@ion.dumps_all([product, @ion.sexp_sample()]))
    }

    #安装

    moon add ZJH-666-ZJH/moonion@0.1.1

    #示例

    moon run examples/catalog_record
moon run examples/binary_roundtrip
moon run examples/sexp_filter
moon run cmd/main

    #当前不做

    • Ion 1.1
    • Ion Schema
    • Ion Hash
    • 共享符号表网络目录
    • AWS 服务客户端

    #许可证

    Apache-2.0。行为参考 ion-python 与 Amazon Ion 1.0 规范；源码为 MoonBit 重写，见 LICENSE 和 THIRD_PARTY.md。

    BigInt

    source
    pub(all) struct BigInt {
      negative : Bool
      digits : Bytes
    } derive(Eq, 
    Debug    )

    BigInt::compare

    source
    fn BigInt::compare(self : BigInt, other : BigInt) -> Int

    BigInt::eq_value

    source
    fn BigInt::eq_value(self : BigInt, other : BigInt) -> Bool

    BigInt::equal

    source
    fn BigInt::equal(BigInt, BigInt) -> Bool

    BigInt::is_zero

    source
    fn BigInt::is_zero(self : BigInt) -> Bool

    BigInt::not_equal

    source
    fn BigInt::not_equal(x : BigInt, y : BigInt) -> Bool

    BigInt::sign

    source
    fn BigInt::sign(self : BigInt) -> Int

    BigInt::to_decimal_string

    source
    fn BigInt::to_decimal_string(self : BigInt) -> String

    BigInt::to_int64

    source
    fn BigInt::to_int64(self : BigInt) -> Int64?

    BigInt::to_repr

    source

    IonDatum

    source
    pub(all) enum IonDatum {
      NullD(IonType)
      BoolD(Bool)
      IntD(BigInt)
      FloatD(Double)
      DecimalD(IonDecimal)
      TimestampD(IonTimestamp)
      SymbolD(String)
      StringD(String)
      ClobD(Bytes)
      BlobD(Bytes)
      ListD(Array[IonValue])
      SexpD(Array[IonValue])
      StructD(Array[IonField])
    } derive(Eq, 
    Debug    )

    IonDatum::equal

    source
    fn IonDatum::equal(IonDatum, IonDatum) -> Bool

    IonDatum::not_equal

    source
    fn IonDatum::not_equal(x : IonDatum, y : IonDatum) -> Bool

    IonDatum::to_repr

    source

    IonDecimal

    source
    pub(all) struct IonDecimal {
      coefficient : BigInt
      exponent : Int
    } derive(Eq, 
    Debug    )

    IonDecimal::equal

    source
    fn IonDecimal::equal(IonDecimal, IonDecimal) -> Bool

    IonDecimal::is_zero

    source
    fn IonDecimal::is_zero(self : IonDecimal) -> Bool

    IonDecimal::not_equal

    source
    fn IonDecimal::not_equal(x : IonDecimal, y : IonDecimal) -> Bool

    IonDecimal::to_ion_text

    source
    fn IonDecimal::to_ion_text(self : IonDecimal) -> String

    IonDecimal::to_repr

    source

    IonError

    source
    pub(all) enum IonError {
      UnexpectedEof
      InvalidBinary(String)
      InvalidText(String)
      InvalidUtf8
      InvalidSymbol(String)
      InvalidTimestamp(String)
      InvalidDecimal(String)
      InvalidNumber(String)
      InvalidBlob(String)
      InvalidAnnotation(String)
      InvalidSymbolTable(String)
      Unsupported(String)
      EmptyDocument
    } derive(Eq, 
    Debug    )

    IonError::code

    source
    fn IonError::code(self : IonError) -> String

    IonError::equal

    source
    fn IonError::equal(IonError, IonError) -> Bool

    IonError::message

    source
    fn IonError::message(self : IonError) -> String

    IonError::not_equal

    source
    fn IonError::not_equal(x : IonError, y : IonError) -> Bool

    IonError::to_repr

    source

    IonField

    source
    pub(all) struct IonField {
      name : String
      value : IonValue
    } derive(Eq, 
    Debug    )

    IonField::equal

    source
    fn IonField::equal(IonField, IonField) -> Bool

    IonField::not_equal

    source
    fn IonField::not_equal(x : IonField, y : IonField) -> Bool

    IonField::to_repr

    source

    IonTimestamp

    source
    pub(all) struct IonTimestamp {
      year : Int
      month : Int
      day : Int
      hour : Int
      minute : Int
      second : Int
      fraction : IonDecimal
      offset_minutes : Int
      offset_unknown : Bool
      precision : TimestampPrecision
    } derive(Eq, 
    Debug    )

    IonTimestamp::equal

    source

    IonTimestamp::not_equal

    source
    fn IonTimestamp::not_equal(x : IonTimestamp, y : IonTimestamp) -> Bool

    IonTimestamp::to_ion_text

    source
    fn IonTimestamp::to_ion_text(self : IonTimestamp) -> String

    IonTimestamp::to_repr

    source

    IonType

    source
    pub(all) enum IonType {
      NullT
      BoolT
      IntT
      FloatT
      DecimalT
      TimestampT
      SymbolT
      StringT
      ClobT
      BlobT
      ListT
      SexpT
      StructT
    } derive(Eq, 
    Debug    )

    IonType::equal

    source
    fn IonType::equal(IonType, IonType) -> Bool

    IonType::name

    source
    fn IonType::name(self : IonType) -> String

    IonType::not_equal

    source
    fn IonType::not_equal(x : IonType, y : IonType) -> Bool

    IonType::to_repr

    source

    IonValue

    source
    pub(all) struct IonValue {
      annotations : Array[String]
      datum : IonDatum
    } derive(Eq, 
    Debug    )

    IonValue::as_bool

    source
    fn IonValue::as_bool(self : IonValue) -> Bool?

    IonValue::as_int

    source
    fn IonValue::as_int(self : IonValue) -> BigInt?

    IonValue::as_list

    source
    fn IonValue::as_list(self : IonValue) -> Array[IonValue]?

    IonValue::as_string

    source
    fn IonValue::as_string(self : IonValue) -> String?

    IonValue::as_struct

    source
    fn IonValue::as_struct(self : IonValue) -> Array[IonField]?

    IonValue::as_symbol

    source
    fn IonValue::as_symbol(self : IonValue) -> String?

    IonValue::equal

    source
    fn IonValue::equal(IonValue, IonValue) -> Bool

    IonValue::field

    source
    fn IonValue::field(self : IonValue, name : String) -> IonValue?

    IonValue::ion_type

    source
    fn IonValue::ion_type(self : IonValue) -> IonType

    IonValue::is_null

    source
    fn IonValue::is_null(self : IonValue) -> Bool

    IonValue::is_symbol_table

    source
    fn IonValue::is_symbol_table(self : IonValue) -> Bool

    IonValue::not_equal

    source
    fn IonValue::not_equal(x : IonValue, y : IonValue) -> Bool

    IonValue::to_repr

    source

    IonValue::with_annotation

    source
    fn IonValue::with_annotation(self : IonValue, name : String) -> IonValue

    SymbolTable

    source
    pub(all) struct SymbolTable {
      locals : Array[String]
    }

    SymbolTable::define_local

    source
    fn SymbolTable::define_local(self : SymbolTable, name : String) -> Unit

    SymbolTable::intern

    source
    fn SymbolTable::intern(self : SymbolTable, name : String) -> Int

    SymbolTable::local_names

    source
    fn SymbolTable::local_names(self : SymbolTable) -> Array[String]

    SymbolTable::name_of

    source
    fn SymbolTable::name_of(self : SymbolTable, id : Int) -> Result[String, IonError]

    SymbolTable::reset_locals

    source
    fn SymbolTable::reset_locals(self : SymbolTable) -> Unit

    TimestampPrecision

    source
    pub(all) enum TimestampPrecision {
      Year
      Month
      Day
      Minute
      Second
      Fractional
    } derive(Eq, 
    Debug    )

    TimestampPrecision::equal

    source

    TimestampPrecision::not_equal

    source

    TimestampPrecision::to_repr

    source

    ION_VERSION

    source
    let ION_VERSION : String

    bigint_from_decimal_string

    source
    fn bigint_from_decimal_string(text : String) -> Result[BigInt, IonError]

    bigint_from_int

    source
    fn bigint_from_int(value : Int) -> BigInt

    bigint_from_int64

    source
    fn bigint_from_int64(value : Int64) -> BigInt

    bigint_from_magnitude

    source
    fn bigint_from_magnitude(negative : Bool, mag : Bytes) -> BigInt

    bigint_from_radix_string

    source
    fn bigint_from_radix_string(text : String, radix : Int) -> Result[BigInt, IonError]

    bigint_zero

    source
    fn bigint_zero() -> BigInt

    binary_to_text

    source
    fn binary_to_text(data : Bytes) -> Result[String, IonError]

    catalog_sample

    source
    fn catalog_sample() -> IonValue

    decimal_from_int

    source
    fn decimal_from_int(value : Int) -> IonDecimal

    decimal_from_parts

    source
    fn decimal_from_parts(coefficient : BigInt, exponent : Int) -> IonDecimal

    dumps

    source
    fn dumps(value : IonValue) -> String

    dumps_all

    source
    fn dumps_all(values : Array[IonValue]) -> String

    dumps_binary

    source
    fn dumps_binary(value : IonValue) -> Bytes

    dumps_binary_all

    source
    fn dumps_binary_all(values : Array[IonValue]) -> Bytes

    dumps_bytes

    source
    fn dumps_bytes(value : IonValue) -> Bytes

    dumps_bytes_all

    source
    fn dumps_bytes_all(values : Array[IonValue]) -> Bytes

    dumps_text

    source
    fn dumps_text(value : IonValue) -> String

    dumps_text_all

    source
    fn dumps_text_all(values : Array[IonValue]) -> String

    f64_from_be4

    source
    fn f64_from_be4(b0 : Int, b1 : Int, b2 : Int, b3 : Int) -> Double

    f64_from_be_bytes

    source
    fn f64_from_be_bytes(b0 : Int, b1 : Int, b2 : Int, b3 : Int, b4 : Int, b5 : Int, b6 : Int, b7 : Int) -> Double

    f64_to_be_bytes

    source
    fn f64_to_be_bytes(value : Double) -> Bytes

    hex_decode

    source
    fn hex_decode(text : String) -> Result[Bytes, IonError]

    hex_encode

    source
    fn hex_encode(data : Bytes, upper? : Bool) -> String

    ion_annotated

    source
    fn ion_annotated(annotations : Array[String], datum : IonDatum) -> IonValue

    ion_bigint

    source
    fn ion_bigint(value : BigInt) -> IonValue

    ion_blob

    source
    fn ion_blob(value : Bytes) -> IonValue

    ion_bool

    source
    fn ion_bool(value : Bool) -> IonValue

    ion_clob

    source
    fn ion_clob(value : Bytes) -> IonValue

    ion_decimal

    source
    fn ion_decimal(value : IonDecimal) -> IonValue

    ion_field

    source
    fn ion_field(name : String, value : IonValue) -> IonField

    ion_float

    source
    fn ion_float(value : Double) -> IonValue

    ion_int

    source
    fn ion_int(value : Int) -> IonValue

    ion_int64

    source
    fn ion_int64(value : Int64) -> IonValue

    ion_list

    source
    fn ion_list(values : Array[IonValue]) -> IonValue

    ion_null

    source
    fn ion_null(typ : IonType) -> IonValue

    ion_sexp

    source
    fn ion_sexp(values : Array[IonValue]) -> IonValue

    ion_string

    source
    fn ion_string(value : String) -> IonValue

    ion_struct

    source
    fn ion_struct(fields : Array[IonField]) -> IonValue

    ion_symbol

    source
    fn ion_symbol(value : String) -> IonValue

    ion_timestamp

    source
    fn ion_timestamp(value : IonTimestamp) -> IonValue

    ion_value

    source
    fn ion_value(datum : IonDatum) -> IonValue

    ion_version

    source
    fn ion_version() -> String

    load

    source
    fn load(input : String) -> Result[IonValue, IonError]

    load_binary

    source
    fn load_binary(data : Bytes) -> Result[IonValue, IonError]

    load_bytes

    source
    fn load_bytes(data : Bytes) -> Result[IonValue, IonError]

    load_text

    source
    fn load_text(text : String) -> Result[IonValue, IonError]

    loads

    source
    fn loads(input : String) -> Result[Array[IonValue], IonError]

    loads_binary

    source
    fn loads_binary(data : Bytes) -> Result[Array[IonValue], IonError]

    loads_bytes

    source
    fn loads_bytes(data : Bytes) -> Result[Array[IonValue], IonError]

    loads_text

    source
    fn loads_text(text : String) -> Result[Array[IonValue], IonError]

    needs_quoting

    source
    fn needs_quoting(name : String) -> Bool

    parse_decimal_text

    source
    fn parse_decimal_text(text : String) -> Result[IonDecimal, IonError]

    parse_timestamp_text

    source
    fn parse_timestamp_text(text : String) -> Result[IonTimestamp, IonError]

    quote_symbol

    source
    fn quote_symbol(name : String) -> String

    roundtrip_binary

    source
    fn roundtrip_binary(data : Bytes) -> Result[Bytes, IonError]

    roundtrip_text

    source
    fn roundtrip_text(text : String) -> Result[String, IonError]

    sexp_sample

    source
    fn sexp_sample() -> IonValue

    symbol_table_new

    source
    fn symbol_table_new() -> SymbolTable

    system_max_id

    source
    fn system_max_id() -> Int

    system_symbol_id

    source
    fn system_symbol_id(name : String) -> Int?

    system_symbol_name

    source
    fn system_symbol_name(id : Int) -> String?

    text_to_binary

    source
    fn text_to_binary(text : String) -> Result[Bytes, IonError]

    timestamp_of

    source
    fn timestamp_of(year : Int, month : Int, day : Int, hour : Int, minute : Int, second : Int, fraction : IonDecimal, offset_minutes : Int, offset_unknown : Bool, precision : TimestampPrecision) -> Result[IonTimestamp, IonError]

    timestamp_year

    source
    fn timestamp_year(year : Int) -> Result[IonTimestamp, IonError]

    values_equal

    source
    fn values_equal(a : IonValue, b : IonValue) -> Bool

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io