Module :: fundamentaldatatype

Fundamental data types and type constructors, like Single, Pair, Many.

Single

Type constructor to define tuple wrapping a given type.

Quite often you need to wrap a given type into new one. For example if orphan rule became and obstacle one should introduce a new type wrapping foreing one. Type constructr single! does exaclty that and auto-implement traits From, Into and Deref for the constructed type.

Example :: single line.

To define your own single use macro single!. Single-line definition looks like that.

rust use fundamental_data_type::prelude::*; single!( MySingle : i32 ); let x = MySingle( 13 ); println!( "x : {}", x.0 );

It gererates code:

```rust use fundamentaldatatype::prelude::*;

pub struct MySingle( pub i32 );

impl core::ops::Deref for MySingle { type Target = i32; fn deref( &self ) -> &Self::Target { &self.0 } } impl From< i32 > for MySingle { fn from( src : i32 ) -> Self { Self( src ) } } impl From< MySingle > for i32 { fn from( src : MySingle ) -> Self { src.0 } }

let x = MySingle( 13 ); println!( "x : {}", x.0 ); ```

Example :: derives and attributes.

It's possible to define attributes as well as derives.

rust use fundamental_data_type::prelude::*; single! { /// This is also attribute and macro understands it. #[ derive( Debug ) ] MySingle : i32; } let x = MySingle( 13 ); dbg!( x );

It gererates code:

```rust use fundamentaldatatype::prelude::*;

/// This is also attribute and macro understands it.

[ derive( Debug ) ]

pub struct MySingle( pub i32 );

impl core::ops::Deref for MySingle { type Target = i32; fn deref( &self ) -> &Self::Target { &self.0 } } impl From< i32 > for MySingle { fn from( src : i32 ) -> Self { Self( src ) } } impl From< MySingle > for i32 { fn from( src : MySingle ) -> Self { src.0 } }

let x = MySingle( 13 ); dbg!( x ); ```

Example :: struct instead of macro.

Sometimes it's sufficient to use common type instead of defining a brand new. You may use paramtetrized struct Single< T > instead of macro single! if that is the case.

rust use fundamental_data_type::prelude::*; let x = Single::< i32 >( 13 ); dbg!( x );

Example :: parametrized element.

Element of tuple could be parametrized.

rust use fundamental_data_type::prelude::*; single! { #[ derive( Debug ) ] MySingle : std::sync::Arc< T : Copy >; } let x = MySingle( std::sync::Arc::new( 13 ) ); dbg!( x );

It gererates code:

```rust use fundamentaldatatype::*;

[ derive( Debug ) ]

pub struct MySingle< T : Copy >( pub std::sync::Arc< T > );

impl core::ops::Deref for MySingle< T > { type Target = std::sync::Arc< T >; fn deref( &self ) -> &Self::Target { &self.0 } } impl< T : Copy > From< std::sync::Arc< T > > for MySingle< T > { fn from( src : std::sync::Arc) -> Self { Self( src ) } } impl< T : Copy > From< MySingle< T > > for std::sync::Arc< T > { fn from(src: MySingle) -> Self { src.0 } }

let x = MySingle( std::sync::Arc::new( 13 ) ); ```

Example :: parametrized tuple.

Instead of parametrizing the element it's possible to define a parametrized tuple.

rust use fundamental_data_type::prelude::*; single! { #[ derive( Debug ) ] MySingle : < T : Copy >; } let x = MySingle( 13 ); dbg!( x );

It gererates code:

```rust

[ derive( Debug ) ]

pub struct MySingle( pub i32 );

impl core::ops::Deref for MySingle { type Target = i32; fn deref( &self ) -> &Self::Target { &self.0 } } impl From< i32 > for MySingle { fn from( src : i32 ) -> Self { Self( src ) } } impl From< MySingle > for i32 { fn from( src : MySingle ) -> Self { src.0 } } let x = MySingle( 13 ); dbg!( 13 ); ```

To add to your project

shell cargo add fundamental_data_type

Try out from the repository

shell test git clone https://github.com/Wandalen/wTools cd wTools cd sample/rust/fundamental_data_type_trivial_sample cargo run