moonbitlang/parser/syntax

moonbitlang/parser/syntax does not have a README file

Impls

typealias @moonbitlang/core/list.List
List[Impl] as Impls

Parameters

source

typealias @moonbitlang/core/list.List
List[Parameter] as Parameters

TestName

source

typealias (String, @moonbitlang/parser/basic.Location
Location)? as TestName

ImplMapVisitor

source

pub(open) trait ImplMapVisitor {
  visit_impl(Self, Impl) -> Impl = _
  visit_top_expr(Self, expr~ : Expr, is_main~ : Bool, local_types~ : @moonbitlang/core/list.List
List[LocalTypeDecl], loc~ : @moonbitlang/parser/basic.Location
Location) -> Impl = _
  visit_top_test(Self, expr~ : Expr, name~ : (String, @moonbitlang/parser/basic.Location
Location)?, params~ : @moonbitlang/core/list.List
List[Parameter]?, local_types~ : @moonbitlang/core/list.List
List[LocalTypeDecl], loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], doc~ : DocString) -> Impl = _
  visit_top_type_def(Self, TypeDecl) -> Impl = _
  visit_top_func_def(Self, fun_decl~ : FunDecl, decl_body~ : DeclBody, loc~ : @moonbitlang/parser/basic.Location
Location) -> Impl = _
  visit_top_func_alias(Self, pkg~ : Label?, type_name~ : Label?, targets~ : @moonbitlang/core/list.List
List[AliasTarget], vis~ : Visibility, attrs~ : @moonbitlang/core/list.List
List[Attribute], is_list~ : Bool, doc~ : DocString, loc~ : @moonbitlang/parser/basic.Location
Location) -> Impl = _
  visit_top_let_def(Self, binder~ : Binder, ty~ : Type?, expr~ : Expr, vis~ : Visibility, is_constant~ : Bool, loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], doc~ : DocString) -> Impl = _
  visit_top_trait(Self, TraitDecl) -> Impl = _
  visit_top_batch_type_alias(Self, pkg~ : Label?, targets~ : @moonbitlang/core/list.List
List[AliasTarget], vis~ : Visibility, loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], is_list~ : Bool, doc~ : DocString) -> Impl = _
  visit_top_batch_trait_alias(Self, pkg~ : Label?, targets~ : @moonbitlang/core/list.List
List[AliasTarget], vis~ : Visibility, loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], is_list~ : Bool, doc~ : DocString) -> Impl = _
  visit_top_impl(Self, self_ty~ : Type?, trait_~ : TypeName, method_name~ : Binder, has_error~ : @moonbitlang/parser/basic.Location
Location?, quantifiers~ : @moonbitlang/core/list.List
List[TypeVarBinder], params~ : @moonbitlang/core/list.List
List[Parameter], ret_ty~ : Type?, err_ty~ : ErrorType, body~ : DeclBody, vis~ : Visibility, loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], doc~ : DocString) -> Impl = _
  visit_top_view(Self, quantifiers~ : @moonbitlang/core/list.List
List[TypeVarBinder], source_ty~ : Type, view_type_name~ : String, view_type_loc~ : @moonbitlang/parser/basic.Location
Location, view_constrs~ : @moonbitlang/core/list.List
List[ConstrDecl], view_func_name~ : Binder, parameters~ : @moonbitlang/core/list.List
List[Parameter], params_loc~ : @moonbitlang/parser/basic.Location
Location, body~ : Expr, vis~ : Visibility, loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], doc~ : DocString) -> Impl = _
  visit_top_impl_relation(Self, self_ty~ : Type, trait_~ : TypeName, quantifiers~ : @moonbitlang/core/list.List
List[TypeVarBinder], vis~ : Visibility, attrs~ : @moonbitlang/core/list.List
List[Attribute], loc~ : @moonbitlang/parser/basic.Location
Location, doc~ : DocString) -> Impl = _
  visit_expr(Self, Expr) -> Expr = _
  visit_apply(Self, func~ : Expr, args~ : @moonbitlang/core/list.List
List[Argument], attr~ : ApplyAttr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_infix(Self, op~ : Var, lhs~ : Expr, rhs~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_unary(Self, op~ : Var, expr~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_array(Self, exprs~ : @moonbitlang/core/list.List
List[Expr], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_array_spread(Self, elems~ : @moonbitlang/core/list.List
List[SpreadableElem], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_array_get(Self, array~ : Expr, index~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_array_get_slice(Self, array~ : Expr, start_index~ : Expr?, end_index~ : Expr?, index_loc~ : @moonbitlang/parser/basic.Location
Location, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_array_set(Self, array~ : Expr, index~ : Expr, value~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_array_augmented_set(Self, op~ : Var, array~ : Expr, index~ : Expr, value~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_constant(Self, c~ : Constant, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_multiline_string(Self, elems~ : @moonbitlang/core/list.List
List[MultilineStringElem], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_interp(Self, elems~ : @moonbitlang/core/list.List
List[InterpElem], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_constraint(Self, expr~ : Expr, ty~ : Type, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_constr(Self, constr~ : Constructor, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_while(Self, loop_cond~ : Expr, loop_body~ : Expr, while_else~ : Expr?, label~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_function(Self, func~ : Func, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_ident(Self, id~ : Var, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_if(Self, cond~ : Expr, ifso~ : Expr, ifnot~ : Expr?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_guard(Self, cond~ : Expr, otherwise~ : Expr?, body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_is(Self, expr~ : Expr, pat~ : Pattern, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_defer(Self, expr~ : Expr, body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_let_fn(Self, name~ : Binder, func~ : Func, body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_let_rec(Self, bindings~ : @moonbitlang/core/list.List
List[(Binder, Func)], body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_let_and(Self, bindings~ : @moonbitlang/core/list.List
List[(Binder, Type?, Func)], body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_let(Self, pattern~ : Pattern, expr~ : Expr, body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_sequence(Self, exprs~ : @moonbitlang/core/list.List
List[Expr], last_expr~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_tuple(Self, exprs~ : @moonbitlang/core/list.List
List[Expr], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_record(Self, type_name~ : TypeName?, fields~ : @moonbitlang/core/list.List
List[FieldDef], trailing~ : TrailingMark, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_record_update(Self, type_name~ : TypeName?, record~ : Expr, fields~ : @moonbitlang/core/list.List
List[FieldDef], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_field(Self, record~ : Expr, accessor~ : Accessor, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_method(Self, type_name~ : TypeName, method_name~ : Label, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_dot_apply(Self, self~ : Expr, method_name~ : Label, args~ : @moonbitlang/core/list.List
List[Argument], return_self~ : Bool, attr~ : ApplyAttr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_as(Self, expr~ : Expr, trait_~ : TypeName, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_mutate(Self, record~ : Expr, accessor~ : Accessor, field~ : Expr, augmented_by~ : Var?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_match(Self, expr~ : Expr, cases~ : @moonbitlang/core/list.List
List[Case], match_loc~ : @moonbitlang/parser/basic.Location
Location, using_~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_let_mut(Self, binder~ : Binder, ty~ : Type?, expr~ : Expr, body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_pipe(Self, lhs~ : Expr, rhs~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_assign(Self, var_~ : Var, expr~ : Expr, augmented_by~ : Var?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_hole(Self, loc~ : @moonbitlang/parser/basic.Location
Location, kind~ : Hole) -> Expr = _
  visit_return(Self, return_value~ : Expr?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_raise(Self, err_value~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_unit(Self, loc~ : @moonbitlang/parser/basic.Location
Location, faked~ : Bool) -> Expr = _
  visit_break(Self, arg~ : Expr?, label~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_continue(Self, args~ : @moonbitlang/core/list.List
List[Expr], label~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_loop(Self, args~ : @moonbitlang/core/list.List
List[Expr], body~ : @moonbitlang/core/list.List
List[MultiArgCase], label~ : Label?, loop_loc~ : @moonbitlang/parser/basic.Location
Location, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_for(Self, binders~ : @moonbitlang/core/list.List
List[(Binder, Expr)], condition~ : Expr?, continue_block~ : @moonbitlang/core/list.List
List[(Binder, Expr)], body~ : Expr, for_else~ : Expr?, label~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_for_each(Self, binders~ : @moonbitlang/core/list.List
List[Binder?], expr~ : Expr, body~ : Expr, else_block~ : Expr?, label~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_try(Self, body~ : Expr, catch_~ : @moonbitlang/core/list.List
List[Case], catch_all~ : Bool, try_else~ : @moonbitlang/core/list.List
List[Case]?, has_try~ : Bool, try_loc~ : @moonbitlang/parser/basic.Location
Location, catch_loc~ : @moonbitlang/parser/basic.Location
Location, else_loc~ : @moonbitlang/parser/basic.Location
Location, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_try_operator(Self, body~ : Expr, kind~ : TryOperatorKind, try_loc~ : @moonbitlang/parser/basic.Location
Location, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_map(Self, elems~ : @moonbitlang/core/list.List
List[MapExprElem], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_group(Self, expr~ : Expr, group~ : Group, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr = _
  visit_static_assert(Self, asserts~ : @moonbitlang/core/list.List
List[StaticAssertion], body~ : Expr) -> Expr = _
}

Accessor

source

pub(all) enum Accessor {
  Label(Label)
  Index(Int, @moonbitlang/parser/basic.Location
Location)
  Newtype(@moonbitlang/parser/basic.Location
Location)
}

impl ToJson for Accessor

AliasTarget

source

pub(all) struct AliasTarget {
  binder : Binder
  target : Label?
}

impl ToJson for AliasTarget

ApplyAttr

source

pub(all) enum ApplyAttr {
  NoAttr
  Exclamation
  Question
}

impl ToJson for ApplyAttr

Argument

source

pub(all) struct Argument {
  value : Expr
  kind : ArgumentKind
}

impl ToJson for Argument

ArgumentKind

source

pub(all) enum ArgumentKind {
  Positional
  Labelled(Label)
  LabelledPun(Label)
  LabelledOption(Label, @moonbitlang/parser/basic.Location
Location)
  LabelledOptionPun(Label, @moonbitlang/parser/basic.Location
Location)
}

impl ToJson for ArgumentKind

ArrayPattern

source

pub(all) enum ArrayPattern {
  Pattern(Pattern)
  StringSpread(String)
  BytesSpread(String)
  ConstSpread(Binder, String?, @moonbitlang/parser/basic.Location
Location)
}

impl ToJson for ArrayPattern

ArrayPatterns

source

pub(all) enum ArrayPatterns {
  Closed(@moonbitlang/core/list.List
List[ArrayPattern])
  Open(@moonbitlang/core/list.List
List[ArrayPattern], @moonbitlang/core/list.List
List[ArrayPattern], DotDotBinder)
}

impl ToJson for ArrayPatterns

ArrowFnParam

source

pub(all) enum ArrowFnParam {
  Named(Binder)
  Unnamed(@moonbitlang/parser/basic.Location
Location)
}

Arrow function parameter type

Attribute

source

pub(all) struct Attribute {
  loc : @moonbitlang/parser/basic.Location
Location
  raw : String
  parsed : AttributeExpr?
}

impl ToJson for Attribute

AttributeExpr

source

pub(all) enum AttributeExpr {
  Ident(AttributeId)
  Str(String)
  Apply(AttributeId, @moonbitlang/core/list.List
List[AttributeProp])
}

AttributeId

source

pub(all) struct AttributeId {
  qual : String?
  name : String
}

AttributeProp

source

pub(all) enum AttributeProp {
  Labeled(String, AttributeExpr)
  Expr(AttributeExpr)
}

Binder

source

pub(all) struct Binder {
  name : String
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for Binder

Case

source

pub(all) struct Case {
  pattern : Pattern
  guard_ : Expr?
  body : Expr
}

impl ToJson for Case

Constant

source

pub(all) enum Constant {
  Bool(Bool)
  Byte(String)
  Bytes(String)
  Char(String)
  Int(String)
  Int64(String)
  UInt(String)
  UInt64(String)
  Float(String)
  Double(String)
  String(String)
  BigInt(String)
}

impl ToJson for Constant

ConstrDecl

source

pub(all) struct ConstrDecl {
  name : ConstrName
  args : @moonbitlang/core/list.List
List[ConstrParam]?
  tag : (String, @moonbitlang/parser/basic.Location
Location)?
  loc : @moonbitlang/parser/basic.Location
Location
  attrs : @moonbitlang/core/list.List
List[Attribute]
  doc : DocString
}

impl ToJson for ConstrDecl

ConstrId

source

pub(all) struct ConstrId {
  id : LongIdent
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for ConstrId

ConstrName

source

pub(all) struct ConstrName {
  name : String
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for ConstrName

ConstrParam

source

pub(all) struct ConstrParam {
  ty : Type
  mut_ : Bool
  label : Label?
}

impl ToJson for ConstrParam

ConstrPatArg

source

pub(all) struct ConstrPatArg {
  pat : Pattern
  kind : ArgumentKind
}

impl ToJson for ConstrPatArg

Constructor

source

pub(all) struct Constructor {
  name : ConstrName
  extra_info : ConstructorExtraInfo
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for Constructor

ConstructorExtraInfo

source

pub(all) enum ConstructorExtraInfo {
  TypeName(TypeName)
  Package(String)
  NoExtraInfo
}

impl ToJson for ConstructorExtraInfo

DeclBody

source

pub(all) enum DeclBody {
  DeclBody(@moonbitlang/core/list.List
List[LocalTypeDecl], Expr)
  DeclStubs(FuncStubs)
}

impl ToJson for DeclBody

DerivingDirective

source

pub(all) struct DerivingDirective {
  type_name : TypeName
  args : @moonbitlang/core/list.List
List[Argument]
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for DerivingDirective

DocString

source

pub(all) struct DocString {
  content : @moonbitlang/core/list.List
List[String]
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for DocString

DocString::empty

source

fn DocString::empty() -> DocString

DotDotBinder

source

pub(all) enum DotDotBinder {
  Underscore
  NoBinder
  BinderAs(Binder)
  Binder(Binder)
}

impl ToJson for DotDotBinder

EmbeddedCode

source

pub(all) enum EmbeddedCode {
  CodeString(String)
  CodeMultilineString(@moonbitlang/core/list.List
List[String])
}

impl ToJson for EmbeddedCode

ErrorType

source

pub(all) enum ErrorType {
  ErrorType(Type)
  DefaultErrorType(@moonbitlang/parser/basic.Location
Location)
  NoErrorType
  Noraise(@moonbitlang/parser/basic.Location
Location)
  MaybeError(Type)
}

impl ToJson for ErrorType

ExceptionDecl

source

pub(all) enum ExceptionDecl {
  NoPayload
  SinglePayload(Type)
  EnumPayload(@moonbitlang/core/list.List
List[ConstrDecl])
}

impl ToJson for ExceptionDecl

Expr

source

pub(all) enum Expr {
  Apply(Expr, @moonbitlang/core/list.List
List[Argument], ApplyAttr, @moonbitlang/parser/basic.Location
Location)
  Infix(Var, Expr, Expr, @moonbitlang/parser/basic.Location
Location)
  Unary(Var, Expr, @moonbitlang/parser/basic.Location
Location)
  Array(@moonbitlang/core/list.List
List[Expr], @moonbitlang/parser/basic.Location
Location)
  ArraySpread(@moonbitlang/core/list.List
List[SpreadableElem], @moonbitlang/parser/basic.Location
Location)
  ArrayGet(Expr, Expr, @moonbitlang/parser/basic.Location
Location)
  ArrayGetSlice(Expr, Expr?, Expr?, @moonbitlang/parser/basic.Location
Location, @moonbitlang/parser/basic.Location
Location)
  ArraySet(Expr, Expr, Expr, @moonbitlang/parser/basic.Location
Location)
  ArrayAugmentedSet(Var, Expr, Expr, Expr, @moonbitlang/parser/basic.Location
Location)
  Constant(Constant, @moonbitlang/parser/basic.Location
Location)
  MultilineString(@moonbitlang/core/list.List
List[MultilineStringElem], @moonbitlang/parser/basic.Location
Location)
  Interp(@moonbitlang/core/list.List
List[InterpElem], @moonbitlang/parser/basic.Location
Location)
  Constraint(Expr, Type, @moonbitlang/parser/basic.Location
Location)
  Constr(Constructor, @moonbitlang/parser/basic.Location
Location)
  While(Expr, Expr, Expr?, Label?, @moonbitlang/parser/basic.Location
Location)
  Function(Func, @moonbitlang/parser/basic.Location
Location)
  Ident(Var, @moonbitlang/parser/basic.Location
Location)
  If(Expr, Expr, Expr?, @moonbitlang/parser/basic.Location
Location)
  Guard(Expr, Expr?, Expr, @moonbitlang/parser/basic.Location
Location)
  Is(Expr, Pattern, @moonbitlang/parser/basic.Location
Location)
  Defer(Expr, Expr, @moonbitlang/parser/basic.Location
Location)
  LetFn(Binder, Func, Expr, @moonbitlang/parser/basic.Location
Location)
  LetRec(@moonbitlang/core/list.List
List[(Binder, Func)], Expr, @moonbitlang/parser/basic.Location
Location)
  LetAnd(@moonbitlang/core/list.List
List[(Binder, Type?, Func)], Expr, @moonbitlang/parser/basic.Location
Location)
  Let(Pattern, Expr, Expr, @moonbitlang/parser/basic.Location
Location)
  Sequence(@moonbitlang/core/list.List
List[Expr], Expr, @moonbitlang/parser/basic.Location
Location)
  Tuple(@moonbitlang/core/list.List
List[Expr], @moonbitlang/parser/basic.Location
Location)
  Record(TypeName?, @moonbitlang/core/list.List
List[FieldDef], TrailingMark, @moonbitlang/parser/basic.Location
Location)
  RecordUpdate(TypeName?, Expr, @moonbitlang/core/list.List
List[FieldDef], @moonbitlang/parser/basic.Location
Location)
  Field(Expr, Accessor, @moonbitlang/parser/basic.Location
Location)
  Method(TypeName, Label, @moonbitlang/parser/basic.Location
Location)
  DotApply(Expr, Label, @moonbitlang/core/list.List
List[Argument], Bool, ApplyAttr, @moonbitlang/parser/basic.Location
Location)
  As(Expr, TypeName, @moonbitlang/parser/basic.Location
Location)
  Mutate(Expr, Accessor, Expr, Var?, @moonbitlang/parser/basic.Location
Location)
  Match(Expr, @moonbitlang/core/list.List
List[Case], @moonbitlang/parser/basic.Location
Location, Label?, @moonbitlang/parser/basic.Location
Location)
  LetMut(Binder, Type?, Expr, Expr, @moonbitlang/parser/basic.Location
Location)
  Pipe(Expr, Expr, @moonbitlang/parser/basic.Location
Location)
  Assign(Var, Expr, Var?, @moonbitlang/parser/basic.Location
Location)
  Hole(@moonbitlang/parser/basic.Location
Location, Hole)
  Return(Expr?, @moonbitlang/parser/basic.Location
Location)
  Raise(Expr, @moonbitlang/parser/basic.Location
Location)
  Unit(@moonbitlang/parser/basic.Location
Location, Bool)
  Break(Expr?, Label?, @moonbitlang/parser/basic.Location
Location)
  Continue(@moonbitlang/core/list.List
List[Expr], Label?, @moonbitlang/parser/basic.Location
Location)
  Loop(@moonbitlang/core/list.List
List[Expr], @moonbitlang/core/list.List
List[MultiArgCase], Label?, @moonbitlang/parser/basic.Location
Location, @moonbitlang/parser/basic.Location
Location)
  For(@moonbitlang/core/list.List
List[(Binder, Expr)], Expr?, @moonbitlang/core/list.List
List[(Binder, Expr)], Expr, Expr?, Label?, @moonbitlang/parser/basic.Location
Location)
  ForEach(@moonbitlang/core/list.List
List[Binder?], Expr, Expr, Expr?, Label?, @moonbitlang/parser/basic.Location
Location)
  Try(Expr, @moonbitlang/core/list.List
List[Case], Bool, @moonbitlang/core/list.List
List[Case]?, Bool, @moonbitlang/parser/basic.Location
Location, @moonbitlang/parser/basic.Location
Location, @moonbitlang/parser/basic.Location
Location, @moonbitlang/parser/basic.Location
Location)
  TryOperator(Expr, TryOperatorKind, @moonbitlang/parser/basic.Location
Location, @moonbitlang/parser/basic.Location
Location)
  Map(@moonbitlang/core/list.List
List[MapExprElem], @moonbitlang/parser/basic.Location
Location)
  Group(Expr, Group, @moonbitlang/parser/basic.Location
Location)
  StaticAssert(@moonbitlang/core/list.List
List[StaticAssertion], Expr)
}

impl ToJson for Expr

Expr::loc

source

fn Expr::loc(self : Expr) -> @moonbitlang/parser/basic.Location
Location

FieldDecl

source

pub(all) struct FieldDecl {
  name : FieldName
  ty : Type
  mut_ : Bool
  vis : Visibility
  loc : @moonbitlang/parser/basic.Location
Location
  attrs : @moonbitlang/core/list.List
List[Attribute]
  doc : DocString
}

impl ToJson for FieldDecl

FieldDef

source

pub(all) struct FieldDef {
  label : Label
  expr : Expr
  is_pun : Bool
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for FieldDef

FieldName

source

pub(all) struct FieldName {
  label : String
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for FieldName

FieldPat

source

pub(all) struct FieldPat {
  label : Label
  pattern : Pattern
  is_pun : Bool
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for FieldPat

FnKind

source

pub(all) enum FnKind {
  Lambda
  Matrix
  Arrow
}

impl ToJson for FnKind

FunDecl

source

pub(all) struct FunDecl {
  type_name : TypeName?
  name : Binder
  has_error : @moonbitlang/parser/basic.Location
Location?
  is_async : Bool
  decl_params : @moonbitlang/core/list.List
List[Parameter]?
  params_loc : @moonbitlang/parser/basic.Location
Location
  quantifiers : @moonbitlang/core/list.List
List[TypeVarBinder]
  return_type : Type?
  error_type : ErrorType
  vis : Visibility
  attrs : @moonbitlang/core/list.List
List[Attribute]
  doc : DocString
}

impl ToJson for FunDecl

Func

source

pub(all) enum Func {
  Lambda(@moonbitlang/core/list.List
List[Parameter], @moonbitlang/parser/basic.Location
Location, Expr, Type?, ErrorType, FnKind, @moonbitlang/parser/basic.Location
Location?, Bool, @moonbitlang/parser/basic.Location
Location)
  Match(@moonbitlang/core/list.List
List[MultiArgCase], @moonbitlang/parser/basic.Location
Location?, Bool, @moonbitlang/parser/basic.Location
Location, @moonbitlang/parser/basic.Location
Location)
}

impl ToJson for Func

FuncStubs

source

pub(all) enum FuncStubs {
  Import(String, String)
  Embedded(String?, EmbeddedCode)
}

impl ToJson for FuncStubs

Group

source

pub(all) enum Group {
  Brace
  Paren
}

impl ToJson for Group

Hole

source

pub(all) enum Hole {
  Synthesized
  Incomplete
  Todo
}

impl ToJson for Hole

Impl

source

pub(all) enum Impl {
  TopExpr(Expr, Bool, @moonbitlang/core/list.List
List[LocalTypeDecl], @moonbitlang/parser/basic.Location
Location)
  TopTest(Expr, (String, @moonbitlang/parser/basic.Location
Location)?, @moonbitlang/core/list.List
List[Parameter]?, @moonbitlang/core/list.List
List[LocalTypeDecl], @moonbitlang/parser/basic.Location
Location, @moonbitlang/core/list.List
List[Attribute], DocString)
  TopTypeDef(TypeDecl)
  TopFuncDef(FunDecl, DeclBody, @moonbitlang/parser/basic.Location
Location)
  TopFuncAlias(Label?, Label?, @moonbitlang/core/list.List
List[AliasTarget], Visibility, @moonbitlang/core/list.List
List[Attribute], Bool, DocString, @moonbitlang/parser/basic.Location
Location)
  TopLetDef(Binder, Type?, Expr, Visibility, Bool, @moonbitlang/parser/basic.Location
Location, @moonbitlang/core/list.List
List[Attribute], DocString)
  TopTrait(TraitDecl)
  TopBatchTypeAlias(Label?, @moonbitlang/core/list.List
List[AliasTarget], Visibility, @moonbitlang/parser/basic.Location
Location, @moonbitlang/core/list.List
List[Attribute], Bool, DocString)
  TopBatchTraitAlias(Label?, @moonbitlang/core/list.List
List[AliasTarget], Visibility, @moonbitlang/parser/basic.Location
Location, @moonbitlang/core/list.List
List[Attribute], Bool, DocString)
  TopImpl(Type?, TypeName, Binder, @moonbitlang/parser/basic.Location
Location?, @moonbitlang/core/list.List
List[TypeVarBinder], @moonbitlang/core/list.List
List[Parameter], Type?, ErrorType, DeclBody, Visibility, @moonbitlang/parser/basic.Location
Location, @moonbitlang/core/list.List
List[Attribute], DocString)
  TopView(@moonbitlang/core/list.List
List[TypeVarBinder], Type, String, @moonbitlang/parser/basic.Location
Location, @moonbitlang/core/list.List
List[ConstrDecl], Binder, @moonbitlang/core/list.List
List[Parameter], @moonbitlang/parser/basic.Location
Location, Expr, Visibility, @moonbitlang/parser/basic.Location
Location, @moonbitlang/core/list.List
List[Attribute], DocString)
  TopImplRelation(Type, TypeName, @moonbitlang/core/list.List
List[TypeVarBinder], Visibility, @moonbitlang/core/list.List
List[Attribute], @moonbitlang/parser/basic.Location
Location, DocString)
}

impl ToJson for Impl

Impl::loc

source

fn Impl::loc(self : Impl) -> @moonbitlang/parser/basic.Location
Location

InterpElem

source

pub(all) enum InterpElem {
  Literal(String, @moonbitlang/parser/basic.Location
Location)
  Expr(Expr, @moonbitlang/parser/basic.Location
Location)
  Source(@moonbitlang/parser/tokens.InterpSource
InterpSource)
}

impl ToJson for InterpElem

InterpolationComponent

source

pub(all) enum InterpolationComponent {
  InterpLit(String, @moonbitlang/parser/basic.Location
Location)
  InterpSource(@moonbitlang/parser/tokens.InterpSource
InterpSource)
}

Label

source

pub(all) struct Label {
  name : String
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for Label

LocalTypeDecl

source

pub(all) struct LocalTypeDecl {
  tycon : String
  tycon_loc : @moonbitlang/parser/basic.Location
Location
  components : TypeDesc
  deriving : @moonbitlang/core/list.List
List[DerivingDirective]
}

impl ToJson for LocalTypeDecl

LongIdent

source

pub(all) enum LongIdent {
  Ident(String)
  Dot(String, String)
}

impl ToJson for LongIdent

LongIdent::dummy

source

fn LongIdent::dummy() -> LongIdent

The dummy LongIdent is used in typer to represent an parsing error.

MapExprElem

source

pub(all) struct MapExprElem {
  key : Constant
  expr : Expr
  key_loc : @moonbitlang/parser/basic.Location
Location
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for MapExprElem

MapPatElem

source

pub(all) struct MapPatElem {
  key : Constant
  pat : Pattern
  match_absent : Bool
  key_loc : @moonbitlang/parser/basic.Location
Location
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for MapPatElem

MapVisitorBase

source

pub(all) type MapVisitorBase[T] T

impl ImplMapVisitor for MapVisitorBase[T]

fn[T : ImplMapVisitor] visit_apply(env : MapVisitorBase[T], func~ : Expr, args~ : @moonbitlang/core/list.List
List[Argument], attr~ : ApplyAttr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_array(env : MapVisitorBase[T], exprs~ : @moonbitlang/core/list.List
List[Expr], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_array_augmented_set(env : MapVisitorBase[T], op~ : Var, array~ : Expr, index~ : Expr, value~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_array_get(env : MapVisitorBase[T], array~ : Expr, index~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_array_get_slice(env : MapVisitorBase[T], array~ : Expr, start_index~ : Expr?, end_index~ : Expr?, index_loc~ : @moonbitlang/parser/basic.Location
Location, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_array_set(env : MapVisitorBase[T], array~ : Expr, index~ : Expr, value~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_array_spread(env : MapVisitorBase[T], elems~ : @moonbitlang/core/list.List
List[SpreadableElem], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_as(env : MapVisitorBase[T], expr~ : Expr, trait_~ : TypeName, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_assign(env : MapVisitorBase[T], var_~ : Var, expr~ : Expr, augmented_by~ : Var?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_break(env : MapVisitorBase[T], arg~ : Expr?, label~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_constant(env : MapVisitorBase[T], c~ : Constant, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_constr(env : MapVisitorBase[T], constr~ : Constructor, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_constraint(env : MapVisitorBase[T], expr~ : Expr, ty~ : Type, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_continue(env : MapVisitorBase[T], args~ : @moonbitlang/core/list.List
List[Expr], label~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_defer(env : MapVisitorBase[T], expr~ : Expr, body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_dot_apply(env : MapVisitorBase[T], self~ : Expr, method_name~ : Label, args~ : @moonbitlang/core/list.List
List[Argument], return_self~ : Bool, attr~ : ApplyAttr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_expr(env : MapVisitorBase[T], expr : Expr) -> Expr

source

fn[T : ImplMapVisitor] visit_field(env : MapVisitorBase[T], record~ : Expr, accessor~ : Accessor, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_for(env : MapVisitorBase[T], binders~ : @moonbitlang/core/list.List
List[(Binder, Expr)], condition~ : Expr?, continue_block~ : @moonbitlang/core/list.List
List[(Binder, Expr)], body~ : Expr, for_else~ : Expr?, label~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_for_each(env : MapVisitorBase[T], binders~ : @moonbitlang/core/list.List
List[Binder?], expr~ : Expr, body~ : Expr, else_block~ : Expr?, label~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_function(env : MapVisitorBase[T], func~ : Func, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_group(env : MapVisitorBase[T], expr~ : Expr, group~ : Group, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_guard(env : MapVisitorBase[T], cond~ : Expr, otherwise~ : Expr?, body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_hole(env : MapVisitorBase[T], loc~ : @moonbitlang/parser/basic.Location
Location, kind~ : Hole) -> Expr

source

fn[T : ImplMapVisitor] visit_ident(env : MapVisitorBase[T], id~ : Var, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_if(env : MapVisitorBase[T], cond~ : Expr, ifso~ : Expr, ifnot~ : Expr?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_impl(env : MapVisitorBase[T], impl_ : Impl) -> Impl

source

fn[T : ImplMapVisitor] visit_infix(env : MapVisitorBase[T], op~ : Var, lhs~ : Expr, rhs~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_interp(env : MapVisitorBase[T], elems~ : @moonbitlang/core/list.List
List[InterpElem], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_is(env : MapVisitorBase[T], expr~ : Expr, pat~ : Pattern, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_let(env : MapVisitorBase[T], pattern~ : Pattern, expr~ : Expr, body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_let_and(env : MapVisitorBase[T], bindings~ : @moonbitlang/core/list.List
List[(Binder, Type?, Func)], body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_let_fn(env : MapVisitorBase[T], name~ : Binder, func~ : Func, body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_let_mut(env : MapVisitorBase[T], binder~ : Binder, ty~ : Type?, expr~ : Expr, body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_let_rec(env : MapVisitorBase[T], bindings~ : @moonbitlang/core/list.List
List[(Binder, Func)], body~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_loop(env : MapVisitorBase[T], args~ : @moonbitlang/core/list.List
List[Expr], body~ : @moonbitlang/core/list.List
List[MultiArgCase], label~ : Label?, loop_loc~ : @moonbitlang/parser/basic.Location
Location, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_map(env : MapVisitorBase[T], elems~ : @moonbitlang/core/list.List
List[MapExprElem], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_match(env : MapVisitorBase[T], expr~ : Expr, cases~ : @moonbitlang/core/list.List
List[Case], match_loc~ : @moonbitlang/parser/basic.Location
Location, using_~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_method(env : MapVisitorBase[T], type_name~ : TypeName, method_name~ : Label, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_multiline_string(env : MapVisitorBase[T], elems~ : @moonbitlang/core/list.List
List[MultilineStringElem], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_mutate(env : MapVisitorBase[T], record~ : Expr, accessor~ : Accessor, field~ : Expr, augmented_by~ : Var?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_pipe(env : MapVisitorBase[T], lhs~ : Expr, rhs~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_raise(env : MapVisitorBase[T], err_value~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_record(env : MapVisitorBase[T], type_name~ : TypeName?, fields~ : @moonbitlang/core/list.List
List[FieldDef], trailing~ : TrailingMark, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_record_update(env : MapVisitorBase[T], type_name~ : TypeName?, record~ : Expr, fields~ : @moonbitlang/core/list.List
List[FieldDef], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_return(env : MapVisitorBase[T], return_value~ : Expr?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_sequence(env : MapVisitorBase[T], exprs~ : @moonbitlang/core/list.List
List[Expr], last_expr~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_static_assert(env : MapVisitorBase[T], asserts~ : @moonbitlang/core/list.List
List[StaticAssertion], body~ : Expr) -> Expr

source

fn[T : ImplMapVisitor] visit_top_batch_trait_alias(env : MapVisitorBase[T], pkg~ : Label?, targets~ : @moonbitlang/core/list.List
List[AliasTarget], vis~ : Visibility, loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], is_list~ : Bool, doc~ : DocString) -> Impl

source

fn[T : ImplMapVisitor] visit_top_batch_type_alias(env : MapVisitorBase[T], pkg~ : Label?, targets~ : @moonbitlang/core/list.List
List[AliasTarget], vis~ : Visibility, loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], is_list~ : Bool, doc~ : DocString) -> Impl

source

fn[T : ImplMapVisitor] visit_top_expr(env : MapVisitorBase[T], expr~ : Expr, is_main~ : Bool, local_types~ : @moonbitlang/core/list.List
List[LocalTypeDecl], loc~ : @moonbitlang/parser/basic.Location
Location) -> Impl

source

fn[T : ImplMapVisitor] visit_top_func_alias(env : MapVisitorBase[T], pkg~ : Label?, type_name~ : Label?, targets~ : @moonbitlang/core/list.List
List[AliasTarget], vis~ : Visibility, attrs~ : @moonbitlang/core/list.List
List[Attribute], is_list~ : Bool, doc~ : DocString, loc~ : @moonbitlang/parser/basic.Location
Location) -> Impl

source

fn[T : ImplMapVisitor] visit_top_func_def(env : MapVisitorBase[T], fun_decl~ : FunDecl, decl_body~ : DeclBody, loc~ : @moonbitlang/parser/basic.Location
Location) -> Impl

source

fn[T : ImplMapVisitor] visit_top_impl(env : MapVisitorBase[T], self_ty~ : Type?, trait_~ : TypeName, method_name~ : Binder, has_error~ : @moonbitlang/parser/basic.Location
Location?, quantifiers~ : @moonbitlang/core/list.List
List[TypeVarBinder], params~ : @moonbitlang/core/list.List
List[Parameter], ret_ty~ : Type?, err_ty~ : ErrorType, body~ : DeclBody, vis~ : Visibility, loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], doc~ : DocString) -> Impl

source

fn[T : ImplMapVisitor] visit_top_impl_relation(env : MapVisitorBase[T], self_ty~ : Type, trait_~ : TypeName, quantifiers~ : @moonbitlang/core/list.List
List[TypeVarBinder], vis~ : Visibility, attrs~ : @moonbitlang/core/list.List
List[Attribute], loc~ : @moonbitlang/parser/basic.Location
Location, doc~ : DocString) -> Impl

source

fn[T : ImplMapVisitor] visit_top_let_def(env : MapVisitorBase[T], binder~ : Binder, ty~ : Type?, expr~ : Expr, vis~ : Visibility, is_constant~ : Bool, loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], doc~ : DocString) -> Impl

source

fn[T : ImplMapVisitor] visit_top_test(env : MapVisitorBase[T], expr~ : Expr, name~ : (String, @moonbitlang/parser/basic.Location
Location)?, params~ : @moonbitlang/core/list.List
List[Parameter]?, local_types~ : @moonbitlang/core/list.List
List[LocalTypeDecl], loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], doc~ : DocString) -> Impl

source

fn[T : ImplMapVisitor] visit_top_trait(env : MapVisitorBase[T], trait_decl : TraitDecl) -> Impl

source

fn[T : ImplMapVisitor] visit_top_type_def(env : MapVisitorBase[T], type_decl : TypeDecl) -> Impl

source

fn[T : ImplMapVisitor] visit_top_view(env : MapVisitorBase[T], quantifiers~ : @moonbitlang/core/list.List
List[TypeVarBinder], source_ty~ : Type, view_type_name~ : String, view_type_loc~ : @moonbitlang/parser/basic.Location
Location, view_constrs~ : @moonbitlang/core/list.List
List[ConstrDecl], view_func_name~ : Binder, parameters~ : @moonbitlang/core/list.List
List[Parameter], params_loc~ : @moonbitlang/parser/basic.Location
Location, body~ : Expr, vis~ : Visibility, loc~ : @moonbitlang/parser/basic.Location
Location, attrs~ : @moonbitlang/core/list.List
List[Attribute], doc~ : DocString) -> Impl

source

fn[T : ImplMapVisitor] visit_try(env : MapVisitorBase[T], body~ : Expr, catch_~ : @moonbitlang/core/list.List
List[Case], catch_all~ : Bool, try_else~ : @moonbitlang/core/list.List
List[Case]?, has_try~ : Bool, try_loc~ : @moonbitlang/parser/basic.Location
Location, catch_loc~ : @moonbitlang/parser/basic.Location
Location, else_loc~ : @moonbitlang/parser/basic.Location
Location, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_try_operator(env : MapVisitorBase[T], body~ : Expr, kind~ : TryOperatorKind, try_loc~ : @moonbitlang/parser/basic.Location
Location, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_tuple(env : MapVisitorBase[T], exprs~ : @moonbitlang/core/list.List
List[Expr], loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_unary(env : MapVisitorBase[T], op~ : Var, expr~ : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

fn[T : ImplMapVisitor] visit_unit(env : MapVisitorBase[T], loc~ : @moonbitlang/parser/basic.Location
Location, faked~ : Bool) -> Expr

source

fn[T : ImplMapVisitor] visit_while(env : MapVisitorBase[T], loop_cond~ : Expr, loop_body~ : Expr, while_else~ : Expr?, label~ : Label?, loc~ : @moonbitlang/parser/basic.Location
Location) -> Expr

source

MapVisitorBase::inner

source

fn[T] MapVisitorBase::inner(self : MapVisitorBase[T]) -> T

Convert newtype to its underlying type, automatically derived.

MultiArgCase

source

pub(all) struct MultiArgCase {
  patterns : @moonbitlang/core/list.List
List[Pattern]
  guard_ : Expr?
  body : Expr
}

impl ToJson for MultiArgCase

MultilineStringElem

source

pub(all) enum MultilineStringElem {
  String(String)
  Interp(@moonbitlang/core/list.List
List[InterpElem])
}

impl ToJson for MultilineStringElem

Parameter

source

pub(all) enum Parameter {
  DiscardPositional(Type?, @moonbitlang/parser/basic.Location
Location)
  Positional(Binder, Type?)
  Labelled(Binder, Type?)
  Optional(Binder, Expr, Type?)
  QuestionOptional(Binder, Type?)
}

impl ToJson for Parameter

Pattern

source

pub(all) enum Pattern {
  Alias(Pattern, Binder, @moonbitlang/parser/basic.Location
Location)
  Any(@moonbitlang/parser/basic.Location
Location)
  Array(ArrayPatterns, @moonbitlang/parser/basic.Location
Location)
  Constant(Constant, @moonbitlang/parser/basic.Location
Location)
  Constraint(Pattern, Type, @moonbitlang/parser/basic.Location
Location)
  Constr(Constructor, @moonbitlang/core/list.List
List[ConstrPatArg]?, Bool, @moonbitlang/parser/basic.Location
Location)
  Or(Pattern, Pattern, @moonbitlang/parser/basic.Location
Location)
  Tuple(@moonbitlang/core/list.List
List[Pattern], @moonbitlang/parser/basic.Location
Location)
  Var(Binder)
  Record(@moonbitlang/core/list.List
List[FieldPat], Bool, @moonbitlang/parser/basic.Location
Location)
  Map(@moonbitlang/core/list.List
List[MapPatElem], Bool, @moonbitlang/parser/basic.Location
Location)
  Range(Pattern, Pattern, Bool, @moonbitlang/parser/basic.Location
Location)
}

impl ToJson for Pattern

Pattern::loc

source

fn Pattern::loc(self : Pattern) -> @moonbitlang/parser/basic.Location
Location

SpreadableElem

source

pub(all) enum SpreadableElem {
  Regular(Expr)
  Spread(Expr, @moonbitlang/parser/basic.Location
Location)
}

impl ToJson for SpreadableElem

StaticAssertion

source

pub(all) struct StaticAssertion {
  ty : Type
  trait_ : LongIdent
  loc : @moonbitlang/parser/basic.Location
Location
  msg : String
}

impl ToJson for StaticAssertion

TrailingMark

source

pub(all) enum TrailingMark {
  Comma
  Semi
  None
}

impl ToJson for TrailingMark

TraitDecl

source

pub(all) struct TraitDecl {
  name : Binder
  supers : @moonbitlang/core/list.List
List[TypeVarConstraint]
  methods : @moonbitlang/core/list.List
List[TraitMethodDecl]
  vis : Visibility
  loc : @moonbitlang/parser/basic.Location
Location
  attrs : @moonbitlang/core/list.List
List[Attribute]
  doc : DocString
}

impl ToJson for TraitDecl

TraitMethodDecl

source

pub(all) struct TraitMethodDecl {
  name : Binder
  has_error : @moonbitlang/parser/basic.Location
Location?
  is_async : Bool
  quantifiers : @moonbitlang/core/list.List
List[TypeVarBinder]
  params : @moonbitlang/core/list.List
List[Parameter]
  return_type : Type?
  error_type : ErrorType
  has_default : @moonbitlang/parser/basic.Location
Location?
  attrs : @moonbitlang/core/list.List
List[Attribute]
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for TraitMethodDecl

TryOperatorKind

source

pub(all) enum TryOperatorKind {
  Question
  Exclamation
}

impl ToJson for TryOperatorKind

Type

source

pub(all) enum Type {
  Any(@moonbitlang/parser/basic.Location
Location)
  Arrow(@moonbitlang/core/list.List
List[Type], Type, ErrorType, Bool, @moonbitlang/parser/basic.Location
Location)
  Tuple(@moonbitlang/core/list.List
List[Type], @moonbitlang/parser/basic.Location
Location)
  Name(ConstrId, @moonbitlang/core/list.List
List[Type], @moonbitlang/parser/basic.Location
Location)
  Option(Type, @moonbitlang/parser/basic.Location
Location, @moonbitlang/parser/basic.Location
Location)
  Object(ConstrId)
}

impl ToJson for Type

Type::loc

source

fn Type::loc(self : Type) -> @moonbitlang/parser/basic.Location
Location

TypeDecl

source

pub(all) struct TypeDecl {
  tycon : String
  tycon_loc : @moonbitlang/parser/basic.Location
Location
  params : @moonbitlang/core/list.List
List[TypeDeclBinder]
  components : TypeDesc
  attrs : @moonbitlang/core/list.List
List[Attribute]
  doc : DocString
  type_vis : Visibility
  deriving : @moonbitlang/core/list.List
List[DerivingDirective]
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for TypeDecl

TypeDeclBinder

source

pub(all) struct TypeDeclBinder {
  name : String?
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for TypeDeclBinder

TypeDesc

source

pub(all) enum TypeDesc {
  Abstract
  Extern
  Newtype(Type)
  Error(ExceptionDecl)
  Variant(@moonbitlang/core/list.List
List[ConstrDecl])
  Record(@moonbitlang/core/list.List
List[FieldDecl])
  TupleStruct(@moonbitlang/core/list.List
List[Type])
  Alias(Type)
}

impl ToJson for TypeDesc

TypeName

source

pub(all) struct TypeName {
  name : LongIdent
  is_object : Bool
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for TypeName

TypeVarBinder

source

pub(all) struct TypeVarBinder {
  name : String
  constraints : @moonbitlang/core/list.List
List[TypeVarConstraint]
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for TypeVarBinder

TypeVarConstraint

source

pub(all) struct TypeVarConstraint {
  trait_ : LongIdent
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for TypeVarConstraint

Var

source

pub(all) struct Var {
  name : LongIdent
  loc : @moonbitlang/parser/basic.Location
Location
}

impl ToJson for Var

Visibility

source

pub(all) enum Visibility {
  Default
  Pub(String?, @moonbitlang/parser/basic.Location
Location)
  Priv(@moonbitlang/parser/basic.Location
Location)
}

impl ToJson for Visibility

arrow_fn_param_to_expr

source

fn arrow_fn_param_to_expr(p : ArrowFnParam) -> Expr

Convert arrow function parameter to expression

binder_to_expr

source

fn binder_to_expr(p : Binder) -> Expr

Convert binder to expression

bracket_loc

source

fn bracket_loc(index : Expr) -> @moonbitlang/parser/basic.Location
Location

desugar_array_augmented_set

source

fn desugar_array_augmented_set(loc : @moonbitlang/parser/basic.Location
Location, op : Var, array : Expr, index : Expr, value : Expr) -> Expr

Desugar augmented array assignment

desugar_array_get

source

fn desugar_array_get(loc~ : @moonbitlang/parser/basic.Location
Location, obj : Expr, index : Expr) -> Expr

Desugar array get operation to method call

desugar_array_set

source

fn desugar_array_set(loc~ : @moonbitlang/parser/basic.Location
Location, obj : Expr, index : Expr, value : Expr) -> Expr

Desugar array set operation to method call

impls_to_json

source

fn impls_to_json(impls : @moonbitlang/core/list.List
List[Impl]) -> Json

label_to_expr

source

fn label_to_expr(loc~ : @moonbitlang/parser/basic.Location
Location, label : Label) -> Expr

Convert label to expression

label_to_pat

source

fn label_to_pat(loc~ : @moonbitlang/parser/basic.Location
Location, label : Label) -> Pattern

Convert label to pattern

loc_of_expression

source

fn loc_of_expression(expr : Expr) -> @moonbitlang/parser/basic.Location
Location

make_alias_pattern

source

fn make_alias_pattern(loc~ : @moonbitlang/parser/basic.Location
Location, pat : Pattern, alias_ : Binder) -> Pattern

Create alias pattern

make_array_expr

source

fn make_array_expr(loc~ : @moonbitlang/parser/basic.Location
Location, elems : @moonbitlang/core/list.List
List[SpreadableElem]) -> Expr

Create array expression with possible spread elements

make_arrow_fn

source

fn make_arrow_fn(params : @moonbitlang/core/list.List
List[(ArrowFnParam, Type?)], body : Expr, loc~ : @moonbitlang/parser/basic.Location
Location) -> Func

Create arrow function

make_assign_opt

source

fn make_assign_opt(loc~ : @moonbitlang/parser/basic.Location
Location, lhs : Expr, rhs : Expr) -> Expr?

Try to create assignment expression

make_attribute

source

fn make_attribute(loc~ : @moonbitlang/parser/basic.Location
Location, id~ : String, dot_id~ : String?, raw_payload~ : String) -> Attribute

make_augmented_assign_opt

source

fn make_augmented_assign_opt(loc~ : @moonbitlang/parser/basic.Location
Location, op : Var, lhs : Expr, rhs : Expr) -> Expr?

Try to create augmented assignment expression

make_constant_expr

source

fn make_constant_expr(loc~ : @moonbitlang/parser/basic.Location
Location, c : Constant) -> Expr

Create constant expression with location

make_constant_pattern

source

fn make_constant_pattern(loc~ : @moonbitlang/parser/basic.Location
Location, c : Constant) -> Pattern

Create constant pattern

make_constr_pattern

source

fn make_constr_pattern(loc~ : @moonbitlang/parser/basic.Location
Location, constr : Constructor, args : @moonbitlang/core/list.List
List[ConstrPatArg]?, is_open : Bool) -> Pattern

Create constructor pattern

make_double

source

fn make_double(f : String) -> Constant

Create double constant

make_field_def

source

fn make_field_def(loc~ : @moonbitlang/parser/basic.Location
Location, label : Label, expr : Expr, is_pun : Bool) -> FieldDef

Create field definition

make_field_pat

source

fn make_field_pat(loc~ : @moonbitlang/parser/basic.Location
Location, label : Label, pattern : Pattern, is_pun : Bool) -> FieldPat

Create field pattern

make_float

source

fn make_float(f : String) -> Constant

Create float constant

make_ident_expr

source

fn make_ident_expr(loc~ : @moonbitlang/parser/basic.Location
Location, id : Var) -> Expr

Create identifier expression

make_int

source

fn make_int(i : String) -> Constant

Parse integer literal with suffix

make_interp_expr

source

fn make_interp_expr(loc~ : @moonbitlang/parser/basic.Location
Location, c : Array[@moonbitlang/parser/tokens.InterpElem
InterpElem]) -> Expr

Create interpolation expression

make_interps

source

fn make_interps(c : Array[@moonbitlang/parser/tokens.InterpElem
InterpElem]) -> @moonbitlang/core/list.List
List[InterpElem]

Create interpolation elements from literal components

make_option_type

source

fn make_option_type(loc~ : @moonbitlang/parser/basic.Location
Location, constr_loc~ : @moonbitlang/parser/basic.Location
Location, ty : Type) -> Type

Create option type

make_record_expr

source

fn make_record_expr(loc~ : @moonbitlang/parser/basic.Location
Location, trailing~ : TrailingMark, type_name : TypeName?, fields : @moonbitlang/core/list.List
List[FieldDef]) -> Expr

Create record expression

make_tuple_expr

source

fn make_tuple_expr(loc~ : @moonbitlang/parser/basic.Location
Location, exprs : @moonbitlang/core/list.List
List[Expr]) -> Expr

Create tuple expression

make_tuple_pattern

source

fn make_tuple_pattern(loc~ : @moonbitlang/parser/basic.Location
Location, pats : @moonbitlang/core/list.List
List[Pattern]) -> Pattern

Create tuple pattern

make_tuple_type

source

fn make_tuple_type(loc~ : @moonbitlang/parser/basic.Location
Location, tys : @moonbitlang/core/list.List
List[Type]) -> Type

Create tuple type

make_uminus

source

fn make_uminus(loc~ : @moonbitlang/parser/basic.Location
Location, name : String, arg : Expr) -> Expr

Create unary minus expression

make_unot

source

fn make_unot(loc~ : @moonbitlang/parser/basic.Location
Location, arg : Expr) -> Expr

Create logical not expression

make_uplus

source

fn make_uplus(loc~ : @moonbitlang/parser/basic.Location
Location, name : String, arg : Expr) -> Expr

Create unary plus expression

no_location

source

let no_location : @moonbitlang/parser/basic.Location
Location

Source Files

Site source Report issue Packages Build queue Skills Statistics

#Impls

#Parameters

#TestName

#ImplMapVisitor

#Accessor

#AliasTarget

#ApplyAttr

#Argument

#ArgumentKind

#ArrayPattern

#ArrayPatterns

#ArrowFnParam

#Attribute

#AttributeExpr

#AttributeId

#AttributeProp

#Binder

#Case

#Constant

#ConstrDecl

#ConstrId

#ConstrName

#ConstrParam

#ConstrPatArg

#Constructor

#ConstructorExtraInfo

#DeclBody

#DerivingDirective

#DocString

#DocString::empty

#DotDotBinder

#EmbeddedCode

#ErrorType

#ExceptionDecl

#Expr

#Expr::loc

#FieldDecl

#FieldDef

#FieldName

#FieldPat

#FnKind

#FunDecl

#Func

#FuncStubs

#Group

#Hole

#Impl

#Impl::loc

#InterpElem

#InterpolationComponent

#Label

#LocalTypeDecl

#LongIdent

#LongIdent::dummy

#MapExprElem

#MapPatElem

#MapVisitorBase

#MapVisitorBase::inner

#MultiArgCase

#MultilineStringElem

#Parameter

#Pattern

#Pattern::loc

#SpreadableElem

#StaticAssertion

#TrailingMark

#TraitDecl

#TraitMethodDecl

#TryOperatorKind

#Type

#Type::loc

#TypeDecl

#TypeDeclBinder

#TypeDesc

#TypeName

#TypeVarBinder

#TypeVarConstraint

#Var

#Visibility

#arrow_fn_param_to_expr

Impls

Parameters

TestName

ImplMapVisitor

Accessor

AliasTarget

ApplyAttr

Argument

ArgumentKind

ArrayPattern

ArrayPatterns

ArrowFnParam

Attribute

AttributeExpr

AttributeId

AttributeProp

Binder

Case

Constant

ConstrDecl

ConstrId

ConstrName

ConstrParam

ConstrPatArg

Constructor

ConstructorExtraInfo

DeclBody

DerivingDirective

DocString

DocString::empty

DotDotBinder

EmbeddedCode

ErrorType

ExceptionDecl

Expr

Expr::loc

FieldDecl

FieldDef

FieldName

FieldPat

FnKind

FunDecl

Func

FuncStubs

Group

Hole

Impl

Impl::loc

InterpElem

InterpolationComponent

Label

LocalTypeDecl

LongIdent

LongIdent::dummy

MapExprElem

MapPatElem

MapVisitorBase

MapVisitorBase::inner

MultiArgCase

MultilineStringElem

Parameter

Pattern

Pattern::loc

SpreadableElem

StaticAssertion

TrailingMark

TraitDecl

TraitMethodDecl

TryOperatorKind

Type

Type::loc

TypeDecl

TypeDeclBinder

TypeDesc

TypeName

TypeVarBinder

TypeVarConstraint

Var

Visibility

arrow_fn_param_to_expr