oboard/eval/interpreter/core

interpreter

README
Tr
ToRuntime
- ::runCompiledCode::run
- ::outputEvalResult::output
- ::to_stringEvalResult::to_string
- ::MoonBitVMMoonBitVM::MoonBitVM
- ::compileMoonBitVM::compile
- ::createMoonBitVM::create
- ::evalMoonBitVM::eval
- ::runMoonBitVM::run
- ::test_allMoonBitVM::test_all
- ::outputTestFailure::output
- ::to_jsonTestFailure::to_json
- ::to_stringTestFailure::to_string
- ::outputTestResult::output
- ::to_jsonTestResult::to_json
- ::to_stringTestResult::to_string
V
add_embedded_fn
V
add_embedded_method
V
add_extern_fn
V
code_to_ast
V
compile
V
eval_result_to_string
V
expr_to_string
V
run_compiled
V
test_all
V
test_result_to_string
V
value_to_json
V
value_to_string

oboard/eval/interpreter/core does not have a README file

RuntimeFunction

type RuntimeFunction = (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow

新的函数类型定义 - 统一的上下文访问

ControlFlow

source

pub suberror ControlFlow {
  Raise(RuntimeValue)
  Continue(Array[RuntimeValue])
  Break(RuntimeValue)
  Return(RuntimeValue)
  Error(String)
}

ClosureInterpreter

source

pub(all) struct ClosureInterpreter {
  extern_fns : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]
  embedded_fns : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]
  embedded_methods : Map[String, Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]]
  main_pkg : RuntimePackage
  module_pkgs : Map[String, RuntimePackage]
  current_pkg : RuntimePackage
  call_stack : Array[RuntimeLocation]
}

支持引用系统和泛型的解释器

ClosureInterpreter::add_embedded_fn

source

