Functions — github.com/digama0/lean-sys

hub / github.com/digama0/lean-sys / functions

Functions538 in github.com/digama0/lean-sys

⨍ Functions 538◇ Types & classes 15

Functionlean_alloc_closure

( fun: *mut c_void, arity: c_uint, num_fixed: c_uint, )

src/closure.rs:25

Functionlean_alloc_string

(size: usize, capacity: usize, len: usize)

src/string.rs:5

Functionlean_array_byte_size

(o: b_lean_obj_arg)

src/array/low_level.rs:26

Functionlean_array_data_byte_size

(o: b_lean_obj_arg)

src/array/low_level.rs:32

Functionlean_array_fget

(a: b_lean_obj_arg, i: b_lean_obj_arg)

src/array/high_level.rs:37

Functionlean_array_fget_borrowed

(a: b_lean_obj_arg, i: b_lean_obj_arg)

src/array/high_level.rs:42

Functionlean_array_fset

( a: lean_obj_arg, i: b_lean_obj_arg, v: lean_obj_arg, )

src/array/high_level.rs:110

Functionlean_array_fswap

( a: lean_obj_arg, i: b_lean_obj_arg, j: b_lean_obj_arg, )

src/array/high_level.rs:156

Functionlean_array_get

( def_val: lean_obj_arg, a: b_lean_obj_arg, i: b_lean_obj_arg, )

src/array/high_level.rs:47

Functionlean_array_get_borrowed

( def_val: lean_obj_arg, a: b_lean_obj_arg, i: b_lean_obj_arg, )

src/array/high_level.rs:67

Functionlean_array_get_size

(a: b_lean_obj_arg)

src/array/high_level.rs:12

Functionlean_array_pop

(a: lean_obj_arg)

src/array/high_level.rs:134

Functionlean_array_set

( a: lean_obj_arg, i: b_lean_obj_arg, v: lean_obj_arg, )

src/array/high_level.rs:119

Functionlean_array_set_core

(o: u_lean_obj_arg, i: usize, v: lean_obj_arg)

src/array/low_level.rs:56

Functionlean_array_set_size

(o: u_lean_obj_arg, sz: usize)

src/array/low_level.rs:42

Functionlean_array_swap

( a: lean_obj_arg, i: b_lean_obj_arg, j: b_lean_obj_arg, )

src/array/high_level.rs:165

Functionlean_array_sz

(a: lean_obj_arg)

src/array/high_level.rs:5

Functionlean_bool_to_int16

(a: u8)

src/primitive/mod.rs:62

Functionlean_bool_to_int32

(a: u8)

src/primitive/mod.rs:66

Functionlean_bool_to_int64

(a: u8)

src/primitive/mod.rs:70

Functionlean_bool_to_int8

(a: u8)

src/primitive/mod.rs:58

Functionlean_bool_to_isize

(a: u8)

src/primitive/mod.rs:74

Functionlean_bool_to_uint16

(a: u8)

src/primitive/mod.rs:42

Functionlean_bool_to_uint32

(a: u8)

src/primitive/mod.rs:46

Functionlean_bool_to_uint64

(a: u8)

src/primitive/mod.rs:50

Functionlean_bool_to_uint8

(a: u8)

src/primitive/mod.rs:38

Functionlean_bool_to_usize

(a: u8)

src/primitive/mod.rs:54

Functionlean_box_float

(v: f64)

src/primitive/boxing.rs:53

Functionlean_box_float32

(v: f32)

src/primitive/boxing.rs:65

Functionlean_box_uint32

(v: u32)

src/primitive/boxing.rs:5

Functionlean_box_uint64

(v: u64)

src/primitive/boxing.rs:29

Functionlean_box_usize

(v: usize)

src/primitive/boxing.rs:41

Functionlean_byte_array_fget

(a: b_lean_obj_arg, i: b_lean_obj_arg)

src/sarray/byte.rs:39

Functionlean_byte_array_fset

(a: lean_obj_arg, i: b_lean_obj_arg, v: u8)

src/sarray/byte.rs:70

Functionlean_byte_array_get

(a: b_lean_obj_arg, i: b_lean_obj_arg)

src/sarray/byte.rs:24

Functionlean_byte_array_set

(a: lean_obj_arg, i: b_lean_obj_arg, v: u8)

src/sarray/byte.rs:56

Functionlean_byte_array_size

(a: b_lean_obj_arg)

src/sarray/byte.rs:13

Functionlean_char_default_value

()

src/string.rs:27

Functionlean_closure_arg_cptr

(o: *mut lean_object)

src/closure.rs:20

Functionlean_closure_arity

(o: *mut lean_object)

src/closure.rs:10

Functionlean_closure_fun

(o: *mut lean_object)

src/closure.rs:5

Functionlean_closure_get

(o: b_lean_obj_arg, i: c_uint)

src/closure.rs:44

Functionlean_closure_num_fixed

(o: *mut lean_object)

src/closure.rs:15

Functionlean_closure_set

(o: u_lean_obj_arg, i: c_uint, a: lean_obj_arg)

src/closure.rs:51

Functionlean_ctor_get_uint16

(o: b_lean_obj_arg, offset: c_uint)

src/constructor.rs:81

Functionlean_ctor_get_uint8

