X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Flib%2Fu8.rs;h=5f594165e19680303d656ab4ed2b8d2119bebc8a;hb=a9f9227a1c3d944ea9f5d88c721fbb32473b5454;hp=b7995a7d97905a10b09e2089a23330f86516a0e9;hpb=9e4c2b6bc60335f3eb64d4ea0514bafabd264675;p=rust.git diff --git a/src/lib/u8.rs b/src/lib/u8.rs index b7995a7d979..5f594165e19 100644 --- a/src/lib/u8.rs +++ b/src/lib/u8.rs @@ -1,26 +1,52 @@ +/* +Module: u8 +*/ + +/* +Function: max_value + +The maximum value of a u8. +*/ pure fn max_value() -> u8 { ret 255u8; } + +/* +Function: min_value + +The minumum value of a u8. +*/ pure fn min_value() -> u8 { ret 0u8; } +/* Function: add */ pure fn add(x: u8, y: u8) -> u8 { ret x + y; } +/* Function: sub */ pure fn sub(x: u8, y: u8) -> u8 { ret x - y; } +/* Function: mul */ pure fn mul(x: u8, y: u8) -> u8 { ret x * y; } +/* Function: div */ pure fn div(x: u8, y: u8) -> u8 { ret x / y; } +/* Function: rem */ pure fn rem(x: u8, y: u8) -> u8 { ret x % y; } +/* Predicate: lt */ pure fn lt(x: u8, y: u8) -> bool { ret x < y; } +/* Predicate: le */ pure fn le(x: u8, y: u8) -> bool { ret x <= y; } +/* Predicate: eq */ pure fn eq(x: u8, y: u8) -> bool { ret x == y; } +/* Predicate: ne */ pure fn ne(x: u8, y: u8) -> bool { ret x != y; } +/* Predicate: ge */ pure fn ge(x: u8, y: u8) -> bool { ret x >= y; } +/* Predicate: gt */ pure fn gt(x: u8, y: u8) -> bool { ret x > y; } fn range(lo: u8, hi: u8, it: block(u8)) {