Warplib import

cairo1/darwin_arm64/corelib/src/lib.cairo

@@ -413,3 +413,7 @@ mod test;
 // Modules for testing only.
 mod testing;
 mod starknet_testing;
+
+mod warplib;
+use warplib::warp_add;
+use warplib::integer;

cairo1/darwin_arm64/corelib/src/warplib.cairo

@@ -0,0 +1,4 @@
+mod add;
+use add::warp_add;
+use integer::get_u128_try_from_felt_result;
+use integer::u256_from_felts;

cairo1/darwin_arm64/corelib/src/warplib/add.cairo

@@ -0,0 +1,6 @@
+
+use integer::u128_from_felt;
+
+fn warp_add(num: u128, num2: felt) -> u128 {
+    num + u128_from_felt(num2)
+}

cairo1/darwin_arm64/corelib/src/warplib/integer.cairo

@@ -0,0 +1,15 @@
+use integer::u128_try_from_felt;
+use option::OptionTrait;
+
+fn u256_from_felts(low_felt: felt, high_felt: felt) -> u256 {
+    let low_u128: u128 = get_u128_try_from_felt_result(low_felt);
+    let high_u128: u128 = get_u128_try_from_felt_result(high_felt);
+    return u256{ low: low_u128, high: high_u128 };
+}
+
+fn get_u128_try_from_felt_result(value: felt) -> u128 {
+    let resp = u128_try_from_felt(value);
+    assert(resp.is_some(), 'Felts too large for u256');
+    return resp.unwrap();
+}
+

cairo1/linux_x64/corelib/src/lib.cairo

@@ -410,3 +410,7 @@ use zeroable::Zeroable;
 
 #[cfg(test)]
 mod test;
+
+mod warplib;
+use warplib::warp_add;
+use warplib::integer;

cairo1/linux_x64/corelib/src/warplib.cairo

@@ -0,0 +1,4 @@
+mod add;
+use add::warp_add;
+use integer::get_u128_try_from_felt_result;
+use integer::u256_from_felts;

cairo1/linux_x64/corelib/src/warplib/add.cairo

@@ -0,0 +1,6 @@
+
+use integer::u128_from_felt;
+
+fn warp_add(num: u128, num2: felt) -> u128 {
+    num + u128_from_felt(num2)
+}

cairo1/linux_x64/corelib/src/warplib/integer.cairo

@@ -0,0 +1,15 @@
+use integer::u128_try_from_felt;
+use option::OptionTrait;
+
+fn u256_from_felts(low_felt: felt, high_felt: felt) -> u256 {
+    let low_u128: u128 = get_u128_try_from_felt_result(low_felt);
+    let high_u128: u128 = get_u128_try_from_felt_result(high_felt);
+    return u256{ low: low_u128, high: high_u128 };
+}
+
+fn get_u128_try_from_felt_result(value: felt) -> u128 {
+    let resp = u128_try_from_felt(value);
+    assert(resp.is_some(), 'Felts too large for u256');
+    return resp.unwrap();
+}
+

test.cairo

@@ -0,0 +1,12 @@
+#[contract]
+
+mod co{
+    use integer::u128_to_felt;
+    use warplib::warp_add;
+
+    #[view]
+    fn f(num: u128){
+        let x = warp_add(num, 1);
+    }
+}
+