Add integer types

Author: iamalwaysuncomfortable

wasm/src/types/mod.rs

@@ -23,6 +23,9 @@ pub use field::Field;
 pub mod group;
 pub use group::Group;
 
+pub mod integer;
+pub use integer::{I8, I16, I32, I64, I128, U8, U16, U32, U64, U128};
+
 mod networks;
 
 pub(crate) mod native;

wasm/src/types/native/mod.rs

@@ -34,7 +34,7 @@ use snarkvm_console::{
         Value,
         ValueType,
     },
-    types::{Boolean, Field, Group, Scalar, U16, U64},
+    types::{Boolean, Field, Group, Scalar, I8, I16, I32, I64, I128, U8, U16, U32, U64, U128},
 };
 use snarkvm_ledger_block::{Execution, Input, Output, Transaction, Transition};
 use snarkvm_ledger_query::Query;
@@ -59,8 +59,17 @@ pub type BooleanNative = Boolean<CurrentNetwork>;
 pub type FieldNative = Field<CurrentNetwork>;
 pub type GroupNative = Group<CurrentNetwork>;
 pub type ScalarNative = Scalar<CurrentNetwork>;
+pub type I8Native = I8<CurrentNetwork>;
+pub type I16Native = I16<CurrentNetwork>;
+pub type I32Native = I32<CurrentNetwork>;
+pub type I64Native = I64<CurrentNetwork>;
+pub type I128Native = I128<CurrentNetwork>;
+pub type U8Native = U8<CurrentNetwork>;
 pub type U16Native = U16<CurrentNetwork>;
+pub type U32Native = U32<CurrentNetwork>;
 pub type U64Native = U64<CurrentNetwork>;
+pub type U128Native = U128<CurrentNetwork>;
+
 
 // Algorithms
 pub type BHP256Native = BHP256<CurrentNetwork>;