fn ClosureInterpreter::add_embedded_fn(self : ClosureInterpreter, name : String, f : (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow) -> Unit

ClosureInterpreter::add_embedded_method

source

fn ClosureInterpreter::add_embedded_method(self : ClosureInterpreter, type_name : String, method_name : String, f : (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow) -> Unit

ClosureInterpreter::add_extern_fn

source

fn ClosureInterpreter::add_extern_fn(self : ClosureInterpreter, name : String, f : (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow) -> Unit

ClosureInterpreter::bind_function_parameters

source

fn ClosureInterpreter::bind_function_parameters(self : ClosureInterpreter, params : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Parameter
Parameter], args : @moonbitlang/core/list.List
List[RuntimeArgument]) -> Unit raise ControlFlow

支持所有参数类型：位置参数、标签参数、可选参数、问号可选参数、丢弃参数

ClosureInterpreter::call

source

fn ClosureInterpreter::call(self : ClosureInterpreter, function : (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow, pkg : RuntimePackage, args : FixedArray[RuntimeArgument]) -> RuntimeValue raise ControlFlow

调用闭包函数，使用已求值的运行时参数

ClosureInterpreter::call_closure

source

fn ClosureInterpreter::call_closure(self : ClosureInterpreter, function : @moonbitlang/parser/syntax.Func
Func, pkg : RuntimePackage, args : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Argument
Argument], name? : String) -> RuntimeValue raise ControlFlow

调用闭包函数，恢复捕获的环境

ClosureInterpreter::constants_equal

source

fn ClosureInterpreter::constants_equal(_self : ClosureInterpreter, c1 : @moonbitlang/parser/syntax.Constant
Constant, c2 : @moonbitlang/parser/syntax.Constant
Constant) -> Bool

检查两个常量是否相等

ClosureInterpreter::constants_equal_expr

source

fn ClosureInterpreter::constants_equal_expr(self : ClosureInterpreter, expr1 : @moonbitlang/parser/syntax.Expr
Expr, expr2 : @moonbitlang/parser/syntax.Expr
Expr) -> Bool

检查两个表达式是否相等（用于构造函数匹配）

ClosureInterpreter::create_function

source

fn ClosureInterpreter::create_function(self : ClosureInterpreter, func : @moonbitlang/parser/syntax.Func
Func, pkg : RuntimePackage, name? : String) -> WithType[(RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

ClosureInterpreter::define_struct_method

source

fn ClosureInterpreter::define_struct_method(self : ClosureInterpreter, pkg : RuntimePackage, type_name : String, method_name : String, func : @moonbitlang/parser/syntax.Func
Func) -> Unit

处理函数定义

ClosureInterpreter::error

source

fn[A] ClosureInterpreter::error(self : ClosureInterpreter, msg : String) -> A raise ControlFlow

ClosureInterpreter::find_pkg

source

fn ClosureInterpreter::find_pkg(self : ClosureInterpreter, pkg_name : String) -> RuntimePackage

ClosureInterpreter::format_patterns

source

fn ClosureInterpreter::format_patterns(_self : ClosureInterpreter, cases : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Case
Case]) -> String

格式化模式列表为可读字符串

ClosureInterpreter::get_function_type_string

source

fn ClosureInterpreter::get_function_type_string(self : ClosureInterpreter, func : @moonbitlang/parser/syntax.Func
Func) -> String

转换为字符串表示（带解释器支持，用于正确的类型推导）

ClosureInterpreter::infer_pattern_type

source

fn ClosureInterpreter::infer_pattern_type(_ : ClosureInterpreter, pattern : @moonbitlang/parser/syntax.Pattern
Pattern) -> String?

从模式中推导类型

ClosureInterpreter::interp_string

source

fn ClosureInterpreter::interp_string(self : ClosureInterpreter, elems : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.InterpElem
InterpElem]) -> String raise ControlFlow

处理字符串插值

ClosureInterpreter::is_known_function

source

fn ClosureInterpreter::is_known_function(self : ClosureInterpreter, name : String) -> Bool

检查函数是否为已知函数（存在于任何函数映射中）

ClosureInterpreter::load_declared_imports

source

fn ClosureInterpreter::load_declared_imports(self : ClosureInterpreter, imports : Array[PackageImport]) -> String?

ClosureInterpreter::load_module

source

fn ClosureInterpreter::load_module(self : ClosureInterpreter, mod : RuntimeModule) -> Unit

ClosureInterpreter::load_package

source

fn ClosureInterpreter::load_package(self : ClosureInterpreter, pkg : RuntimePackage, target? : String) -> Unit

ClosureInterpreter::lookup_current_function

source

fn ClosureInterpreter::lookup_current_function(self : ClosureInterpreter) -> String

查找当前调用的函数名

ClosureInterpreter::match_case

source

fn ClosureInterpreter::match_case(self : ClosureInterpreter, value : RuntimeValue, pattern : @moonbitlang/parser/syntax.Pattern
Pattern) -> Bool

检查模式是否匹配给定的运行时值

ClosureInterpreter::new

source

fn ClosureInterpreter::new() -> ClosureInterpreter

ClosureInterpreter::parse_error_type

source

fn ClosureInterpreter::parse_error_type(self : ClosureInterpreter, ty : @moonbitlang/parser/syntax.ErrorType
ErrorType) -> RuntimeErrorType

ClosureInterpreter::parse_type

source

fn ClosureInterpreter::parse_type(self : ClosureInterpreter, ty : @moonbitlang/parser/syntax.Type
Type) -> RuntimeType

ClosureInterpreter::pattern_match

source

fn ClosureInterpreter::pattern_match(self : ClosureInterpreter, value : RuntimeValue, cases : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Case
Case]) -> RuntimeValue raise ControlFlow

执行match表达式的模式匹配（返回RuntimeValue）

ClosureInterpreter::pattern_to_runtime_value

source

fn ClosureInterpreter::pattern_to_runtime_value(self : ClosureInterpreter, pattern : @moonbitlang/parser/syntax.Pattern
Pattern) -> RuntimeValue?

将模式转换为运行时值（用于范围检查等）

ClosureInterpreter::pop_scope

source

fn ClosureInterpreter::pop_scope(self : ClosureInterpreter) -> Unit

销毁当前作用域

ClosureInterpreter::push_scope

source

fn ClosureInterpreter::push_scope(self : ClosureInterpreter, loc : RuntimeLocation) -> Unit

创建新的作用域

ClosureInterpreter::register_package

source

fn ClosureInterpreter::register_package(self : ClosureInterpreter, name : String, pkg : RuntimePackage) -> Unit

ClosureInterpreter::run_main

source

fn ClosureInterpreter::run_main(self : ClosureInterpreter) -> RuntimeValue raise ControlFlow

ClosureInterpreter::run_top_test

source

fn ClosureInterpreter::run_top_test(self : ClosureInterpreter, expr : @moonbitlang/parser/syntax.Expr
Expr, is_async : @moonbitlang/lexer/basic.Location
Location?) -> RuntimeValue

ClosureInterpreter::run_top_test_checked

source

fn ClosureInterpreter::run_top_test_checked(self : ClosureInterpreter, expr : @moonbitlang/parser/syntax.Expr
Expr, is_async : @moonbitlang/lexer/basic.Location
Location?) -> RuntimeValue raise ControlFlow

ClosureInterpreter::runtime_value_in_range

source

fn ClosureInterpreter::runtime_value_in_range(self : ClosureInterpreter, value : RuntimeValue, lhs : @moonbitlang/parser/syntax.Pattern
Pattern, rhs : @moonbitlang/parser/syntax.Pattern
Pattern, kind : @moonbitlang/parser/syntax.RangeKind
RangeKind) -> Bool

检查 RuntimeValue 是否在指定范围内

ClosureInterpreter::top_eval

source

fn ClosureInterpreter::top_eval(self : ClosureInterpreter, code : String) -> Unit

ClosureInterpreter::top_func_def_to_closure

source

fn ClosureInterpreter::top_func_def_to_closure(self : ClosureInterpreter, pkg : RuntimePackage, func : @moonbitlang/parser/syntax.Impl
Impl, name? : String) -> (String?, RuntimeValue)

处理函数声明体，创建Lambda函数

ClosureInterpreter::top_visit

source

fn ClosureInterpreter::top_visit(self : ClosureInterpreter, node : @moonbitlang/parser/syntax.Impl
Impl) -> RuntimeValue

ClosureInterpreter::visit

source

fn ClosureInterpreter::visit(self : ClosureInterpreter, node : @moonbitlang/parser/syntax.Expr
Expr, expected_type? : String) -> RuntimeValue raise ControlFlow

带期望类型的访问语法树节点

ClosureInterpreter::visit_interp

source

fn ClosureInterpreter::visit_interp(self : ClosureInterpreter, elems : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.InterpElem
InterpElem]) -> RuntimeValue raise ControlFlow

