mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-04 21:03:15 +00:00
8ac4b251c8
Without this patch merging options like
services.xserver.windowManager.xmonad.extraPackages
results in the evaluation error:
error: value is a list while a set was expected, at nixpkgs/lib/options.nix:77:23
With this patch we get the desired merging behaviour that just concatenates the
resulting package lists.
(cherry picked from commit 6e99f9fdec
)
Co-Authored-By: Silvan Mosberger <contact@infinisil.com>
81 lines
1.9 KiB
Nix
81 lines
1.9 KiB
Nix
{ config, lib, pkgs, ... }:
|
|
|
|
with lib;
|
|
|
|
let
|
|
|
|
cfg = config.services.hoogle;
|
|
|
|
hoogleEnv = pkgs.buildEnv {
|
|
name = "hoogle";
|
|
paths = [ (cfg.haskellPackages.ghcWithHoogle cfg.packages) ];
|
|
};
|
|
|
|
in {
|
|
|
|
options.services.hoogle = {
|
|
enable = mkEnableOption "Haskell documentation server";
|
|
|
|
port = mkOption {
|
|
type = types.int;
|
|
default = 8080;
|
|
description = ''
|
|
Port number Hoogle will be listening to.
|
|
'';
|
|
};
|
|
|
|
packages = mkOption {
|
|
type = types.functionTo (types.listOf types.package);
|
|
default = hp: [];
|
|
defaultText = "hp: []";
|
|
example = "hp: with hp; [ text lens ]";
|
|
description = ''
|
|
The Haskell packages to generate documentation for.
|
|
|
|
The option value is a function that takes the package set specified in
|
|
the <varname>haskellPackages</varname> option as its sole parameter and
|
|
returns a list of packages.
|
|
'';
|
|
};
|
|
|
|
haskellPackages = mkOption {
|
|
description = "Which haskell package set to use.";
|
|
default = pkgs.haskellPackages;
|
|
defaultText = "pkgs.haskellPackages";
|
|
};
|
|
|
|
home = mkOption {
|
|
type = types.str;
|
|
description = "Url for hoogle logo";
|
|
default = "https://hoogle.haskell.org";
|
|
};
|
|
|
|
host = mkOption {
|
|
type = types.str;
|
|
description = "Set the host to bind on.";
|
|
default = "127.0.0.1";
|
|
};
|
|
};
|
|
|
|
config = mkIf cfg.enable {
|
|
systemd.services.hoogle = {
|
|
description = "Haskell documentation server";
|
|
|
|
wantedBy = [ "multi-user.target" ];
|
|
|
|
serviceConfig = {
|
|
Restart = "always";
|
|
ExecStart = ''${hoogleEnv}/bin/hoogle server --local --port ${toString cfg.port} --home ${cfg.home} --host ${cfg.host}'';
|
|
|
|
DynamicUser = true;
|
|
|
|
ProtectHome = true;
|
|
|
|
RuntimeDirectory = "hoogle";
|
|
WorkingDirectory = "%t/hoogle";
|
|
};
|
|
};
|
|
};
|
|
|
|
}
|