comparable.myr

   1 use std
   2
   3 use "traits"
   4
   5 pkg t =
   6         impl comparable byte[:]
   7         impl comparable @a[:] :: comparable @a
   8         /*
   9            XXX: I think that "poison @a" bug is acting up here
  10         impl comparable @a :: numeric @a
  11          */
  12 ;;
  13
  14 impl comparable byte[:] =
  15         cmp = {a, b; -> std.strcmp(a, b)}
  16 ;;
  17
  18 impl comparable @a[:] :: comparable @a =
  19         cmp = {a, b
  20                 if (a : byte#) == (b : byte#)
  21                         -> `std.Equal
  22                 ;;
  23
  24                 var l : std.size = std.min(a.len, b.len)
  25
  26                 for var j = 0; j < l; ++j
  27                         match cmp(a[j], b[j])
  28                         | `std.Before: -> `std.Before
  29                         | `std.After: -> `std.After
  30                         | `std.Equal:
  31                         ;;
  32                 ;;
  33
  34                 if a.len < b.len
  35                         -> `std.Before
  36                 elif a.len > b.len
  37                         -> `std.After
  38                 ;;
  39
  40                 -> `std.Equal
  41         }
  42 ;;
  43
  44 /*
  45 impl comparable @a :: numeric @a =
  46         cmp = {a, b; -> std.numcmp(a, b)}
  47 ;;
  48 */