处理字符串插值表达式 (Interp)

ClosureInterpreter::visit_multiline_string

source

fn ClosureInterpreter::visit_multiline_string(self : ClosureInterpreter, elems : @moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.MultilineStringElem
MultilineStringElem]) -> RuntimeValue raise ControlFlow

处理多行字符串

ClosureInterpreter::visit_scoped

source

fn ClosureInterpreter::visit_scoped(self : ClosureInterpreter, node : @moonbitlang/parser/syntax.Expr
Expr, loc : RuntimeLocation) -> RuntimeValue raise ControlFlow

ClosureInterpreter::with_ident

source

fn[T] ClosureInterpreter::with_ident(self : ClosureInterpreter, long_ident : @moonbitlang/parser/syntax.LongIdent
LongIdent, func : (RuntimePackage, String) -> T raise?) -> T raise?

ConstructorField

source

pub(all) struct ConstructorField {
  name : String?
  value : RuntimeValue
  mutable : Bool
}

构造器字段 - 支持带标签和可变性

ConstructorValue

source

pub(all) struct ConstructorValue {
  name : String
  fields : Array[ConstructorField]
}

构造器值 - 包含构造器名称和字段

EvalParseResult

source

pub(all) enum EvalParseResult {
  EvalExpr(@moonbitlang/parser/syntax.Expr
Expr)
  EvalTop(@moonbitlang/core/list.List
List[@moonbitlang/parser/syntax.Impl
Impl], run_main~ : Bool)
}

ImportParseResult

source

pub(all) struct ImportParseResult {
  code : String
  imports : Array[PackageImport]
}

ModuleInfo

source

pub(all) struct ModuleInfo {
  name : String
  version : String?
  deps : Map[String, String]?
  readme : String?
  repository : String?
  license : String?
  keywords : Array[String]?
  description : String?
  source : String?
} derive(ToJson, @moonbitlang/core/debug.Debug
Debug, @moonbitlang/core/json.FromJson
FromJson)

包元数据

ModuleInfo::from_json

source

fn ModuleInfo::from_json(Json, @moonbitlang/core/json.JsonPath
JsonPath) -> ModuleInfo raise @moonbitlang/core/json.JsonDecodeError
JsonDecodeError

ModuleInfo::get_zip_url

source

fn ModuleInfo::get_zip_url(self : ModuleInfo) -> String

ModuleInfo::new

source

fn ModuleInfo::new(name : String, version? : String, readme? : String, repository? : String, license? : String, keywords? : Array[String], description? : String, source? : String, deps? : Map[String, String]) -> ModuleInfo

模块元数据构造函数

ModuleInfo::to_json

source

fn ModuleInfo::to_json(ModuleInfo) -> Json

ModuleInfo::to_repr

source

fn ModuleInfo::to_repr(ModuleInfo) -> @moonbitlang/core/debug.Repr
Repr

PackageImport

source

pub(all) struct PackageImport {
  path : String
  alias_ : String?
}

RuntimeArgument

source

pub(all) struct RuntimeArgument {
  val : RuntimeValue
  kind : RuntimeArgumentKind
}

RuntimeArgumentKind

source

pub(all) enum RuntimeArgumentKind {
  Positional
  Labelled(String)
  LabelledOption(String)
}

RuntimeArgumentKind::from_syntax

source

fn RuntimeArgumentKind::from_syntax(arg : @moonbitlang/parser/syntax.ArgumentKind
ArgumentKind) -> RuntimeArgumentKind

