mooncakes.io

interpreter

README

oboard/moonbit-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
  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_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, 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]
}

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

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

模块元数据构造函数

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

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

#
RuntimeModule

source

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

#
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

#
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)
  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::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::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::string_view

source

fn RuntimeType::string_view() -> 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, 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::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::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重载字面量规则，同时支持模式匹配中的隐式转换

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

带类型信息的值包装器

#
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

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

#
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_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_func_def_to_closure

#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::update

#RuntimeErrorType

#RuntimeFunctionContext

#RuntimeFunctionContext::named

#RuntimeLocation

#RuntimeModule

#RuntimePackage

#RuntimePackage::check_type_constraint

#RuntimePackage::cons

#RuntimePackage::cons_with_labels

#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

#
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_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_func_def_to_closure

#
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::update

#
RuntimeErrorType

#
RuntimeFunctionContext

#
RuntimeFunctionContext::named

#
RuntimeLocation

#
RuntimeModule

#
RuntimePackage

#
RuntimePackage::check_type_constraint

#
RuntimePackage::cons

#
RuntimePackage::cons_with_labels

#
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