sure 0.2.0

Numeric refinement types
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

#![feature(
    adt_const_params,
    const_array,
    const_closures,
    const_cmp,
    const_convert,
    const_destruct,
    const_heap,
    const_index,
    const_ops,
    const_result_trait_fn,
    const_trait_impl,
    freeze,
    generic_const_args,
    generic_const_items,
    generic_const_parameter_types,
    macro_metavar_expr_concat,
    min_generic_const_args,
    unsized_const_params
)]
#![deny(
    clippy::pedantic,
    clippy::missing_safety_doc,
    clippy::undocumented_unsafe_blocks
)]
#![allow(long_running_const_eval, incomplete_features, clippy::match_bool)]
//
#![no_std]
extern crate alloc;

pub mod base;
mod const_helpers;
pub mod set;
pub mod sure_eq;

mod macros;

macros::impl_ints! {
    the_dolla: $,
    [num_t: u8,     unsigned_num_t: u8,      signed_num_t: i8,      t_alias: SureU8,     wide_num_t: u16,     private_macro_prefix: ඞඞ__private_macro_sure_u8_,    extra_mod: sure_u8    ],
    [num_t: u16,    unsigned_num_t: u16,     signed_num_t: i16,     t_alias: SureU16,    wide_num_t: u32,     private_macro_prefix: ඞඞ__private_macro_sure_u16_,   extra_mod: sure_u16   ],
    [num_t: u32,    unsigned_num_t: u32,     signed_num_t: i32,     t_alias: SureU32,    wide_num_t: u64,     private_macro_prefix: ඞඞ__private_macro_sure_u32_,   extra_mod: sure_u32   ],
    [num_t: u64,    unsigned_num_t: u64,     signed_num_t: i64,     t_alias: SureU64,    wide_num_t: u128,    private_macro_prefix: ඞඞ__private_macro_sure_u64_,   extra_mod: sure_u64   ],
    [num_t: u128,   unsigned_num_t: u128,    signed_num_t: i128,    t_alias: SureU128,   wide_num_t: u128,    private_macro_prefix: ඞඞ__private_macro_sure_u128_,  extra_mod: sure_u128  ],
    [num_t: usize,  unsigned_num_t: usize,   signed_num_t: isize,   t_alias: SureUsize,  wide_num_t: usize,   private_macro_prefix: ඞඞ__private_macro_sure_usize_, extra_mod: sure_usize ],
    [num_t: i8,     unsigned_num_t: u8,      signed_num_t: i8,      t_alias: SureI8,     wide_num_t: i16,     private_macro_prefix: ඞඞ__private_macro_sure_i8_,    extra_mod: sure_i8    ],
    [num_t: i16,    unsigned_num_t: u16,     signed_num_t: i16,     t_alias: SureI16,    wide_num_t: i32,     private_macro_prefix: ඞඞ__private_macro_sure_i16_,   extra_mod: sure_i16   ],
    [num_t: i32,    unsigned_num_t: u32,     signed_num_t: i32,     t_alias: SureI32,    wide_num_t: i64,     private_macro_prefix: ඞඞ__private_macro_sure_i32_,   extra_mod: sure_i32   ],
    [num_t: i64,    unsigned_num_t: u64,     signed_num_t: i64,     t_alias: SureI64,    wide_num_t: i128,    private_macro_prefix: ඞඞ__private_macro_sure_i64_,   extra_mod: sure_i64   ],
    [num_t: i128,   unsigned_num_t: u128,    signed_num_t: i128,    t_alias: SureI128,   wide_num_t: i128,    private_macro_prefix: ඞඞ__private_macro_sure_i128_,  extra_mod: sure_i128  ],
    [num_t: isize,  unsigned_num_t: usize,   signed_num_t: isize,   t_alias: SureIsize,  wide_num_t: isize,   private_macro_prefix: ඞඞ__private_macro_sure_isize_, extra_mod: sure_isize ],
}