RuntimeEnvironment

source

pub(all) struct RuntimeEnvironment {
  values : Map[String, RuntimeValue]
  mutable_vars : Map[String, Bool]
  parent : RuntimeEnvironment?
} derive(ToJson)

RuntimeEnvironment::copy

source

fn RuntimeEnvironment::copy(self : RuntimeEnvironment) -> RuntimeEnvironment

深拷贝环境 - 完全复制所有内容

RuntimeEnvironment::create_closure_env

source

fn RuntimeEnvironment::create_closure_env(self : RuntimeEnvironment) -> RuntimeEnvironment

为闭包创建捕获环境 - 实现正确的变量捕获语义

RuntimeEnvironment::find

source

fn RuntimeEnvironment::find(self : RuntimeEnvironment, name : String) -> RuntimeValue?

在解释器中查找变量

RuntimeEnvironment::new

source

fn RuntimeEnvironment::new(parent? : RuntimeEnvironment, values? : Map[String, RuntimeValue]) -> RuntimeEnvironment

RuntimeEnvironment::set

source

fn RuntimeEnvironment::set(self : RuntimeEnvironment, name : String, value : RuntimeValue) -> Unit

设置不可变变量

RuntimeEnvironment::set_mutable_variable

source

fn RuntimeEnvironment::set_mutable_variable(self : RuntimeEnvironment, name : String, value : RuntimeValue) -> Unit

设置可变变量

RuntimeEnvironment::to_json

source

fn RuntimeEnvironment::to_json(RuntimeEnvironment) -> Json

RuntimeEnvironment::update

source

fn RuntimeEnvironment::update(self : RuntimeEnvironment, name : String, new_value : RuntimeValue) -> Unit

在可变变量数组中查找并更新指定变量

RuntimeErrorType

source

pub(all) enum RuntimeErrorType {
  ErrorType(RuntimeType)
  DefaultErrorType
  NoErrorType
  Noraise
  MaybeError(RuntimeType)
} derive(ToJson)

impl Eq for RuntimeErrorType

impl Show for RuntimeErrorType

RuntimeErrorType::equal

source

fn RuntimeErrorType::equal(self : RuntimeErrorType, other : RuntimeErrorType) -> Bool

RuntimeErrorType::not_equal

source

fn RuntimeErrorType::not_equal(x : RuntimeErrorType, y : RuntimeErrorType) -> Bool

RuntimeErrorType::output

source

fn RuntimeErrorType::output(self : RuntimeErrorType, logger : &Logger) -> Unit

RuntimeErrorType::to_json

source

fn RuntimeErrorType::to_json(RuntimeErrorType) -> Json

RuntimeErrorType::to_string

source

fn RuntimeErrorType::to_string(self : RuntimeErrorType) -> String

RuntimeFunctionContext

source

pub(all) struct RuntimeFunctionContext {
  context : ClosureInterpreter
  pkg : RuntimePackage
  args : FixedArray[RuntimeArgument]
}

Runtime函数执行上下文 - 统一所有函数的执行环境

RuntimeFunctionContext::named

source

fn RuntimeFunctionContext::named(ctx : RuntimeFunctionContext, name : String) -> RuntimeValue?

RuntimeLocation

source

pub enum RuntimeLocation {
  FunctionCall(String)
  ControlFlow(String)
  LetMut(String)
} derive(@moonbitlang/core/debug.Debug
Debug)

RuntimeLocation::to_repr

source

fn RuntimeLocation::to_repr(RuntimeLocation) -> @moonbitlang/core/debug.Repr
Repr

RuntimeModule

source

pub(all) struct RuntimeModule {
  meta : ModuleInfo
  pkgs : Map[String, RuntimePackage]
  embedded_fns : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]
}

RuntimePackage

source

pub(all) struct RuntimePackage {
  name : String
  traits : Map[String, TraitDecl]
  fn_aliases : Map[String, RuntimeValue]
  type_aliases : Map[String, WithType[TypeDecl]]
  trait_aliases : Map[String, WithType[TraitDecl]]
  stubs : Map[String, String]
  type_definitions : Map[String, TypeDecl]
  type_derived_traits : Map[String, Array[String]]
  struct_constrs : Map[String, String]
  constructors : Map[String, String]
  struct_methods : Map[String, Map[String, RuntimeValue]]
  trait_methods : Map[String, Map[String, RuntimeValue]]
  values : Map[String, RuntimeValue]
  env : RuntimeEnvironment
  deps : Map[String, RuntimePackage]
  files : Map[String, String]
  loaded : Bool
} derive(ToJson)

RuntimePackage::check_type_constraint

source

fn RuntimePackage::check_type_constraint(_self : RuntimePackage, value : RuntimeValue, constraint : @moonbitlang/parser/syntax.Type
Type) -> Bool

