aboutsummaryrefslogtreecommitdiff
path: root/examples/std.ct
blob: 339459f03594223eab3ed50b53fe599a67a670b8 (plain) (blame)
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
type std {
	init(mut * any);
	deinit(mut * any);
	copy(mut * any, * any);
	move(mut * any, mut * any);
}

/* these as well could be way optimized for builtin types */
type comparable {
	equal(* any, * any) bool;
	less_than(* any, * any) bool;
}

/* I'm imagining that if someone provides a specific function for these, it will
 * be used rather than these ones, but that the minimum to implement comparable
 * is as small as possible this should be fine */
pub not_equal(a * comparable, b * comparable) bool
{
	return !equal(a, b);
}

pub greater_than(a * comparable. b * comparable) bool
{
	return !equal(a, b) && !less_than(a, b);
}

pub less_or_equal(a * comparable, b * comparable) bool
{
	return !greater_than(a, b);
}

pub greater_or_equal(a * comparable, b * comparable) bool
{
	return !less_than(a, b);
}