File: limits.ha

package info (click to toggle)
hare 0.25.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 6,948 kB
  • sloc: asm: 1,264; makefile: 123; sh: 114; lisp: 101
file content (57 lines) | stat: -rw-r--r-- 1,689 bytes parent folder | download | duplicates (2)
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
// SPDX-License-Identifier: MPL-2.0
// (c) Hare authors <https://harelang.org>

// Minimum value which can be stored in an i8 type.
export def I8_MIN: i8 = -128;

// Maximum value which can be stored in an i8 type.
export def I8_MAX: i8 = 127;

// Minimum value which can be stored in an i16 type.
export def I16_MIN: i16 = -32768;

// Maximum value which can be stored in an i16 type.
export def I16_MAX: i16 = 32767;

// Minimum value which can be stored in an i32 type.
export def I32_MIN: i32 = -2147483648;

// Maximum value which can be stored in an i32 type.
export def I32_MAX: i32 = 2147483647;

// Minimum value which can be stored in an i64 type
export def I64_MIN: i64 = -9223372036854775808i64;

// Maximum value which can be stored in an i64 type.
export def I64_MAX: i64 = 9223372036854775807;


// Minimum value which can be stored in a u8 type.
export def U8_MIN: u8 = 0;

// Maximum value which can be stored in a u8 type.
export def U8_MAX: u8 = 255;

// Minimum value which can be stored in a u16 type
export def U16_MIN: u16 = 0;

// Maximum value which can be stored in a u16 type.
export def U16_MAX: u16 = 65535;

// Minimum value which can be stored in a u32 type
export def U32_MIN: u32 = 0;

// Maximum value which can be stored in a u32 type.
export def U32_MAX: u32 = 4294967295;

// Minimum value which can be stored in a u64 type
export def U64_MIN: u64 = 0;

// Maximum value which can be stored in a u64 type.
export def U64_MAX: u64 = 18446744073709551615;

// Minimum Unicode codepoint which can be stored in a rune.
export def RUNE_MIN: rune = '\0';

// Maximum Unicode codepoint which can be stored in a rune.
export def RUNE_MAX: rune = '\U0010ffff';