pkgs/build-support/agda/lib.nix

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