Commit ad647985 authored by adisbladis's avatar adisbladis
Browse files

lib.toHexString: Statically compute hexDigits attrset

parent eec92ca9

lib/trivial.nix

+14 −16
Original line number Diff line number Diff line
@@ -510,22 +510,20 @@ rec { 


     toHexString 250 => "FA"

  */

  toHexString = i:

    let

      toHexDigit = d:

        if d < 10

        then toString d

        else

          {

  toHexString = let

    hexDigits = {

      "10" = "A";

      "11" = "B";

      "12" = "C";

      "13" = "D";

      "14" = "E";

      "15" = "F";

          }.${toString d};

    in

      lib.concatMapStrings toHexDigit (toBaseDigits 16 i);

    };

    toHexDigit = d:

      if d < 10

      then toString d

      else hexDigits.${toString d};

  in i: lib.concatMapStrings toHexDigit (toBaseDigits 16 i);



  /* `toBaseDigits base i` converts the positive integer i to a list of its

     digits in the given base. For example: