reifydb-type 0.4.11

Core type system and value representations for ReifyDB
Documentation 
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76

// SPDX-License-Identifier: Apache-2.0
// Copyright (c) 2025 ReifyDB

use std::cmp::Ordering;

use crate::value::{is::IsNumber, number::promote::Promote};

#[inline]
pub fn partial_cmp<L, R>(l: &L, r: &R) -> Option<Ordering>
where
	L: Promote<R>,
	R: IsNumber,
	<L as Promote<R>>::Output: IsNumber,
{
	l.checked_promote(r).and_then(|(lp, rp)| lp.partial_cmp(&rp))
}

#[inline]
pub fn is_equal<L, R>(l: &L, r: &R) -> bool
where
	L: Promote<R>,
	R: IsNumber,
	<L as Promote<R>>::Output: IsNumber,
{
	partial_cmp(l, r).is_some_and(|o| o == Ordering::Equal)
}

#[inline]
pub fn is_not_equal<L, R>(l: &L, r: &R) -> bool
where
	L: Promote<R>,
	R: IsNumber,
	<L as Promote<R>>::Output: IsNumber,
{
	partial_cmp(l, r).is_none_or(|o| o != Ordering::Equal)
}

#[inline]
pub fn is_greater_than<L, R>(l: &L, r: &R) -> bool
where
	L: Promote<R>,
	R: IsNumber,
	<L as Promote<R>>::Output: IsNumber,
{
	partial_cmp(l, r).is_some_and(|o| o == Ordering::Greater)
}

#[inline]
pub fn is_greater_than_equal<L, R>(l: &L, r: &R) -> bool
where
	L: Promote<R>,
	R: IsNumber,
	<L as Promote<R>>::Output: IsNumber,
{
	partial_cmp(l, r).is_some_and(|o| o != Ordering::Less)
}

#[inline]
pub fn is_less_than<L, R>(l: &L, r: &R) -> bool
where
	L: Promote<R>,
	R: IsNumber,
	<L as Promote<R>>::Output: IsNumber,
{
	partial_cmp(l, r).is_some_and(|o| o == Ordering::Less)
}

#[inline]
pub fn is_less_than_equal<L, R>(l: &L, r: &R) -> bool
where
	L: Promote<R>,
	R: IsNumber,
	<L as Promote<R>>::Output: IsNumber,
{
	partial_cmp(l, r).is_some_and(|o| o != Ordering::Greater)
}