Functions — github.com/KeenS/webml

Functiontest_if

()

webml-test/src/lib.rs:162

Functiontest_infix

()

webml-test/src/lib.rs:169

Functiontest_int_list

()

webml-test/src/lib.rs:176

Functiontest_integer_case

()

webml-test/src/lib.rs:183

Functiontest_multi_clause_fun

()

webml-test/src/lib.rs:190

Functiontest_nested_datatype_pattern

()

webml-test/src/lib.rs:197

Functiontest_nested_pattern_in_val

()

webml-test/src/lib.rs:204

Functiontest_non_alphanumeric_identifier

()

webml-test/src/lib.rs:211

Functiontest_overloaded_add

()

webml-test/src/lib.rs:220

Functiontest_pattern_in_funarg

()

webml-test/src/lib.rs:227

Functiontest_prelude

()

webml-test/src/lib.rs:234

Functiontest_random_expressions

()

webml-test/src/lib.rs:241

Functiontest_tuple_pattern

()

webml-test/src/lib.rs:248

Functiontest_variable_scope

()

webml-test/src/lib.rs:255

Methodtrans

( &mut self, inputs: Vec<String>, _: &Config, )

src/parser.rs:1574

Methodtrans

( &mut self, mir::Context(symbol_table, mir): mir::Context, _: &Config, )

src/lir/mir2lir.rs:561

Methodtrans

( &mut self, lir::Context(extern_types, lir): lir::Context, _: &Config, )

src/backend/wasm.rs:1046

Methodtrans

(&mut self, context: UntypedCoreContext, _: &Config)

src/ast/collect_langitems.rs:62

Methodtrans

(&mut self, context: TypedCoreContext, _: &Config)

src/ast/case_simplify.rs:863

Methodtrans

(&mut self, ast: UntypedAst, _: &Config)

src/ast/desugar.rs:608

Methodtrans

( &mut self, context: UntypedCoreContext, _: &Config, )

src/ast/typing.rs:663

Methodtrans

( &mut self, context: UntypedCoreContext, _: &Config, )

src/ast/var2constructor.rs:91

Methodtrans

(&mut self, context: TypedCoreContext, _: &Config)

src/ast/resolve_overload.rs:157

Methodtrans

( &mut self, mut ast: UntypedCore, _: &Config, )

src/ast/rename.rs:452

Methodtrans

( &mut self, Context(symbol_table, hir): Context, _: &Config, )

src/hir/unnest_func.rs:435

Methodtrans

( &mut self, Context(symbol_table, hir): Context, _: &Config, )

src/hir/flat_let.rs:130

Methodtrans

( &mut self, Context(symbol_table, hir): Context, _: &Config, )

src/hir/flat_expr.rs:237

Methodtrans

( &mut self, Context(symbol_table, hir): Context, _: &Config, )

src/hir/simplify.rs:282

Methodtrans

( &mut self, Context(symbol_table, mut hir): Context, _: &Config, )

src/hir/force_closure.rs:237

Methodtrans

( &mut self, context: ast::TypedCoreContext, _: &Config, )

src/hir/ast2hir.rs:419

Methodtrans

( &mut self, Context(symbol_table, hir): Context, _: &Config, )

src/hir/constructor2enum.rs:290

Methodtrans

( &mut self, Context(symbol_table, mir): Context, _: &Config, )

src/mir/unalias.rs:114

Methodtrans

( &mut self, hir::Context(symbol_table, hir): hir::Context, _: &Config, )

src/mir/hir2mir.rs:574

Methodtrans

( &mut self, Context(symbol_table, mir): Context, _: &Config, )

src/mir/block_arrange.rs:49

Methodtransform_app

(&mut self, ty: HTy, fun: Box<Expr>, arg: Box<Expr>)

src/hir/flat_expr.rs:123

Methodtransform_app

(&mut self, ty: HTy, fun: Box<Expr>, arg: Box<Expr>)

src/hir/simplify.rs:110

Methodtransform_app

(&mut self, ty: HTy, fun: Box<Expr>, arg: Box<Expr>)

src/hir/constructor2enum.rs:169

Methodtransform_ast

(&mut self, ast: Core<Ty>)

src/ast/util.rs:182

Methodtransform_binds

(&mut self, ty: HTy, bind: Box<Val>, ret: Box<Expr>)

src/hir/flat_let.rs:100

Methodtransform_binds

(&mut self, ty: HTy, mut bind: Box<Val>, ret: Box<Expr>)

src/hir/flat_expr.rs:45

Methodtransform_binds

(&mut self, ty: HTy, bind: Box<Val>, ret: Box<Expr>)

src/hir/simplify.rs:42

Methodtransform_binds

(&mut self, ty: HTy, bind: Box<Val>, ret: Box<Expr>)

src/hir/constructor2enum.rs:83

Methodtransform_builtin_call

(&mut self, ty: HTy, fun: BIF, args: Vec<Expr>)

src/hir/flat_expr.rs:100

Methodtransform_builtin_call

(&mut self, ty: HTy, fun: BIF, args: Vec<Expr>)

src/hir/constructor2enum.rs:137

Methodtransform_builtincall

( &mut self, span: Span, mut fun: BIF, args: Vec<TypedCoreExpr>, )

src/ast/resolve_overload.rs:26

Methodtransform_case

(&mut self, ty: HTy, expr: Box<Expr>, arms: Vec<(Pattern, Expr)>)

src/hir/flat_expr.rs:142

Methodtransform_case

(&mut self, ty: HTy, cond: Box<Expr>, mut arms: Vec<(Pattern, Expr)>)