(o: b_lean_obj_arg, offset: c_uint)

src/constructor.rs:75

Functionlean_ctor_release

(o: b_lean_obj_arg, i: c_uint)

src/constructor.rs:61

Functionlean_ctor_scalar_cptr

(o: *mut lean_object)

src/constructor.rs:17

Functionlean_ctor_set_tag

(o: b_lean_obj_arg, new_tag: u8)

src/constructor.rs:55

Functionlean_ctor_set_uint16

(o: b_lean_obj_arg, offset: c_uint, v: u16)

src/constructor.rs:125

Functionlean_ctor_set_uint8

(o: b_lean_obj_arg, offset: c_uint, v: u8)

src/constructor.rs:117

Functionlean_float32_add

(a: f32, b: f32)

src/primitive/float32.rs:43

Functionlean_float32_beq

(a: f32, b: f32)

src/primitive/float32.rs:58

Functionlean_float32_decLe

(a: f32, b: f32)

src/primitive/float32.rs:61

Functionlean_float32_decLt

(a: f32, b: f32)

src/primitive/float32.rs:64

Functionlean_float32_div

(a: f32, b: f32)

src/primitive/float32.rs:52

Functionlean_float32_mul

(a: f32, b: f32)

src/primitive/float32.rs:49

Functionlean_float32_negate

(a: f32)

src/primitive/float32.rs:55

Functionlean_float32_sub

(a: f32, b: f32)

src/primitive/float32.rs:46

Functionlean_float32_to_float

(a: f32)

src/primitive/float32.rs:101

Functionlean_float32_to_int16

(a: f32)

src/primitive/float32.rs:27

Functionlean_float32_to_int32

(a: f32)

src/primitive/float32.rs:31

Functionlean_float32_to_int64

(a: f32)

src/primitive/float32.rs:35

Functionlean_float32_to_int8

(a: f32)

src/primitive/float32.rs:23

Functionlean_float32_to_isize

(a: f32)

src/primitive/float32.rs:39

Functionlean_float32_to_uint16

(a: f32)

src/primitive/float32.rs:7

Functionlean_float32_to_uint32

(a: f32)

src/primitive/float32.rs:11

Functionlean_float32_to_uint64

(a: f32)

src/primitive/float32.rs:15

Functionlean_float32_to_uint8

(a: f32)

src/primitive/float32.rs:3

Functionlean_float32_to_usize

(a: f32)

src/primitive/float32.rs:19

Functionlean_float_add

(a: f64, b: f64)

src/primitive/float.rs:43

Functionlean_float_array_fget

(a: b_lean_obj_arg, i: b_lean_obj_arg)

src/sarray/float.rs:48

Functionlean_float_array_fset

( a: lean_obj_arg, i: b_lean_obj_arg, v: f64, )

src/sarray/float.rs:79

Functionlean_float_array_get

(a: b_lean_obj_arg, i: b_lean_obj_arg)

src/sarray/float.rs:33

Functionlean_float_array_set

(a: lean_obj_arg, i: b_lean_obj_arg, v: f64)

src/sarray/float.rs:65

Functionlean_float_array_size

(a: b_lean_obj_arg)

src/sarray/float.rs:17

Functionlean_float_beq

(a: f64, b: f64)

src/primitive/float.rs:58

Functionlean_float_decLe

(a: f64, b: f64)

src/primitive/float.rs:61

Functionlean_float_decLt

(a: f64, b: f64)

src/primitive/float.rs:64

Functionlean_float_div

(a: f64, b: f64)

src/primitive/float.rs:52

Functionlean_float_mul

(a: f64, b: f64)

src/primitive/float.rs:49

Functionlean_float_negate

(a: f64)

src/primitive/float.rs:55

Functionlean_float_sub

(a: f64, b: f64)

src/primitive/float.rs:46

Functionlean_float_to_float32

(a: f64)

src/primitive/float32.rs:98

Functionlean_float_to_int16

(a: f64)

src/primitive/float.rs:27

Functionlean_float_to_int32

(a: f64)

src/primitive/float.rs:31

Functionlean_float_to_int64

(a: f64)

src/primitive/float.rs:35

Functionlean_float_to_int8

(a: f64)

src/primitive/float.rs:23

Functionlean_float_to_isize

(a: f64)

src/primitive/float.rs:39

Functionlean_float_to_uint16

(a: f64)

src/primitive/float.rs:7

Functionlean_float_to_uint32

(a: f64)

src/primitive/float.rs:11

Functionlean_float_to_uint64

(a: f64)

src/primitive/float.rs:15

Functionlean_float_to_uint8

(a: f64)

src/primitive/float.rs:3

Functionlean_float_to_usize

(a: f64)

src/primitive/float.rs:19

Functionlean_free_small_object

(o: *mut lean_object)

src/lib.rs:234

Functionlean_get_external_data

(o: *mut lean_object)

src/external.rs:22

Functionlean_has_rc

(o: *const lean_object)

src/lib.rs:285

Functionlean_inc_n

(o: *mut lean_object, n: usize)

src/lib.rs:325

Functionlean_int16_abs

(a: u16)

src/primitive/int16.rs:97

Functionlean_int16_add

(a1: u16, a2: u16)

src/primitive/int16.rs:32

← previous next →101–200 of 538, ranked by callers