检查运行时值是否满足类型约束

RuntimePackage::cons

source

fn RuntimePackage::cons(self : RuntimePackage, name : String, args : Array[RuntimeValue]) -> RuntimeValue

构造 Constructor

RuntimePackage::cons_with_labels

source

fn RuntimePackage::cons_with_labels(self : RuntimePackage, name : String, labeled_args : Array[(String?, RuntimeValue, Bool)]) -> RuntimeValue

构造带标签参数的 Constructor

RuntimePackage::define_trait_method

source

fn RuntimePackage::define_trait_method(self : RuntimePackage, trait_id : String, method_name : String, func : RuntimeValue) -> Unit

处理trait方法定义

RuntimePackage::find

source

fn RuntimePackage::find(self : RuntimePackage, name : String) -> RuntimeValue?

RuntimePackage::find_stub

source

fn RuntimePackage::find_stub(self : RuntimePackage, name : String) -> String

RuntimePackage::is_constructor

source

fn RuntimePackage::is_constructor(self : RuntimePackage, name : String) -> Bool

检查名称是否为构造函数

RuntimePackage::new

source

fn RuntimePackage::new(pkg : String, deps? : Map[String, RuntimePackage], files? : Map[String, String]) -> RuntimePackage

RuntimePackage::set

source

fn RuntimePackage::set(self : RuntimePackage, name : String, value : RuntimeValue) -> Unit

RuntimePackage::to_json

source

fn RuntimePackage::to_json(RuntimePackage) -> Json

RuntimeType

source

pub(all) enum RuntimeType {
  Any
  Arrow(args~ : @moonbitlang/core/list.List
List[RuntimeType], res~ : RuntimeType, err~ : RuntimeErrorType, is_async~ : Bool)
  Tuple(@moonbitlang/core/list.List
List[RuntimeType])
  Name(pkg~ : RuntimePackage, name~ : String, tys~ : @moonbitlang/core/list.List
List[RuntimeType])
  Option(RuntimeType)
  Object(pkg~ : RuntimePackage, name~ : String)
  Internal
} derive(ToJson)

impl Eq for RuntimeType

impl Show for RuntimeType

RuntimeType::any

source

fn RuntimeType::any() -> RuntimeType

RuntimeType::array

source

fn RuntimeType::array() -> RuntimeType

RuntimeType::array_view

source

fn RuntimeType::array_view() -> RuntimeType

RuntimeType::bigint

source

fn RuntimeType::bigint() -> RuntimeType

RuntimeType::bool

source

fn RuntimeType::bool() -> RuntimeType

RuntimeType::byte

source

fn RuntimeType::byte() -> RuntimeType

RuntimeType::bytes

source

fn RuntimeType::bytes() -> RuntimeType

RuntimeType::char

source

fn RuntimeType::char() -> RuntimeType

RuntimeType::double

source

fn RuntimeType::double() -> RuntimeType

RuntimeType::equal

source

fn RuntimeType::equal(self : RuntimeType, other : RuntimeType) -> Bool

RuntimeType::fixed_array

source

fn RuntimeType::fixed_array() -> RuntimeType

RuntimeType::float

source

fn RuntimeType::float() -> RuntimeType

RuntimeType::hashmap

source

fn RuntimeType::hashmap() -> RuntimeType

RuntimeType::int

source

fn RuntimeType::int() -> RuntimeType

RuntimeType::int64

source

fn RuntimeType::int64() -> RuntimeType

RuntimeType::iter

source

fn RuntimeType::iter() -> RuntimeType

RuntimeType::json

source

fn RuntimeType::json() -> RuntimeType

RuntimeType::list

source

fn RuntimeType::list() -> RuntimeType

RuntimeType::map

source

fn RuntimeType::map() -> RuntimeType

RuntimeType::not_equal

source

fn RuntimeType::not_equal(x : RuntimeType, y : RuntimeType) -> Bool

RuntimeType::option

source

fn RuntimeType::option() -> RuntimeType

RuntimeType::output

source

fn RuntimeType::output(self : RuntimeType, logger : &Logger) -> Unit

RuntimeType::result

source

fn RuntimeType::result() -> RuntimeType

RuntimeType::string

source

fn RuntimeType::string() -> RuntimeType

RuntimeType::string_builder

source

fn RuntimeType::string_builder() -> RuntimeType

RuntimeType::string_view

source

fn RuntimeType::string_view() -> RuntimeType

RuntimeType::to_json

source

fn RuntimeType::to_json(RuntimeType) -> Json

RuntimeType::to_string

source

fn RuntimeType::to_string(self : RuntimeType) -> String

RuntimeType::tuple

source

fn RuntimeType::tuple() -> RuntimeType

