oboard/moonbit-eval/interpreter

README
T
EvalResult
- ::createMoonBitVM::create
- ::evalMoonBitVM::eval
- ::newMoonBitVM::new
V
add_embedded_fn
V
add_embedded_method
V
add_extern_fn
V
eval_result_to_string
V
expr_to_string
V
value_to_json
V
value_to_string

oboard/moonbit-eval/interpreter does not have a README file

RuntimeFunction

typealias (RuntimeFunctionContext) -> RuntimeValue raise ControlFlow as RuntimeFunction

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

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 : RuntimePackage
  current_module : 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 : @moonbitlang/parser/syntax.Func
Func, mod : RuntimePackage, env : RuntimeEnvironment, args : @moonbitlang/core/list.List
List[RuntimeArgument], name? : String) -> RuntimeValue raise ControlFlow

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

ClosureInterpreter::call_closure

source

fn ClosureInterpreter::call_closure(self : ClosureInterpreter, function : @moonbitlang/parser/syntax.Func
Func, mod : RuntimePackage, env : RuntimeEnvironment, 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::error

source

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

ClosureInterpreter::find_pkg

source

fn ClosureInterpreter::find_pkg(self : ClosureInterpreter, pkg : 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, value : RuntimeValue) -> String

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

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_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::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, inclusive : Bool) -> Bool

检查 RuntimeValue 是否在指定范围内

ClosureInterpreter::top_eval

source

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

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]
}

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

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?
}

包元数据

impl Show for ModuleInfo

impl ToJson for ModuleInfo

impl FromJson for ModuleInfo

ModuleInfo::get_zip_url

source

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

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

模块元数据构造函数

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?
}

impl ToJson for RuntimeEnvironment

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::top_func_def_to_closure

source

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

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

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)
}

impl Eq for RuntimeErrorType

impl Show for RuntimeErrorType

impl ToJson for RuntimeErrorType

RuntimeFunctionContext

source

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

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

RuntimeLocation

source

pub enum RuntimeLocation {
  FunctionCall(String)
  ControlFlow(String)
  LetMut(String)
}

impl Show for RuntimeLocation

RuntimeModule

source

pub(all) struct RuntimeModule {
  meta : ModuleInfo
  pkgs : Map[String, RuntimePackage]
}

impl ToJson for RuntimeModule

RuntimePackage

source

pub(all) struct RuntimePackage {
  name : String
  traits : Map[String, @moonbitlang/parser/syntax.TraitDecl
TraitDecl]
  fn_aliases : Map[String, WithType[RuntimeValue]]
  type_aliases : Map[String, WithType[@moonbitlang/parser/syntax.TypeDecl
TypeDecl]]
  trait_aliases : Map[String, WithType[@moonbitlang/parser/syntax.TraitDecl
TraitDecl]]
  stubs : Map[String, String]
  type_definitions : Map[String, @moonbitlang/parser/syntax.TypeDecl
TypeDecl]
  type_derived_traits : Map[String, Array[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
}

impl ToJson for RuntimePackage

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_struct_method

source

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

处理函数定义

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

RuntimeType

source

pub(all) enum RuntimeType {
  Any
  Arrow(@moonbitlang/core/list.List
List[RuntimeType], RuntimeType, RuntimeErrorType, Bool)
  Tuple(@moonbitlang/core/list.List
List[RuntimeType])
  Name(RuntimePackage, String, @moonbitlang/core/list.List
List[RuntimeType])
  Option(RuntimeType)
  Object(RuntimePackage, String)
}

impl Eq for RuntimeType

impl Show for RuntimeType

impl ToJson 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::fixed_array

source

fn RuntimeType::fixed_array() -> RuntimeType

RuntimeType::float

source

fn RuntimeType::float() -> 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::option

source

fn RuntimeType::option() -> RuntimeType

RuntimeType::result

source

fn RuntimeType::result() -> RuntimeType

RuntimeType::string

source

fn RuntimeType::string() -> RuntimeType

RuntimeType::string_builder

source

fn RuntimeType::string_builder() -> RuntimeType

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)
  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(@moonbitlang/core/string.View
View)
  StringBuilder(StringBuilder)
  Tuple(Array[RuntimeValue])
  Array(Array[RuntimeValue])
  FixedArray(FixedArray[RuntimeValue])
  ArrayView(ArrayView[RuntimeValue])
  UninitializedArray(UninitializedArray[RuntimeValue])
  Map(Map[RuntimeValue, RuntimeValue])
  Struct(WithType[Map[String, RuntimeValue]])
  Closure(@moonbitlang/parser/syntax.Func
Func, RuntimeEnvironment)
  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::from_constant_with_type

source

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

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

RuntimeValue::from_expr

source

fn RuntimeValue::from_expr(expr : @moonbitlang/parser/syntax.Expr
Expr) -> RuntimeValue

将@syntax.Expr转换为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::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::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_expr

source

fn RuntimeValue::to_expr(self : RuntimeValue) -> @moonbitlang/parser/syntax.Expr
Expr

将RuntimeValue转换为表达式（用于输出）

WithType

source

pub struct WithType[T] {
  val : T
  ty : RuntimeType
}

带类型信息的值包装器

impl ToJson for WithType[T]

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]

