🥮 mooncakes.io

MoonParse

MoonBit 解析器组合子库 — 与生态中其他 combinator 不同：(1)内置完整 JSON 解析器（JsonValue 枚举+双向序列化）和 TOML 解析器，开箱即用；(2)支持二进制解析（u8-u64/LEB128/计数字符串），覆盖 Protobuf 等场景；(3)11 种格式化输出（ANSI/Syslog RFC5424/GELF/JSON/XML）；(4)行列号位置追踪+ErrorContext 累积错误上下文。零依赖

parser
combinator
parsing
json
toml
csv
binary
leb128
protobuf
moon add Ljh684/MoonParse@0.1.4
Download zip
Author
Version
0.1.4
License
Apache-2.0
Repository
Last updated
9 days ago
Downloads
19
README

#MoonParse

纯 MoonBit 解析器组合子库，通过组合小解析器构建复杂解析逻辑。

#安装

moon add Ljh684/MoonParse

#许可证

Apache-2.0

#
ErrorContext

source
pub(all) struct ErrorContext {
  expected : Array[String]
  errors : Array[ParseError]
}

#
ErrorContext::add_error

source
fn ErrorContext::add_error(self : ErrorContext, err : ParseError) -> ErrorContext

#
ErrorContext::add_expected

source
fn ErrorContext::add_expected(self : ErrorContext, label : String) -> ErrorContext

#
ErrorContext::format

source
fn ErrorContext::format(self : ErrorContext) -> String

#
ErrorContext::new

source

#
JsonValue

source
pub(all) enum JsonValue {
  Null
  Bool(Bool)
  Number(Float)
  String(String)
  Array(Array[JsonValue])
  Object(Array[(String, JsonValue)])
}

#
ParseError

source
pub(all) struct ParseError {
  message : String
  input : ParseInput
}

#
ParseError::format

source
fn ParseError::format(self : ParseError) -> String

#
ParseError::new

source
fn ParseError::new(msg : String, input : ParseInput) -> ParseError

#
ParseInput

source
pub(all) struct ParseInput {
  source : String
  pos : Int
  line : Int
  col : Int
} derive(Eq, 
Debug)

#
ParseInput::advance

source
fn ParseInput::advance(self : ParseInput) -> ParseInput

#
ParseInput::advance_by

source
fn ParseInput::advance_by(self : ParseInput, n : Int) -> ParseInput

#
ParseInput::current

source
fn ParseInput::current(self : ParseInput) -> String

#
ParseInput::is_eof

source
fn ParseInput::is_eof(self : ParseInput) -> Bool

#
ParseInput::new

source
fn ParseInput::new(source : String) -> ParseInput

#
ParseInput::position

source
fn ParseInput::position(self : ParseInput) -> String

#
ParseInput::remaining

source
fn ParseInput::remaining(self : ParseInput) -> String

#
ParseInput::slice

source
fn ParseInput::slice(self : ParseInput, start_pos : Int, end_pos : Int) -> String

#
ParseInput::source_len

source
fn ParseInput::source_len(self : ParseInput) -> Int

#
alpha

source
fn alpha(input : ParseInput) -> (ParseInput, String)?

#
alphanumeric

source
fn alphanumeric(input : ParseInput) -> (ParseInput, String)?

#
alt

source
fn[T] alt(p1 : (ParseInput) -> (ParseInput, T)?, p2 : (ParseInput) -> (ParseInput, T)?, input : ParseInput) -> (ParseInput, T)?

#
any_char

source
fn any_char(input : ParseInput) -> (ParseInput, String)?

#
c_string

source
fn c_string(input : ParseInput) -> (ParseInput, String)?

#
cond

source
fn[T] cond(b : Bool, parser : (ParseInput) -> (ParseInput, T)?, input : ParseInput) -> (ParseInput, T)?

#
config_comment

source
fn config_comment(input : ParseInput) -> (ParseInput, String)?

#
counted_string

source
fn counted_string(input : ParseInput) -> (ParseInput, String)?

#
csv_comma

source
fn csv_comma(input : ParseInput) -> (ParseInput, String)?

#
csv_field

source
fn csv_field(input : ParseInput) -> (ParseInput, String)?

#
csv_newline

source
fn csv_newline(input : ParseInput) -> (ParseInput, String)?

#
delimited

source
fn[T, U, V] delimited(left : (ParseInput) -> (ParseInput, T)?, parser : (ParseInput) -> (ParseInput, U)?, right : (ParseInput) -> (ParseInput, V)?, input : ParseInput) -> (ParseInput, U)?

#
digit

source
fn digit(input : ParseInput) -> (ParseInput, String)?

#
eof

source
fn eof(input : ParseInput) -> (ParseInput, String)?

#
f32_le

source
fn f32_le(input : ParseInput) -> (ParseInput, Float)?

#
f64_le

source
fn f64_le(input : ParseInput) -> (ParseInput, Double)?

#
fail

source
fn[T] fail(input : ParseInput) -> (ParseInput, T)?

#
hex_digit

source
fn hex_digit(input : ParseInput) -> (ParseInput, String)?

#
http_header_name