RuntimeType::uint

source

fn RuntimeType::uint() -> RuntimeType

RuntimeType::uint16

source

fn RuntimeType::uint16() -> RuntimeType

RuntimeType::uint64

source

fn RuntimeType::uint64() -> RuntimeType

RuntimeType::uninitialized_array

source

fn RuntimeType::uninitialized_array() -> RuntimeType

RuntimeValue

source

pub(all) enum RuntimeValue {
  Unit
  Bool(Bool)
  Int(Int, raw~ : String?)
  UInt(UInt)
  UInt16(UInt16)
  Int64(Int64)
  UInt64(UInt64)
  Float(Float)
  Double(Double)
  BigInt(@moonbitlang/core/bigint.BigInt
BigInt)
  Char(Char)
  Byte(Byte)
  String(String)
  Bytes(Bytes)
  StringView(StringView)
  StringBuilder(StringBuilder)
  HashMap(@moonbitlang/core/hashmap.HashMap
HashMap[RuntimeValue, RuntimeValue])
  Tuple(Array[RuntimeValue])
  Array(Array[RuntimeValue])
  FixedArray(FixedArray[RuntimeValue])
  ArrayView(ArrayView[RuntimeValue])
  UninitializedArray(UninitializedArray[RuntimeValue])
  Map(Map[RuntimeValue, RuntimeValue])
  Object(WithType[Map[String, RuntimeValue]])
  Fn(WithType[(RuntimeFunctionContext) -> RuntimeValue raise ControlFlow])
  Constructor(WithType[ConstructorValue])
  Exception(String)
  Iter(Iter[RuntimeValue])
  Iter2(Iter2[RuntimeValue, RuntimeValue])
  Json(Json)
}

运行时值 - 解释器实际操作的数据类型

impl Add for RuntimeValue

impl Compare for RuntimeValue

impl Eq for RuntimeValue

impl Hash for RuntimeValue

impl Show for RuntimeValue

impl ToJson for RuntimeValue

RuntimeValue::add

source

fn RuntimeValue::add(self : RuntimeValue, other : RuntimeValue) -> RuntimeValue

RuntimeValue::compare

source

fn RuntimeValue::compare(self : RuntimeValue, other : RuntimeValue) -> Int

RuntimeValue::equal

source

fn RuntimeValue::equal(self : RuntimeValue, other : RuntimeValue) -> Bool

RuntimeValue::from_constant_with_type

source

fn RuntimeValue::from_constant_with_type(c : @moonbitlang/parser/syntax.Constant
Constant, expected_type : String?) -> RuntimeValue

带期望类型的常量创建函数

RuntimeValue::from_option

source

fn RuntimeValue::from_option(val : RuntimeValue?) -> RuntimeValue

RuntimeValue::from_pattern

source

fn RuntimeValue::from_pattern(pattern : @moonbitlang/parser/syntax.Pattern
Pattern) -> RuntimeValue

将模式转换为值（用于范围匹配）

RuntimeValue::from_result

source

fn RuntimeValue::from_result(val : Result[RuntimeValue, RuntimeValue]) -> RuntimeValue

RuntimeValue::get_type

source

fn RuntimeValue::get_type(self : RuntimeValue) -> RuntimeType

根据运行时值推断类型

RuntimeValue::hash

source

fn RuntimeValue::hash(self : RuntimeValue) -> Int

RuntimeValue::hash_combine

source

fn RuntimeValue::hash_combine(self : RuntimeValue, hasher : Hasher) -> Unit

RuntimeValue::is_mutable

source

fn RuntimeValue::is_mutable(self : RuntimeValue) -> Bool

检查值是否为可变类型

RuntimeValue::is_reference

source

fn RuntimeValue::is_reference(self : RuntimeValue) -> Bool

检查值是否为引用类型

RuntimeValue::iter2

source

fn RuntimeValue::iter2(self : RuntimeValue) -> RuntimeValue

为 RuntimeValue 实现 iter2() 方法，返回双值迭代器根据 iter2.mbt 中的 iter2_iter_fn，应该返回 Iter，其中每个元素是元组

RuntimeValue::not_equal

source

fn RuntimeValue::not_equal(x : RuntimeValue, y : RuntimeValue) -> Bool

RuntimeValue::op_ge

source

fn RuntimeValue::op_ge(x : RuntimeValue, y : RuntimeValue) -> Bool

RuntimeValue::op_gt

source

fn RuntimeValue::op_gt(x : RuntimeValue, y : RuntimeValue) -> Bool

RuntimeValue::op_le

source

fn RuntimeValue::op_le(x : RuntimeValue, y : RuntimeValue) -> Bool

RuntimeValue::op_lt

source

fn RuntimeValue::op_lt(x : RuntimeValue, y : RuntimeValue) -> Bool