src/hir/simplify.rs:141

Methodtransform_case

(&mut self, ty: HTy, cond: Box<Expr>, arms: Vec<(Pattern, Expr)>)

src/hir/constructor2enum.rs:178

Methodtransform_closure

( &mut self, envs: Vec<(HTy, Symbol)>, param_ty: HTy, body_ty: HTy, fn

src/hir/flat_expr.rs:80

Methodtransform_closure

( &mut self, envs: Vec<(HTy, Symbol)>, param_ty: HTy, body_ty: HTy, fn

src/hir/simplify.rs:86

Methodtransform_closure

( &mut self, envs: Vec<(HTy, Symbol)>, param_ty: HTy, body_ty: HTy, fn

src/hir/constructor2enum.rs:115

Methodtransform_constructor

( &mut self, ty: HTy, arg: Option<Box<Expr>>, descriminant: u32, )

src/hir/flat_expr.rs:174

Methodtransform_constructor

( &mut self, ty: HTy, arg: Option<Box<Expr>>, descriminant: u32, )

src/hir/constructor2enum.rs:249

Methodtransform_extern_call

( &mut self, ty: HTy, module: String, fun: String, args: Vec<Expr>,

src/hir/constructor2enum.rs:150

Methodtransform_fun

( &mut self, param: (HTy, Symbol), body_ty: HTy, body: Box<Expr>, capt

src/hir/flat_expr.rs:59

Methodtransform_fun

( &mut self, param: (HTy, Symbol), body_ty: HTy, body: Box<Expr>, capt

src/hir/constructor2enum.rs:92

Methodtransform_lit

(&mut self, ty: HTy, value: Literal)

src/hir/constructor2enum.rs:278

Methodtransform_pat_variable

(&mut self, _: Span, name: Symbol)

src/ast/var2constructor.rs:79

Methodtransform_pat_wildcard

(&mut self, _: Span)

src/ast/case_simplify.rs:852

Methodtransform_proj

(&mut self, ty: HTy, index: u32, tuple: Box<Expr>)

src/hir/simplify.rs:203

Methodtransform_proj

(&mut self, ty: HTy, index: u32, tuple: Box<Expr>)

src/hir/constructor2enum.rs:240

Methodtransform_sym

(&mut self, ty: HTy, name: Symbol)

src/hir/simplify.rs:262

Methodtransform_sym

(&mut self, ty: HTy, name: Symbol)

src/hir/constructor2enum.rs:273

Methodtransform_symbol

(&mut self, span: Span, name: Symbol)

src/ast/var2constructor.rs:56

Methodtransform_symbol

(&mut self, span: Span, name: Symbol)

src/ast/rename.rs:387

Methodtransform_tuple

(&mut self, tys: Vec<HTy>, tuple: Vec<Expr>)

src/hir/flat_expr.rs:210

Methodtransform_tuple

(&mut self, tys: Vec<HTy>, tuple: Vec<Expr>)

src/hir/constructor2enum.rs:231

Methodtransform_val

( &mut self, rec: bool, pattern: TypedCorePattern, expr: TypedCoreExpr, )

src/ast/case_simplify.rs:733

Methodtraverse_binds

( &mut self, _: Span, binds: &mut Vec<CoreDeclaration<Ty>>, ret: &mut Box<Core

src/ast/rename.rs:233

Methodtraverse_case

( &mut self, _: Span, expr: &mut Box<CoreExpr<Ty>>, arms: &mut Vec<(CorePatter

src/ast/rename.rs:252

Methodtraverse_constructor

( &mut self, _: Span, arg: &mut Option<Box<CoreExpr<Ty>>>, name: &mut Symbol,

src/ast/rename.rs:266

Methodtraverse_datatype

( &'b mut self, name: &mut Symbol, constructors: &mut Vec<(Symbol, Option<Type>)>,

src/ast/rename.rs:169

Methodtraverse_fn

(&mut self, _: Span, param: &mut Symbol, body: &mut Box<CoreExpr<Ty>>)

src/ast/rename.rs:246

Methodtraverse_langitem

(&mut self, name: &mut LangItem, decl: &mut UntypedCoreDeclaration)

src/ast/collect_langitems.rs:24

Methodtraverse_local

( &mut self, binds: &mut Vec<CoreDeclaration<Ty>>, body: &mut Vec<CoreDeclaration<Ty>>

src/ast/rename.rs:206

Methodtraverse_pat_constructor

( &mut self, _: Span, name: &mut Symbol, arg: &mut Option<Box<CorePattern<Ty>>

src/ast/rename.rs:290

Methodtraverse_pat_tuple

(&mut self, _: Span, tuple: &mut Vec<CorePattern<Ty>>)

src/ast/rename.rs:310

Methodtraverse_pat_variable

(&mut self, _: Span, name: &mut Symbol)

src/ast/rename.rs:302

Methodtraverse_string

(&mut self, _: Span, _value: &mut Vec<u32>)

src/ast/util.rs:151

Methodtraverse_sym

(&mut self, _: Span, name: &mut Symbol)

src/ast/rename.rs:282

Methodtraverse_val

( &'b mut self, rec: &mut bool, pattern: &mut CorePattern<Ty>, expr: &mut Core

src/ast/rename.rs:191

Methodtraverse_val

(&mut self, val: &mut Val)

src/hir/force_closure.rs:170

Methodtry_unify_with

( &mut self, id1: NodeId, id2: NodeId, try_unify: impl FnOnce(&mut Self, T, T)

src/unification_pool.rs:84

Methodunit

()

src/ast/mod.rs:578

Functions684 in github.com/KeenS/webml