hydra.tier3.Tier3 Maven / Gradle / Ivy

Go to download
package hydra.tier3;

/**
 * A module for miscellaneous tier-3 functions and constants.
 */
public interface Tier3 {
  static String traceSummary(hydra.compute.Trace t) {
    java.util.function.Function>, String> toLine = (java.util.function.Function>, String>) (pair -> hydra.lib.strings.Cat.apply(java.util.Arrays.asList(
      hydra.lib.strings.Cat.apply(java.util.Arrays.asList(
        hydra.lib.strings.Cat.apply(java.util.Arrays.asList(
          "\t",
          ((pair)).object1)),
        ": ")),
      hydra.lib.io.ShowTerm.apply(((pair)).object2))));
    java.util.List messageLines = hydra.lib.lists.Nub.apply(((t)).messages);
    java.util.List keyvalLines = hydra.lib.logic.IfElse.apply(
      java.util.Arrays.asList(),
      hydra.lib.lists.Cons.apply(
        "key/value pairs: ",
        hydra.lib.lists.Map.apply(
          (toLine),
          hydra.lib.maps.ToList.apply(((t)).other))),
      hydra.lib.maps.IsEmpty.apply(((t)).other));
    return hydra.lib.strings.Intercalate.apply(
      "\n",
      hydra.lib.lists.Concat2.apply(
        (messageLines),
        (keyvalLines)));
  }
}