You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
15 lines
541 B
15 lines
541 B
{ lib }:
|
|
{
|
|
/* Returns the Agda interface file to a given Agda file.
|
|
*
|
|
* Examples:
|
|
* interfaceFile "Everything.agda" == "Everything.agdai"
|
|
* interfaceFile "src/Everything.lagda.tex" == "src/Everything.agdai"
|
|
*/
|
|
interfaceFile = agdaFile: lib.head (builtins.match ''(.*\.)l?agda(\.(md|org|rst|tex))?'' agdaFile) + "agdai";
|
|
|
|
/* Takes an arbitrary derivation and says whether it is an agda library package
|
|
* that is not marked as broken.
|
|
*/
|
|
isUnbrokenAgdaPackage = pkg: pkg.isAgdaDerivation or false && !pkg.meta.broken;
|
|
}
|
|
|