pkgs/top-level/agda-packages.nix

   1 { pkgs, lib, callPackage, newScope, Agda }:
   2
   3 let
   4   mkAgdaPackages = Agda: lib.makeScope newScope (mkAgdaPackages' Agda);
   5   mkAgdaPackages' = Agda: self: let
   6     callPackage = self.callPackage;
   7     inherit (callPackage ../build-support/agda {
   8       inherit Agda self;
   9       inherit (pkgs.haskellPackages) ghcWithPackages;
  10     }) withPackages mkDerivation;
  11   in {
  12     inherit mkDerivation;
  13
  14     lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; });
  15
  16     agda = withPackages [] // {
  17       inherit withPackages;
  18       passthru.tests.allPackages = withPackages (lib.filter (pkg: self.lib.isUnbrokenAgdaPackage pkg) (lib.attrValues self));
  19     };
  20
  21     standard-library = callPackage ../development/libraries/agda/standard-library {
  22       inherit (pkgs.haskellPackages) ghcWithPackages;
  23     };
  24
  25     iowa-stdlib = callPackage ../development/libraries/agda/iowa-stdlib { };
  26
  27     agda-prelude = callPackage ../development/libraries/agda/agda-prelude { };
  28
  29     agda-categories = callPackage ../development/libraries/agda/agda-categories { };
  30
  31     cubical = callPackage ../development/libraries/agda/cubical { };
  32
  33     functional-linear-algebra = callPackage
  34       ../development/libraries/agda/functional-linear-algebra { };
  35
  36     generic = callPackage ../development/libraries/agda/generic { };
  37
  38     agdarsec = callPackage ../development/libraries/agda/agdarsec { };
  39   };
  40 in mkAgdaPackages Agda