Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/FrankBro/ordo
/ functions
Functions
232 in github.com/FrankBro/ordo
⨍
Functions
232
◇
Types & classes
40
↓ 92 callers
Function
getObject
(idx)
docs/web-3e88601d133d91f8.js:36
↓ 75 callers
Function
pass
(expr_str: &str, expected: &str)
ordo/src/tests/infer_tests.rs:4
↓ 63 callers
Method
matches
(&mut self, token: Token)
ordo/src/parser.rs:90
↓ 54 callers
Method
map
(self, f: F)
ordo/src/expr.rs:70
↓ 36 callers
Function
var
(var: &str)
ordo/src/tests/parse_only.rs:31
↓ 35 callers
Function
addHeapObject
(obj)
docs/web-3e88601d133d91f8.js:27
↓ 35 callers
Method
ty
(&self)
ordo/src/expr.rs:167
↓ 32 callers
Function
pass
(source: &str, expected: ExprOnly)
ordo/src/tests/parse_only.rs:118
↓ 29 callers
Function
expr
(expr: Expr<TypeContext>, ty: Type)
ordo/src/tests/typed_exprs.rs:16
↓ 26 callers
Method
unify
(&mut self, ty1: &Type, ty2: &Type)
ordo/src/infer.rs:265
↓ 25 callers
Function
assume
(env: &mut Env, name: &str, sig: &str)
ordo/src/core.rs:4
↓ 24 callers
Method
expect
(&mut self, expected: Token, context: &'static str)
ordo/src/parser.rs:134
↓ 24 callers
Method
with
(self, position: PositionContext, ty: Type)
ordo/src/expr.rs:313
↓ 22 callers
Method
expr_inner
(&mut self, min_bp: u8)
ordo/src/parser.rs:541
↓ 22 callers
Method
infer
(&mut self, expr: ExprAt)
ordo/src/infer.rs:593
↓ 22 callers
Method
ty_to_string
(&self, ty: &Type)
ordo/src/infer.rs:994
↓ 20 callers
Function
fail
(expr_str: &str, expected: Error)
ordo/src/tests/infer_tests.rs:17
↓ 20 callers
Function
getInt32Memory0
()
docs/web-3e88601d133d91f8.js:172
↓ 18 callers
Function
int
(i: i64)
ordo/src/tests/parse_only.rs:27
↓ 17 callers
Function
getStringFromWasm0
(ptr, len)
docs/web-3e88601d133d91f8.js:16
↓ 16 callers
Function
record
(labels: Vec<(&str, ExprOnly)>, r: ExprOnly)
ordo/src/tests/parse_only.rs:59
↓ 15 callers
Method
expected
(&mut self, tokens: Vec<Token>, context: &'static str)
ordo/src/parser.rs:130
↓ 15 callers
Function
handleError
(f, args)
docs/web-3e88601d133d91f8.js:268
↓ 15 callers
Function
isLikeNone
(x)
docs/web-3e88601d133d91f8.js:244
↓ 12 callers
Function
empty
()
ordo/src/tests/parse_only.rs:47
↓ 12 callers
Function
fail
(source: &str, expected: Error)
ordo/src/tests/parse_only.rs:125
↓ 12 callers
Function
let_
(var: PatternOnly, value: ExprOnly, body: ExprOnly)
ordo/src/tests/parse_only.rs:43
↓ 11 callers
Method
expect_ident
(&mut self, context: &'static str)
ordo/src/parser.rs:143
↓ 11 callers
Method
get_type_var
(&self, id: Id)
ordo/src/infer.rs:127
↓ 10 callers
Function
loc
(sl: usize, sc: usize, el: usize, ec: usize)
ordo/src/tests/parse_at.rs:39
↓ 10 callers
Method
new_unbound
(&mut self, level: Level)
ordo/src/infer.rs:103
↓ 9 callers
Method
new_unbound_row
(&mut self, level: Level, constraints: Constraints)
ordo/src/infer.rs:109
↓ 9 callers
Function
pvar
(var: &str)
ordo/src/tests/parse_only.rs:11
↓ 8 callers
Method
binop_expr
(&mut self, at: At<()>, op: IntBinOp, lhs: ExprAt, r_bp: u8)
ordo/src/parser.rs:498
↓ 8 callers
Function
bool
(b: bool)
ordo/src/tests/parse_only.rs:23
↓ 8 callers
Function
call
(fn_expr: ExprOnly, args: Vec<ExprOnly>)
ordo/src/tests/parse_only.rs:35
↓ 7 callers
Method
advance
(&mut self)
ordo/src/parser.rs:125
↓ 7 callers
Method
cannot_unify
(&self, ty1: &Type, ty2: &Type)
ordo/src/infer.rs:191
↓ 7 callers
Function
int
(i: i64)
ordo/src/tests/typed_exprs.rs:22
↓ 7 callers
Function
passStringToWasm0
(arg, malloc, realloc)
docs/web-3e88601d133d91f8.js:132
↓ 7 callers
Method
ty_inner
(&mut self)
ordo/src/parser.rs:676
↓ 6 callers
Method
eval
(&mut self, expr: ExprTypedAt)
ordo/src/eval.rs:166
↓ 6 callers
Function
fun
(args: Vec<PatternOnly>, body: ExprOnly)
ordo/src/tests/parse_only.rs:39
↓ 6 callers
Method
link
(&mut self, id: Id, ty: Type)
ordo/src/infer.rs:135
↓ 6 callers
Function
make_env
()
ordo/src/core.rs:10
↓ 6 callers
Method
match_row_ty
(&self, ty: &Type)
ordo/src/infer.rs:352
↓ 6 callers
Method
replace_ty_constants_with_vars
(&mut self, forall: ForAll, mut ty: Type)
ordo/src/infer.rs:978
↓ 6 callers
Function
var
(name: &str, ty: Type)
ordo/src/tests/typed_exprs.rs:26
↓ 5 callers
Method
at
(&self, value: T)
ordo/src/parser.rs:69
↓ 5 callers
Function
int_at
(i: i64, context: PositionContext)
ordo/src/tests/parse_at.rs:6
↓ 5 callers
Method
matches_ident
(&mut self)
ordo/src/parser.rs:99
↓ 5 callers
Function
pass
(source: &str, expected: T)
ordo/src/tests/emit_tests.rs:9
↓ 5 callers
Function
pass
(source: &str, source_ty: &str, expected_val: Value)
ordo/src/tests/unwraps.rs:44
↓ 5 callers
Function
pass_at
(source: &str, expected: ExprAt)
ordo/src/tests/parse_at.rs:34
↓ 5 callers
Function
pass_repl
(source: &str, expected: ExprOnly)
ordo/src/tests/parse_only.rs:131
↓ 5 callers
Method
span_with
(self, next: At<N>, value: V)
ordo/src/expr.rs:80
↓ 4 callers
Function
fail_ty
(source_expr: &str, expected: infer::Error)
ordo/src/tests/ifs.rs:26
↓ 4 callers
Function
getUint8Memory0
()
docs/web-3e88601d133d91f8.js:9
↓ 4 callers
Method
get_mut_type_var
(&mut self, id: Id)
ordo/src/infer.rs:131
↓ 4 callers
Method
instantiate
(&mut self, level: Level, ty: Type)
ordo/src/infer.rs:479
↓ 4 callers
Method
occurs_check_adjust_levels
(&mut self, id: Id, level: Level, ty: &Type)
ordo/src/infer.rs:141
↓ 4 callers
Function
pass
(source_expr: &str, source_ty: &str, expected_val: Value)
ordo/src/tests/ifs.rs:10
↓ 4 callers
Function
plus
(lhs: ExprOnly, rhs: ExprOnly)
ordo/src/tests/parse_only.rs:67
↓ 4 callers
Method
ty
(&self)
ordo/src/emit.rs:65
↓ 3 callers
Method
as_bool
(self)
ordo/src/eval.rs:110
↓ 3 callers
Method
as_record
(self)
ordo/src/eval.rs:131
↓ 3 callers
Function
equalequal
(lhs: ExprOnly, rhs: ExprOnly)
ordo/src/tests/parse_only.rs:87
↓ 3 callers
Method
insert_var
(&mut self, name: String, ty: Type)
ordo/src/infer.rs:589
↓ 3 callers
Method
output_ty
(&self)
ordo/src/expr.rs:39
↓ 3 callers
Function
pass
(expr_str: &str, expected: &str)
ordo/src/tests/variant_tests.rs:4
↓ 3 callers
Method
pattern_expr
(&mut self)
ordo/src/parser.rs:209
↓ 3 callers
Function
precord
(labels: Vec<(&str, PatternOnly)>)
ordo/src/tests/parse_only.rs:15
↓ 3 callers
Method
process
(&mut self, source: &str)
ordo/src/env.rs:65
↓ 3 callers
Function
repl
()
ordo/src/tests/parse_only.rs:348
↓ 3 callers
Function
restrict
(r: ExprOnly, label: &str)
ordo/src/tests/parse_only.rs:55
↓ 3 callers
Method
strip_context
(self)
ordo/src/expr.rs:151
↓ 3 callers
Function
takeObject
(idx)
docs/web-3e88601d133d91f8.js:44
↓ 3 callers
Function
var_at
(var: &str, context: PositionContext)
ordo/src/tests/parse_at.rs:13
↓ 2 callers
Function
__wbg_finalize_init
(instance, module)
docs/web-3e88601d133d91f8.js:668
↓ 2 callers
Function
__wbg_get_imports
()
docs/web-3e88601d133d91f8.js:307
↓ 2 callers
Function
__wbg_init_memory
(imports, maybe_memory)
docs/web-3e88601d133d91f8.js:664
↓ 2 callers
Method
add
(&mut self, source: &str, source_ty: &str)
ordo/src/tests/unwraps.rs:30
↓ 2 callers
Method
apply
(&mut self, args: Vec<Value>)
ordo/src/eval.rs:61
↓ 2 callers
Method
as_int
(self)
ordo/src/eval.rs:117
↓ 2 callers
Method
check
(&mut self, token: Token)
ordo/src/parser.rs:86
↓ 2 callers
Method
eval_inner
(&mut self, expr: ExprTypedAt)
ordo/src/eval.rs:199
↓ 2 callers
Method
eval_pattern
(&mut self, pattern: PatternTypedAt, value: Value)
ordo/src/eval.rs:171
↓ 2 callers
Method
find_missing
( &mut self, labels1: &BTreeMap<String, Type>, labels2: &BTreeMap<String, Type>, )
ordo/src/infer.rs:373
↓ 2 callers
Method
generalize
(&mut self, level: Level, ty: &Type)
ordo/src/infer.rs:435
↓ 2 callers
Function
if_
( if_expr: ExprOnly, if_body: ExprOnly, elifs: Vec<(ExprOnly, ExprOnly)>, else_body: ExprOnly,
ordo/src/tests/parse_only.rs:108
↓ 2 callers
Method
infer_cases
( &mut self, level: Level, ret: &Type, rest: Type, cases: Vec<(String,
ordo/src/infer.rs:955
↓ 2 callers
Method
infer_inner
(&mut self, level: Level, expr: ExprAt)
ordo/src/infer.rs:762
↓ 2 callers
Method
inject_constraints
( &mut self, is_variant: bool, constraints: Constraints, ty: &Type, )
ordo/src/infer.rs:197
↓ 2 callers
Function
let_
(pattern: ExprTyped, value: ExprTyped, body: ExprTyped)
ordo/src/tests/typed_exprs.rs:30
↓ 2 callers
Method
new_generic_row
(&mut self, constraints: Constraints)
ordo/src/infer.rs:121
↓ 2 callers
Function
pass
(expr_str: &str, expected: ExprTyped)
ordo/src/tests/typed_exprs.rs:8
↓ 2 callers
Method
pattern_list
(&mut self)
ordo/src/parser.rs:227
↓ 2 callers
Function
print_ordo
()
cli/src/main.rs:8
↓ 2 callers
Method
real_ty
(&self, ty: Type)
ordo/src/infer.rs:1033
↓ 2 callers
Function
render_input
(input: &String, ty: &String, val: &String)
web/src/main.rs:104
next →
1–100 of 232, ranked by callers