lean_sys/primitive/
mod.rs

1/*!
2Primitive operations
3*/
4use crate::*;
5
6mod boxing;
7mod float;
8mod float32;
9mod int16;
10mod int32;
11mod int64;
12mod int8;
13mod isize_;
14mod name;
15mod st;
16mod uint16;
17mod uint32;
18mod uint64;
19mod uint8;
20mod usize_;
21pub use boxing::*;
22pub use float::*;
23pub use float32::*;
24pub use int16::*;
25pub use int32::*;
26pub use int64::*;
27pub use int8::*;
28pub use isize_::*;
29pub use name::*;
30pub use st::*;
31pub use uint16::*;
32pub use uint32::*;
33pub use uint64::*;
34pub use uint8::*;
35pub use usize_::*;
36
37#[inline(always)]
38pub fn lean_bool_to_uint8(a: u8) -> u8 {
39    a
40}
41#[inline(always)]
42pub fn lean_bool_to_uint16(a: u8) -> u16 {
43    a as u16
44}
45#[inline(always)]
46pub fn lean_bool_to_uint32(a: u8) -> u32 {
47    a as u32
48}
49#[inline(always)]
50pub fn lean_bool_to_uint64(a: u8) -> u64 {
51    a as u64
52}
53#[inline(always)]
54pub fn lean_bool_to_usize(a: u8) -> usize {
55    a as usize
56}
57#[inline(always)]
58pub fn lean_bool_to_int8(a: u8) -> u8 {
59    a as i8 as u8
60}
61#[inline(always)]
62pub fn lean_bool_to_int16(a: u8) -> u16 {
63    a as i16 as u16
64}
65#[inline(always)]
66pub fn lean_bool_to_int32(a: u8) -> u32 {
67    a as i32 as u32
68}
69#[inline(always)]
70pub fn lean_bool_to_int64(a: u8) -> u64 {
71    a as i64 as u64
72}
73#[inline(always)]
74pub fn lean_bool_to_isize(a: u8) -> usize {
75    a as isize as usize
76}
77
78/** pointer address unsafe primitive  */
79#[inline(always)]
80pub fn lean_ptr_addr(a: b_lean_obj_arg) -> usize {
81    a as usize
82}
lean_sys/primitive/mod.rs

lean_sys/primitive/
mod.rs