source
fn http_header_name(input : ParseInput) -> (ParseInput, String)?

#
http_header_value

source
fn http_header_value(input : ParseInput) -> (ParseInput, String)?

#
http_version

source
fn http_version(input : ParseInput) -> (ParseInput, String)?

#
identifier

source
fn identifier(input : ParseInput) -> (ParseInput, String)?

#
ini_key

source
fn ini_key(input : ParseInput) -> (ParseInput, String)?

#
ini_section_name

source
fn ini_section_name(input : ParseInput) -> (ParseInput, String)?

#
ini_value

source
fn ini_value(input : ParseInput) -> (ParseInput, String)?

#
json_false_parse

source
fn json_false_parse(input : ParseInput) -> (ParseInput, String)?

#
json_null_parse

source
fn json_null_parse(input : ParseInput) -> (ParseInput, String)?

#
json_number_parse

source
fn json_number_parse(input : ParseInput) -> (ParseInput, String)?

#
json_parse

source
fn json_parse(input : ParseInput) -> (ParseInput, JsonValue)?

#
json_string_parse

source
fn json_string_parse(input : ParseInput) -> (ParseInput, String)?

#
json_true_parse

source
fn json_true_parse(input : ParseInput) -> (ParseInput, String)?

#
json_value_to_string

source
fn json_value_to_string(val : JsonValue) -> String

#
keyword

source
fn keyword(kw : String, input : ParseInput) -> (ParseInput, String)?

#
leb128_s

source
fn leb128_s(input : ParseInput) -> (ParseInput, Int)?

#
leb128_u

source
fn leb128_u(input : ParseInput) -> (ParseInput, Int)?

#
many0

source
fn[T] many0(parser : (ParseInput) -> (ParseInput, T)?, input : ParseInput) -> (ParseInput, Array[T])

#
many1

source
fn[T] many1(parser : (ParseInput) -> (ParseInput, T)?, input : ParseInput) -> (ParseInput, Array[T])?

#
many_n

source
fn[T] many_n(parser : (ParseInput) -> (ParseInput, T)?, n : Int, input : ParseInput) -> (ParseInput, Array[T])?

#
many_till

source
fn[T, U] many_till(parser : (ParseInput) -> (ParseInput, T)?, end : (ParseInput) -> (ParseInput, U)?, input : ParseInput) -> (ParseInput, (Array[T], U))?

#
map

source
fn[T, U] map(parser : (ParseInput) -> (ParseInput, T)?, f : (T) -> U, input : ParseInput) -> (ParseInput, U)?

#
multispace0

source
fn multispace0(input : ParseInput) -> ParseInput

#
multispace1

source
fn multispace1(input : ParseInput) -> (ParseInput, String)?

#
newline

source
fn newline(input : ParseInput) -> (ParseInput, String)?

#
none_of

source
fn none_of(chars : String, input : ParseInput) -> (ParseInput, String)?

#
not_parser

source
fn[T] not_parser(parser : (ParseInput) -> (ParseInput, T)?, input : ParseInput) -> (ParseInput, String)?

#
one_of

source
fn one_of(chars : String, input : ParseInput) -> (ParseInput, String)?

#
opt

source
fn[T] opt(parser : (ParseInput) -> (ParseInput, T)?, input : ParseInput) -> (ParseInput, String)?

#
parse_bool

source
fn parse_bool(input : ParseInput) -> (ParseInput, Bool)?

#
parse_float

source
fn parse_float(input : ParseInput) -> (ParseInput, Float)?

#
parse_hex_int

source
fn parse_hex_int(input : ParseInput) -> (ParseInput, Int)?

#
parse_int

source
fn parse_int(input : ParseInput) -> (ParseInput, Int)?

#
parse_scientific

source
fn parse_scientific(input : ParseInput) -> (ParseInput, Float)?

#
parse_u64

source
fn parse_u64(input : ParseInput) -> (ParseInput, Int)?

#
peek

source
fn[T] peek(parser : (ParseInput) -> (ParseInput, T)?, input : ParseInput) -> (ParseInput, T)?

#
preceded

source
fn[T, U] preceded(prefix : (ParseInput) -> (ParseInput, T)?, parser : (ParseInput) -> (ParseInput, U)?, input : ParseInput) -> (ParseInput, U)?

#
quoted_string

source
fn quoted_string(input : ParseInput) -> (ParseInput, String)?

#
recognize

source
fn[T] recognize(parser : (ParseInput) -> (ParseInput, T)?, input : ParseInput) -> (ParseInput, String)?

#
rest

source
fn rest(input : ParseInput) -> (ParseInput, String)?

#
satisfy

source
fn satisfy(pred : (String) -> Bool, input : ParseInput) -> (ParseInput, String)?

#
separated_list

source
fn[T, S] separated_list(parser : (ParseInput) -> (ParseInput, T)?, sep : (ParseInput) -> (ParseInput, S)?, input : ParseInput) -> (ParseInput, Array[T])

#
separated_list1

source
fn[T, S] separated_list1(parser : (ParseInput) -> (ParseInput, T)?, sep : (ParseInput) -> (ParseInput, S)?, input : ParseInput) -> (ParseInput, Array[T])?