check_type_constraint2

source

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

compare

source

fn[T : Compare + Eq] compare(left : T, right : T, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

constant_infix

source

fn constant_infix(name : String, lhs : @moonbitlang/parser/syntax.Constant
Constant, rhs : @moonbitlang/parser/syntax.Constant
Constant) -> @moonbitlang/parser/syntax.Constant
Constant

error

source

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

eval_double_op

source

fn eval_double_op(left : Double, right : Double, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

eval_float_op

source

fn eval_float_op(left : Double, right : Double, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

eval_int64_op

source

fn eval_int64_op(left : Int64, right : Int64, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

eval_int_op

source

fn eval_int_op(left : Int, right : Int, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

eval_uint64_op

source

fn eval_uint64_op(left : UInt64, right : UInt64, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

eval_uint_op

source

fn eval_uint_op(left : UInt, right : UInt, op : String) -> @moonbitlang/parser/syntax.Constant
Constant

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]

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]

is_comparison_op

source

fn is_comparison_op(op : String) -> Bool

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]

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]

runtime_value_infix

source

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

RuntimeValue 之间的中缀运算 - 消除对 constant_infix 的依赖

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

unit

source

fn unit(loc? : @moonbitlang/parser/basic.Location
Location) -> @moonbitlang/parser/syntax.Expr
Expr

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::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_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::runtime_value_in_range

#ClosureInterpreter::top_eval

#ClosureInterpreter::top_visit

#ClosureInterpreter::visit

#ClosureInterpreter::visit_interp

#ClosureInterpreter::visit_multiline_string

#ClosureInterpreter::visit_scoped

#ClosureInterpreter::with_ident

#ConstructorField

#ConstructorValue

#ModuleInfo

#ModuleInfo::get_zip_url

#ModuleInfo::new

#RuntimeArgument

#RuntimeArgumentKind

#RuntimeArgumentKind::from_syntax

#RuntimeEnvironment

#RuntimeEnvironment::copy

#RuntimeEnvironment::create_closure_env

#RuntimeEnvironment::find

#RuntimeEnvironment::new

#RuntimeEnvironment::set

#RuntimeEnvironment::set_mutable_variable

#RuntimeEnvironment::top_func_def_to_closure

#RuntimeEnvironment::update

#RuntimeErrorType

#RuntimeFunctionContext

#RuntimeLocation

#RuntimeModule

#RuntimePackage

#RuntimePackage::check_type_constraint

#RuntimePackage::cons

#RuntimePackage::cons_with_labels

#RuntimePackage::define_struct_method

#RuntimePackage::define_trait_method

#RuntimePackage::find

#RuntimePackage::find_stub

#RuntimePackage::is_constructor

#RuntimePackage::new

#RuntimePackage::set

#RuntimeType

#RuntimeType::any

#RuntimeType::array

#RuntimeType::array_view

#RuntimeType::bigint

#RuntimeType::bool

#RuntimeType::byte

#RuntimeType::bytes

#RuntimeType::char

#RuntimeType::double

#RuntimeType::fixed_array

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::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_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::runtime_value_in_range

ClosureInterpreter::top_eval

ClosureInterpreter::top_visit

ClosureInterpreter::visit

ClosureInterpreter::visit_interp

ClosureInterpreter::visit_multiline_string

ClosureInterpreter::visit_scoped

ClosureInterpreter::with_ident

ConstructorField

ConstructorValue

ModuleInfo

ModuleInfo::get_zip_url

ModuleInfo::new

RuntimeArgument

RuntimeArgumentKind

RuntimeArgumentKind::from_syntax

RuntimeEnvironment

RuntimeEnvironment::copy

RuntimeEnvironment::create_closure_env

RuntimeEnvironment::find

RuntimeEnvironment::new

RuntimeEnvironment::set

RuntimeEnvironment::set_mutable_variable

RuntimeEnvironment::top_func_def_to_closure

RuntimeEnvironment::update

RuntimeErrorType

RuntimeFunctionContext

RuntimeLocation

RuntimeModule

RuntimePackage

RuntimePackage::check_type_constraint

RuntimePackage::cons

RuntimePackage::cons_with_labels

RuntimePackage::define_struct_method

RuntimePackage::define_trait_method

RuntimePackage::find

RuntimePackage::find_stub

RuntimePackage::is_constructor

RuntimePackage::new

RuntimePackage::set

RuntimeType

RuntimeType::any

RuntimeType::array

RuntimeType::array_view

RuntimeType::bigint

RuntimeType::bool

RuntimeType::byte

RuntimeType::bytes

RuntimeType::char

RuntimeType::double

RuntimeType::fixed_array