RuntimeValue::output

source

fn RuntimeValue::output(self : RuntimeValue, logger : &Logger) -> Unit

RuntimeValue::overload_array_literal

source

fn RuntimeValue::overload_array_literal(self : RuntimeValue, expected_type : String) -> RuntimeValue

重载数组字面量 - 支持组合重载如[1,2,3] -> Bytes

RuntimeValue::overload_literal

source

fn RuntimeValue::overload_literal(self : RuntimeValue, expected_type : String) -> RuntimeValue

重载字面量转换 - 将默认类型的RuntimeValue转换为期望的类型遵循MoonBit重载字面量规则，同时支持模式匹配中的隐式转换

RuntimeValue::to_json

source

fn RuntimeValue::to_json(self : RuntimeValue) -> Json

RuntimeValue::to_string

source

fn RuntimeValue::to_string(self : RuntimeValue) -> String

TraitDecl

source

type TraitDecl

Wrapper around @syntax.TraitDecl with placeholder ToJson implementation.

TypeDecl

source

type TypeDecl

Wrapper around @syntax.TypeDecl with placeholder ToJson implementation and optional constructor information introduced since 0.8.0.

WithType

source

pub struct WithType[T] {
  val : T
  ty : RuntimeType
} derive(ToJson)

带类型信息的值包装器

WithType::to_json

source

fn[T : ToJson] WithType::to_json(WithType[T]) -> Json

array_methods

source

let array_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

array_view_methods

source

let array_view_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

bytes_methods

source

let bytes_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

check_type_constraint2

source

fn check_type_constraint2(value : RuntimeType, constraint : @moonbitlang/parser/syntax.Type
Type) -> Bool

control_error

source

fn control_error(msg : String) -> ControlFlow

error

source

#callsite(autofill(loc))
fn[A] error(msg : String, loc~ : SourceLoc) -> A raise ControlFlow

extract_type_name

source

fn extract_type_name(ty : @moonbitlang/parser/syntax.Type
Type) -> String

从@syntax.Type中提取简单的类型名

fixedarray_methods

source

let fixedarray_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

fs_methods

source

let fs_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

fs_package

source

let fs_package : RuntimePackage

hash_map_methods

source

let hash_map_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

int_embedded_code

source

let int_embedded_code : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

int_methods

source

let int_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

iter2_methods

source

let iter2_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

Iter2 内置方法映射

iter_methods

source

let iter_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

load_package_dir

source

fn load_package_dir(pkg_name : String, path : String) -> RuntimePackage?

manualUnescape

source

fn manualUnescape(input : StringView, buf : StringBuilder) -> Unit

map_methods

source

let map_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

option_methods

source

let option_methods : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

parse_code_to_expr

source

fn parse_code_to_expr(code : String) -> Result[@moonbitlang/parser/syntax.Expr
Expr, String]

parse_code_to_impl

source

fn parse_code_to_impl(code : String) -> Result[@moonbitlang/parser/syntax.Impl
Impl, String]

parse_eval_code

source

fn parse_eval_code(code : String) -> Result[EvalParseResult, String]

parse_package_imports

source

fn parse_package_imports(source : String) -> ImportParseResult

runtime_value_infix

source

fn runtime_value_infix(op : String, lhs : RuntimeValue, rhs : RuntimeValue) -> RuntimeValue

RuntimeValue 之间的中缀运算

string_embedded_code

source