#
skip_while

source
fn skip_while(pred : (String) -> Bool, input : ParseInput) -> ParseInput

#
space

source
fn space(input : ParseInput) -> (ParseInput, String)?

#
space0

source
fn space0(input : ParseInput) -> ParseInput

#
space1

source
fn space1(input : ParseInput) -> (ParseInput, String)?

#
sql_identifier

source
fn sql_identifier(input : ParseInput) -> (ParseInput, String)?

#
sql_keyword_from

source
fn sql_keyword_from(input : ParseInput) -> (ParseInput, String)?

#
sql_keyword_select

source
fn sql_keyword_select(input : ParseInput) -> (ParseInput, String)?

#
sql_keyword_where

source
fn sql_keyword_where(input : ParseInput) -> (ParseInput, String)?

#
sql_number_value

source
fn sql_number_value(input : ParseInput) -> (ParseInput, String)?

#
sql_star

source
fn sql_star(input : ParseInput) -> (ParseInput, String)?

#
sql_string_value

source
fn sql_string_value(input : ParseInput) -> (ParseInput, String)?

#
success

source
fn[T] success(val : T, input : ParseInput) -> (ParseInput, T)?

#
tag

source
fn tag(expected : String, input : ParseInput) -> (ParseInput, String)?

#
tag_ci

source
fn tag_ci(expected : String, input : ParseInput) -> (ParseInput, String)?

#
take_bytes

source
fn take_bytes(n : Int, input : ParseInput) -> (ParseInput, String)?

#
take_until

source
fn take_until(tag_str : String, input : ParseInput) -> (ParseInput, String)?

#
take_while

source
fn take_while(pred : (String) -> Bool, input : ParseInput) -> (ParseInput, String)

#
take_while1

source
fn take_while1(pred : (String) -> Bool, input : ParseInput) -> (ParseInput, String)?

#
terminated

source
fn[T, U] terminated(parser : (ParseInput) -> (ParseInput, T)?, suffix : (ParseInput) -> (ParseInput, U)?, input : ParseInput) -> (ParseInput, T)?

#
toml_array

source
fn toml_array(input : ParseInput) -> (ParseInput, Array[String])?

#
toml_array_table_header

source
fn toml_array_table_header(input : ParseInput) -> (ParseInput, String)?

#
toml_bare_key

source
fn toml_bare_key(input : ParseInput) -> (ParseInput, String)?

#
toml_bool

source
fn toml_bool(input : ParseInput) -> (ParseInput, Bool)?

#
toml_comment

source
fn toml_comment(input : ParseInput) -> (ParseInput, String)?

#
toml_dotted_key

source
fn toml_dotted_key(input : ParseInput) -> (ParseInput, String)?

#
toml_float

source
fn toml_float(input : ParseInput) -> (ParseInput, Float)?

#
toml_integer

source
fn toml_integer(input : ParseInput) -> (ParseInput, Int)?

#
toml_key

source
fn toml_key(input : ParseInput) -> (ParseInput, String)?

#
toml_string

source
fn toml_string(input : ParseInput) -> (ParseInput, String)?

#
toml_table_header

source
fn toml_table_header(input : ParseInput) -> (ParseInput, String)?

#
triple_quoted_string

source
fn triple_quoted_string(input : ParseInput) -> (ParseInput, String)?

#
tuple2

source
fn[T, U] tuple2(p1 : (ParseInput) -> (ParseInput, T)?, p2 : (ParseInput) -> (ParseInput, U)?, input : ParseInput) -> (ParseInput, (T, U))?

#
tuple3

source
fn[T, U, V] tuple3(p1 : (ParseInput) -> (ParseInput, T)?, p2 : (ParseInput) -> (ParseInput, U)?, p3 : (ParseInput) -> (ParseInput, V)?, input : ParseInput) -> (ParseInput, (T, U, V))?

#
u16_le

source
fn u16_le(input : ParseInput) -> (ParseInput, Int)?

Read an unsigned 16-bit integer in little-endian byte order.

#
u32_le

source
fn u32_le(input : ParseInput) -> (ParseInput, Int)?

Read an unsigned 32-bit integer in little-endian byte order.

#
u64_le

source
fn u64_le(input : ParseInput) -> (ParseInput, Int)?

Read an unsigned 64-bit integer in little-endian byte order.
fn u8(input : ParseInput) -> (ParseInput, Int)?

Read a single unsigned byte.

#
url_fragment

source
fn url_fragment(input : ParseInput) -> (ParseInput, String)?

#
url_host

source
fn url_host(input : ParseInput) -> (ParseInput, String)?

#
url_path

source
fn url_path(input : ParseInput) -> (ParseInput, String)?

#
url_query

source
fn url_query(input : ParseInput) -> (ParseInput, String)?

#
url_scheme

source
fn url_scheme(input : ParseInput) -> (ParseInput, String)?

#
url_separator

source
fn url_separator(input : ParseInput) -> (ParseInput, String)?

#
whitespace_line

source
fn whitespace_line(input : ParseInput) -> (ParseInput, String)?

Source Files

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io