Crates.io | data_type |
lib.rs | data_type |
version | 0.8.0 |
source | src |
created_at | 2022-05-09 22:05:15.152902 |
updated_at | 2024-06-29 18:09:03.218729 |
description | Collection of primal data types. |
homepage | https://github.com/Wandalen/wTools/tree/master/module/core/data_type |
repository | https://github.com/Wandalen/wTools/tree/master/module/core/data_type |
max_upload_size | |
id | 583656 |
size | 40,063 |
Collection of primal data types.
In Rust, you often need to wrap a given type into a new one. The role of the orphan rules in particular is basically to prevent you from implementing external traits for external types. To overcome the restriction developer usually wrap the external type into a tuple introducing a new type. Type constructor does exactly that and auto-implement traits From, Into, Deref and few more for the constructed type.
Macro types is responsible for generating code for Single, Pair, Homopair, Many. Each type constructor has its own keyword for that, but Pair and Homopair use the same keyword difference in a number of constituent types. It is possible to define all types at once:
#[ cfg( feature = "type_constructor" ) ]
{
use data_type::prelude::*;
types!
{
pub single MySingle : f32;
pub single SingleWithParametrized : std::sync::Arc< T : Copy >;
pub single SingleWithParameter : < T >;
pub pair MyPair : f32;
pub pair PairWithParametrized : std::sync::Arc< T1 : Copy >, std::sync::Arc< T2 : Copy >;
pub pair PairWithParameter : < T1, T2 >;
pub pair MyHomoPair : f32;
pub pair HomoPairWithParametrized : std::sync::Arc< T : Copy >;
pub pair HomoPairWithParameter : < T >;
pub many MyMany : f32;
pub many ManyWithParametrized : std::sync::Arc< T : Copy >;
pub many ManyWithParameter : < T >;
}
}
Implement traits [From_0], [From1] up to MakeN to provide the interface to construct your structure with a different set of arguments. In this example structure, Struct1 could be constructed either without arguments, with a single argument, or with two arguments.
#[ cfg( feature = "make" ) ]
{
use type_constructor::prelude::*;
#[ derive( Debug, PartialEq ) ]
struct Struct1
{
a : i32,
b : i32,
}
impl From_0 for Struct1
{
fn from_0() -> Self
{
Self { a : 0, b : 0 }
}
}
impl From1< i32 > for Struct1
{
fn from1( val : i32 ) -> Self
{
Self { a : val, b : val }
}
}
impl From2< i32, i32 > for Struct1
{
fn from2( val1 : i32, val2 : i32 ) -> Self
{
Self { a : val1, b : val2 }
}
}
let got : Struct1 = from!();
let exp = Struct1{ a : 0, b : 0 };
assert_eq!( got, exp );
let got : Struct1 = from!( 13 );
let exp = Struct1{ a : 13, b : 13 };
assert_eq!( got, exp );
let got : Struct1 = from!( 1, 3 );
let exp = Struct1{ a : 1, b : 3 };
assert_eq!( got, exp );
}
cargo add data_type
git clone https://github.com/Wandalen/wTools
cd wTools
cd examples/type_constructor_multiple
cargo run