pkgs/build-support/agda/lib.nix

   1 { lib }:
   2 {
   3   /* Returns the Agda interface file to a given Agda file.
   4   *
   5   * The resulting path may not be normalized.
   6   *
   7   * Examples:
   8   * interfaceFile pkgs.agda.version "./Everything.agda" == "_build/2.6.4.3/agda/./Everything.agdai"
   9   * interfaceFile pkgs.agda.version "src/Everything.lagda.tex" == "_build/2.6.4.3/agda/src/Everything.agdai"
  10   */
  11   interfaceFile = agdaVersion: agdaFile: "_build/" + agdaVersion + "/agda/" + lib.head (builtins.match ''(.*\.)l?agda(\.(md|org|rst|tex|typ))?'' agdaFile) + "agdai";
  12
  13   /* Takes an arbitrary derivation and says whether it is an agda library package
  14   *  that is not marked as broken.
  15   */
  16   isUnbrokenAgdaPackage = pkg: pkg.isAgdaDerivation or false && !pkg.meta.broken;
  17 }