let string_embedded_code : Map[String, (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow]

type_to_string

source

fn type_to_string(ty : @moonbitlang/parser/syntax.Type
Type) -> String

Site source Report issue Packages Build queue Skills Statistics

#RuntimeFunction

#ControlFlow

#ClosureInterpreter

#ClosureInterpreter::add_embedded_fn

#ClosureInterpreter::add_embedded_method

#ClosureInterpreter::add_extern_fn

#ClosureInterpreter::bind_function_parameters

#ClosureInterpreter::call

#ClosureInterpreter::call_closure

#ClosureInterpreter::constants_equal

#ClosureInterpreter::constants_equal_expr

#ClosureInterpreter::create_function

#ClosureInterpreter::define_struct_method

#ClosureInterpreter::error

#ClosureInterpreter::find_pkg

#ClosureInterpreter::format_patterns

#ClosureInterpreter::get_function_type_string

#ClosureInterpreter::infer_pattern_type

#ClosureInterpreter::interp_string

#ClosureInterpreter::is_known_function

#ClosureInterpreter::load_declared_imports

#ClosureInterpreter::load_module

#ClosureInterpreter::load_package

#ClosureInterpreter::lookup_current_function

#ClosureInterpreter::match_case

#ClosureInterpreter::new

#ClosureInterpreter::parse_error_type

#ClosureInterpreter::parse_type

#ClosureInterpreter::pattern_match

#ClosureInterpreter::pattern_to_runtime_value

#ClosureInterpreter::pop_scope

#ClosureInterpreter::push_scope

#ClosureInterpreter::register_package

#ClosureInterpreter::run_main

#ClosureInterpreter::run_top_test

#ClosureInterpreter::run_top_test_checked

#ClosureInterpreter::runtime_value_in_range

#ClosureInterpreter::top_eval

#ClosureInterpreter::top_func_def_to_closure

#ClosureInterpreter::top_visit

#ClosureInterpreter::visit

#ClosureInterpreter::visit_interp

#ClosureInterpreter::visit_multiline_string

#ClosureInterpreter::visit_scoped

#ClosureInterpreter::with_ident

#ConstructorField

#ConstructorValue

#EvalParseResult

#ImportParseResult

#ModuleInfo

#ModuleInfo::from_json

#ModuleInfo::get_zip_url

#ModuleInfo::new

#ModuleInfo::to_json

#ModuleInfo::to_repr

#PackageImport

#RuntimeArgument

#RuntimeArgumentKind

#RuntimeArgumentKind::from_syntax

#RuntimeEnvironment

#RuntimeEnvironment::copy

#RuntimeEnvironment::create_closure_env

#RuntimeEnvironment::find

#RuntimeEnvironment::new

#RuntimeEnvironment::set

#RuntimeEnvironment::set_mutable_variable

#RuntimeEnvironment::to_json

#RuntimeEnvironment::update

#RuntimeErrorType

#RuntimeErrorType::equal

#RuntimeErrorType::not_equal

#RuntimeErrorType::output

#RuntimeErrorType::to_json

#RuntimeErrorType::to_string

#RuntimeFunctionContext

#RuntimeFunctionContext::named

#RuntimeLocation

#RuntimeLocation::to_repr

#RuntimeModule

#RuntimePackage

RuntimeFunction

ControlFlow

ClosureInterpreter

ClosureInterpreter::add_embedded_fn

ClosureInterpreter::add_embedded_method

ClosureInterpreter::add_extern_fn

ClosureInterpreter::bind_function_parameters

ClosureInterpreter::call

ClosureInterpreter::call_closure

ClosureInterpreter::constants_equal

ClosureInterpreter::constants_equal_expr

ClosureInterpreter::create_function

ClosureInterpreter::define_struct_method

ClosureInterpreter::error

ClosureInterpreter::find_pkg

ClosureInterpreter::format_patterns

ClosureInterpreter::get_function_type_string

ClosureInterpreter::infer_pattern_type

ClosureInterpreter::interp_string

ClosureInterpreter::is_known_function

ClosureInterpreter::load_declared_imports

ClosureInterpreter::load_module

ClosureInterpreter::load_package

ClosureInterpreter::lookup_current_function

ClosureInterpreter::match_case

ClosureInterpreter::new

ClosureInterpreter::parse_error_type

ClosureInterpreter::parse_type

ClosureInterpreter::pattern_match

ClosureInterpreter::pattern_to_runtime_value

ClosureInterpreter::pop_scope

ClosureInterpreter::push_scope

ClosureInterpreter::register_package

ClosureInterpreter::run_main

ClosureInterpreter::run_top_test

ClosureInterpreter::run_top_test_checked

ClosureInterpreter::runtime_value_in_range

ClosureInterpreter::top_eval

ClosureInterpreter::top_func_def_to_closure

ClosureInterpreter::top_visit

ClosureInterpreter::visit

ClosureInterpreter::visit_interp

ClosureInterpreter::visit_multiline_string

ClosureInterpreter::visit_scoped

ClosureInterpreter::with_ident

ConstructorField

ConstructorValue

EvalParseResult

ImportParseResult

ModuleInfo

ModuleInfo::from_json

ModuleInfo::get_zip_url

ModuleInfo::new

ModuleInfo::to_json

ModuleInfo::to_repr

PackageImport

RuntimeArgument

RuntimeArgumentKind

RuntimeArgumentKind::from_syntax

RuntimeEnvironment

RuntimeEnvironment::copy

RuntimeEnvironment::create_closure_env

RuntimeEnvironment::find

RuntimeEnvironment::new

RuntimeEnvironment::set

RuntimeEnvironment::set_mutable_variable

RuntimeEnvironment::to_json

RuntimeEnvironment::update

RuntimeErrorType

RuntimeErrorType::equal

RuntimeErrorType::not_equal

RuntimeErrorType::output

RuntimeErrorType::to_json

RuntimeErrorType::to_string

RuntimeFunctionContext

RuntimeFunctionContext::named

RuntimeLocation

RuntimeLocation::to_repr

RuntimeModule

RuntimePackage